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

发布时间：2022-08-12 21:23

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

【文章页数】：45 页

【学位级别】：硕士

【文章目录】：
摘要
ABSTRACT
第一章 绪论
    1.1 研究工作的背景与意义
    1.2 粗糙描述逻辑国内外研究历史与现状
    1.3 本文的主要工作与创新
    1.4 本论文的结构安排
第二章 预备知识
    2.1 描述逻辑基础
        2.1.1 ALC的语法和语义
        2.1.2 ALC的推理问题
    2.2 粗糙集基本理论
    2.3 形式概念分析
第三章 粗糙描述逻辑及改进的推理算法
    3.1 粗糙描述逻辑的语法和语义
    3.2 推理问题
    3.3 本章小结
第四章 两种新的粗糙描述逻辑
    4.1 形式概念分析中的粗糙集
    4.2 粗糙描述逻辑ALCFl
        4.2.1 语法和语义
        4.2.2 推理问题
    4.3 粗糙描述逻辑ALCFs
        4.3.1 语法和语义
        4.3.2 推理问题
    4.4 本章小结
第五章 基于形式概念的粗糙描述逻辑
    5.1 形式概念分析下的粗糙集
    5.2 基于形式概念分析的粗糙描述逻辑
        5.2.1 语法和语义
        5.2.2 推理
    5.3 本章小结
第六章 总结
致谢
参考文献
攻读硕士期间取得的研究成果


【参考文献】：
期刊论文
[1]描述逻辑的粗糙扩展研究[J]. 王岁花,赵爱玲,魏涛.  计算机工程与科学. 2011(02)
[2]粗糙集理论与应用研究综述[J]. 王国胤,姚一豫,于洪.  计算机学报. 2009(07)
[3]面向语义Web语义表示的模糊描述逻辑[J]. 蒋运承,史忠植,汤庸,王驹.  软件学报. 2007(06)
[4]描述逻辑综述[J]. 石莲,孙吉贵.  计算机科学. 2006(01)
[5]从ALC到SHOQ（D）:描述逻辑及其Tableau算法[J]. 梅婧,林作铨.  计算机科学. 2005(03)
[6]语义Web的逻辑基础[J]. 史忠植,董明楷,蒋运承,张海俊.  中国科学E辑:信息科学. 2004(10)
[7]粗糙集理论及其应用进展[J]. 胡可云,陆玉昌,石纯一.  清华大学学报(自然科学版). 2001(01)

博士论文
[1]描述逻辑中若干问题的研究[D]. 邹婷婷.吉林大学 2013



本文编号：3676618