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

《描述逻辑在粗糙集框架下的拓展研究》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、朵击种故Ａ葦ＵＨＩＶ巨ＲＳＩＴＹＯＩＣＳ亡１ＥＮＣＥＡＮＤＴＥＣＨＮＯＬＯＧＹＯＦＣＨＩＮＡＦＥＬＥＣＴＲＯＭ硕ｉｔ：学位论文ＭＡＳＴＥＲＴＨＥＳＩＳ＾一＊＇＊？举；％！！：Ｉ巧奇Ｉ！游ｆｆ／ＩＩ■７Ｉｒ：＼Ｖ：．．．‘巧．咖－：皆纔；攀，－．．？：；ｆ？＇喷仿ｉ，一一。评．．．野濟Ｗ歸哲巧巧．■雌’．：＇？？？．：■论文题目撤述還賴在粗趟集框繫下的探展研究学科专业应用数学■学号２０１３２

2、１１００４１１作者姓名闯之撫；指导教师雷银彬副敏授－。－觸起－—．－。．—直。．麻＇ｒｆＭＩＩＨｇ广独创性声明本人声明所呈交的学位论文是本人在导师指导下进行的研究工作及取得的研究成果！。据我所知，除了文中特别加＾标注和致谢的地方夕ｈ论文中不包含其他人己经发表或撰写过的研究成果，也不包含为获得电子科技大学或其它教育化构的学位或证书而使用过的材料。与我一同工作的同志对本研究所做的任何贡献均己在论文中作了明确的说明并衷示谢意。乏作者签名：１］云艇日日期：年＾

3、月Ｉ论义使用授权本学位论文作者完全了解电子科技大学有关保留、使用学位论义的规定，有权保留并向国家有关部口或机构送交论文的裳印件和磁盘，允许论文被查阅和借闕。本人授权电子科技大学可将学位论文的全部或－部分内容编入有关数据库进行检索，可Ｗ采用影印、缩印或扫描等复制手段保存、汇编学位论文。（保密的学位论文在解密后应遵守此规定）■作者签名：支候＿＿皆师落名：看論ｉ韦鬥期：ＺＷ年《月Ｉ円分类号密级注1UDC（题名和副题名）（作者姓名）指导教师（姓名、职称、单位名称）申请学位级别学科专业提交论文日期2

4、016年3月30日论文答辩日期2016年5月12日学位授予单位和日期电子科技大学2016年6月答辩委员会主席评阅人注1：注明《国际十进分类法UDC》的类号。TheExtendedResearchofDescriptionLogicUndertheFrameworkoftheRoughSetAMasterThesisSubmittedtoUniversityofElectronicScienceandTechnologyofChinaMajor:AppliedMathematicsAuthor:ZhihuanYanSupervis

5、or:A.P.YinbinLeiSchool:SchoolofMathematicalSciencesUESTC摘要摘要主要研究面向语义网粗糙本体的粗糙描述逻辑的语义及推理，以及在形式概念表示的对象域中粗糙描述逻辑框架的构建。主要工作包括以下几个方面：一、改进了传统粗糙描述逻辑中概念可满足性的推理算法，其中只需用到概念的子概念和出现在概念中的角色就可以判断一个概念的可满足性，说明了算法的正确性，通过实例说明了它的有效性。二、把形式概念的外延做为描述逻辑的概念，形式概念分析与粗糙集理论联系起来做为基础建立了两种新的粗糙描述逻辑框架

6、。把Y.Y.Yao等提出的方法应用于新的粗糙描述逻辑，其中的上(下)近似算子是分别用格论算子和集合论算子来定义的，给出了基于格论的下近似新的形式。这里的近似的定义虽然不同于传统的粗糙近似算子形式，但是有很好的实用性。基于这个新颖的上(下)近似的定义，把这两组近似算子引入到描述逻辑的结构中形成两种粗糙描述逻辑Fl和Fs。ALCALC给出了相应的语法和语义，最后还给出了扩展的Tableau算法，可以用来解决相应的推理问题。三、在用形式概念表示的对象域中，定义了新的可定义的概念和不可定义概念，并给出一对算子来近似不可定义的概念。把整个

7、形式概念做为描述逻辑的概念，把新定义的近似算子引入到描述逻辑的结构中形成一种新的粗糙描述逻辑F.给出了相应的语法和语义，改进了经典的Tableau算法，用来解决相应的推理ALC问题。关键词:描述逻辑，粗糙集，形式概念分析，上(下)近似，Tableau算法IABSTRACTABSTRACTThesemanticsandreasoningofroughdescriptionlogicforthesemanticWeb,andtheconstructionofroughdescriptionlogicsframeworkunderfo

8、rmalconceptstructureonthedomainofobjectsarestudiedinthisthesis.Themaincontributionsofthisthesisareasfollows.(1)Thereasoningalgorith