描述逻辑系统FLεN中概念的最小公共包含算法研究 |
| |
引用本文: | 张维,侯金宏,曹发生,王驹,蒋运承.描述逻辑系统FLεN中概念的最小公共包含算法研究[J].计算机研究与发展,2010,47(6). |
| |
作者姓名: | 张维 侯金宏 曹发生 王驹 蒋运承 |
| |
作者单位: | 1. 黔南民族师范学院数学系,贵州都匀,558000;广西师范大学数学科学学院,广西桂林,541004 2. 广西师范大学数学科学学院,广西桂林,541004 3. 毕节学院逻辑与应用逻辑研究所,贵州毕节,551700 4. 广西师范大学计算机科学与信息工程学院,广西桂林,541004 5. 华南师范大学计算机学院,广州,510631;中国科学院软件研究所计算机科学国家重点实验室,北京,100190 |
| |
基金项目: | 国家自然科学基金项目,中国科学院计算机科学国家重点实验室开放课题基金项目,广西自然科学基金项目,贵州省科学技术基金项目,贵州省教育厅自然科学基金项目 |
| |
摘 要: | 描述逻辑中的非标准推理是目前研究者们所关注的焦点问题,它主要包括:最具体概念、最小公共包含、匹配问题及概念的重写等.过去人们主要研究那些不合数量限制的描述逻辑系统,研究的是描述逻辑系统FLεN厂中的一种重要的非标准推理--概念的最小公共包含,它同时含有数量限制和存在限制,是对前人工作的推广.首先定义了FLεN中概念的描述树及描述树之间的同态关系,给出了概念之间包含关系的推理算法,然后通过两棵概念描述树的笛卡儿积给出了两个概念的最小公共包含推理算法并指出了概念A,B的最小公共包含概念LCS(A,B)的大小size(LCS(A,B))是随着size(A),size(B)呈指数增长的.
|
关 键 词: | 描述逻辑 非标准推理 概念描述树 最小公共包含 算法 |
本文献已被 万方数据 等数据库收录! |
|