Title: | 描述逻辑系统FLEN中概念的最小公共包含算法研究 |
Author: | 张维
; 侯金宏
; 曹发生
; 王驹
; 蒋运承
|
Keyword: | 描述逻辑
; 非标准推理
; 概念描述树
; 最小公共包含
; 算法
|
Source: | 计算机研究与发展
|
Issued Date: | 2010
|
Issue: | 6, Pages:1053-1059 | Department: | 黔南民族师范学院数学系;广西师范大学数学科学学院;毕节学院逻辑与应用逻辑研究所;广西师范大学计算机科学与信息工程学院;华南师范大学计算机学院;中国科学院软件研究所计算机科学国家重点实验室;
|
Abstract: | 描述逻辑中的非标准推理是目前研究者们所关注的焦点问题,它主要包括:最具体概念、最小公共包含、匹配问题及概念的重写等.过去人们主要研究那些不含数量限制的描述逻辑系统,研究的是描述逻辑系统FLEN中的一种重要的非标准推理——概念的最小公共包含,它同时含有数量限制和存在限制,是对前人工作的推广.首先定义了FLEN中概念的描述树及描述树之间的同态关系,给出了概念之间包含关系的推理算法,然后通过两棵概念描述树的笛卡儿积给出了两个概念的最小公共包含推理算法并指出了概念A,B的最小公共包含概念LCS(A,B)的大小size(LCS(A,B))是随着size(A),size(B)呈指数增长的. |
Content Type: | 期刊论文
|
URI: | http://ir.iscas.ac.cn/handle/311060/10000
|
Appears in Collections: | 计算机科学国家重点实验室 _期刊论文
|
File Name/ File Size |
Content Type |
Version |
Access |
License |
|
描述逻辑系统FLεN中概念的最小公共包含算法研究.pdf(509KB) | -- | -- | 限制开放 | -- | 联系获取全文 |
|
Recommended Citation: |
张维,侯金宏,曹发生,等. 描述逻辑系统FLEN中概念的最小公共包含算法研究[J]. 计算机研究与发展,2010-01-01(6):1053-1059.
|
|
|