描述逻辑系统FLEN中概念的最小公共包含算法研究
文献类型：期刊论文
| 作者 | 张维 ; 侯金宏 ; 曹发生 ; 王驹 ; 蒋运承 |
| 刊名 | 计算机研究与发展
 |
| 出版日期 | 2010 |
| 期号 | 6页码:1053-1059 |
| 关键词 | 描述逻辑 非标准推理 概念描述树 最小公共包含 算法 |
| 中文摘要 | 描述逻辑中的非标准推理是目前研究者们所关注的焦点问题,它主要包括:最具体概念、最小公共包含、匹配问题及概念的重写等.过去人们主要研究那些不含数量限制的描述逻辑系统,研究的是描述逻辑系统FLEN中的一种重要的非标准推理——概念的最小公共包含,它同时含有数量限制和存在限制,是对前人工作的推广.首先定义了FLEN中概念的描述树及描述树之间的同态关系,给出了概念之间包含关系的推理算法,然后通过两棵概念描述树的笛卡儿积给出了两个概念的最小公共包含推理算法并指出了概念A,B的最小公共包含概念LCS(A,B)的大小size(LCS(A,B))是随着size(A),size(B)呈指数增长的. |
| 公开日期 | 2011-05-23 |
| 源URL | [http://124.16.136.157/handle/311060/10000]  |
| 专题 | 软件研究所_计算机科学国家重点实验室 _期刊论文 |
| 推荐引用方式 GB/T 7714 | 张维,侯金宏,曹发生,等. 描述逻辑系统FLEN中概念的最小公共包含算法研究[J]. 计算机研究与发展,2010(6):1053-1059. |
| APA | 张维,侯金宏,曹发生,王驹,&蒋运承.(2010).描述逻辑系统FLEN中概念的最小公共包含算法研究.计算机研究与发展(6),1053-1059. |
| MLA | 张维,et al."描述逻辑系统FLEN中概念的最小公共包含算法研究".计算机研究与发展 .6(2010):1053-1059. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。