描述逻辑在粗糙集框架下的拓展研究

摘要

主要研究面向语义网粗糙本体的粗糙描述逻辑的语义及推理，以及在形式概念表示的对象域中粗糙描述逻辑框架的构建。主要工作包括以下几个方面：
　　一、改进了传统粗糙描述逻辑中概念可满足性的推理算法，其中只需用到概念的子概念和出现在概念中的角色就可以判断一个概念的可满足性，说明了算法的正确性，通过实例说明了它的有效性。
　　二、把形式概念的外延做为描述逻辑的概念，形式概念分析与粗糙集理论联系起来做为基础建立了两种新的粗糙描述逻辑框架。把Y.Y.Yao等提出的方法应用于新的粗糙描述逻辑，其中的上(下)近似算子是分别用格论算子和集合论算子来定义的，给出了基于格论的下近似新的形式。这里的近似的定义虽然不同于传统的粗糙近似算子形式，但是有很好的实用性。基于这个新颖的上(下)近似的定义，把这两组近似算子引入到描述逻辑的结构中形成两种粗糙描述逻辑FlALC和ALCFs。给出了相应的语法和语义，最后还给出了扩展的Tableau算法，可以用来解决相应的推理问题。
　　三、在用形式概念表示的对象域中，定义了新的可定义的概念和不可定义概念，并给出一对算子来近似不可定义的概念。把整个形式概念做为描述逻辑的概念，把新定义的近似算子引入到描述逻辑的结构中形成一种新的粗糙描述逻辑ALCF.给出了相应的语法和语义，改进了经典的Tableau算法，用来解决相应的推理问题。

目录

封面

声明

中文摘要

英文摘要

目录

第一章 绪 论

1.1 研究工作的背景与意义

1.2 粗糙描述逻辑国内外研究历史与现状

1.3 本文的主要工作与创新

1.4 本论文的结构安排

第二章 预备知识

2.1 描述逻辑基础

2.2 粗糙集基本理论

2.3 形式概念分析

第三章 粗糙描述逻辑及改进的推理算法

3.1 粗糙描述逻辑的语法和语义

3.2推理问题

3.3本章小结

第四章 两种新的粗糙描述逻辑

4.1 形式概念分析中的粗糙集

4.2 粗糙描述逻辑FlALC

4.3 粗糙描述逻辑 FsALC

4.4本章小结

第五章 基于形式概念的粗糙描述逻辑

5.1形式概念分析下的粗糙集

5.2 基于形式概念分析的粗糙描述逻辑

5.3本章小结

第六章 总 结

致谢

参考文献

攻读硕士期间取得的研究成果