一阶谓词逻辑下子句型信念的非修正推理方法

《一阶谓词逻辑下子句型信念的非修正推理方法》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、分类号：密级１０１５１ＵＤＣ单位代码：＠大是烙事乂掌全日制学术型硕±研究生学位论文一阶谓词逻辑下子句型信念的非修正推理方法张嵩指导教师邓安生教授申请学位类别工学硕±学科巧业）名称计算机科学与技术学位授予单位大连海事大学２０１６年３月分类号密级ＵＤＣ单位代码１０１５１大连海事大学硕±学位论文一阶谓词逻辑下子句型信念的非修正推理方法张嵩指导教师邓安生职称教授学位授予单位大连海事大学（专业申请学位级别工学硕±学科）计算机科学与技术论文完成日

2、期２０１５年１２月答辩日期２０１６年３月％日答辩委员会主席Ｎｏｎ－ｒｅｖｉｓｉｏｎＲｅａｓｏｎｉｎｇｉｔｈＢｅｌｉｅｆｓｉｎＰｒｅｄｉｃａ化ＬｏｉｃｗｇＡ化ｅｓｉｓＳｕｂｍｉｔｔｅｄ化ＤａｌｉａｎＭａｒｉｔｉｍｅＵｎｉｖｅｒｓｉｔｙＩｎａｒｔｉａｌｆ山仙ｍｅｎｔｏｆｔｈｅｒｅ山ｒｅｍｅｎｔｓｆｏｒｔｈｅｄｅｒｅｅｏｆｐｑｇＭａｓｔｅｒｏｆＥｎｉｎｅｅｒｉｎｇｇｂｙＺｈａｎＳｏｎｇｇＣｏｍｕ化ｒＳｃｉｅｎｃｅａｎｄＴｅｃｈｎｏｌｏ（ｐｇｙ）ＴｈｅｓｉｓＳｕｐｅｒｖｉｓｏｒ：Ｐｒｏ化ｓｓ

3、ｏｒＤｅｎｇＡｎｓｈｅｎｇＤｅｃ２０１５，大连海事大学学位论文原创性声明和使用授权说明原创性声明本人郑重声明：本论文是在导师的指导下，独立进行研巧工作所取得的成果，撰＂一＂写成博／硕±学位论文阶谓词逻辑下子句型信念的非修正推理方法。除论文中已经注明引用的内容外，对论文的研巧做出重要贡献的个人和集体，均已在文中Ｗ明确方式标明。本论文中不包含任何未加明确注明的其他个人或集体已经公开发表或未公开发表的成果。本声明的法律责任由本人承担。学位论文作者签名：谦表学位论文版权使用授权书本学位论文作者及指导教师完全了解大连海事大学有关保留、使用研究生学

4、位论文的规定，即；大连海事大学有权保留并向国家有关部ｎ或机构送交学位论文的复印件和电子版＾，允许论文被查阅和借阅。本人授权大连海事大学可＾＾１将本学位论文的全部或部分内容编入有关数据库进行检索，也可采用影印、缩印或扫描等复制手段保存和汇编学位论文。同意将本学位论文收录到《中国优秀博硕±学位论文全文数据库》（中国学术期刊（光盘版）电子杂志化）、《中国学位论文全文数据库》（中国科学技术信息研究所）等数据库中，并Ｗ电子出版物形式出版发行和提供信息服务。保密的论文在解密后遵守此规定。本学位论文属于：保密口在解密后适用本授权书。年／＂＂不保密囚（请在Ｗ上方

5、框内打Ｖ）论文作者签名：論嗦导师签名：吏＾日期？：２月么日。／／年之ｉ中文摘要摘要一实现计算机的自动推理是人工智能领域中的个重要课题。对于传统的常识推理，新知识可由旧知识Ｗ经典逻辑的原理推理得到。然而在实际应用中，知识往往一一是不确定、不致和不完全的，通常被称为信念。根据经典逻辑的原理，Ｗ不致的知识作为前提推理得出的结论是没有意义的。因此，为了使得这类推理能够得到尽可能合理的结论一，人们提出了多种解决不致推理的方法，信念修正就是其中较为常用的方法一。信念修正的主要思想是：当新加入的知识与知识库中的信念不致一时，就将知识库中的信念按照某种优

6、先度进行排序，并删除其中引起不致的且优一致性先度较低的部分，从而维护知识库的。相对于信念修正，非修正推理方法不删除知识库中的信念，而是容忍知识库中的不一一的一致，并通过提出新的推理方法来产生唯、致的、演绎封访的结论集。这种方法保留了知识库中的信念一一，减少了信息的损失。本文提出了种阶谓词逻一一辑下子句型信念的非修正推理方法，证明了该方法所产生的结论集满足唯性、致性和演绎封闭性，并给出了主要算法。相对于现有的非修正推理方法，本文提出的方法无论在结论集的完备性，还是在算法的效率上均具有较大的优势。本文还讨论了非修正推理方法的认识进程，证明了该方法的认识进程具

7、有收敛性。最后一阶谓词還辑下子句型信念的非修正，本文结合了粗趟集规则提取方法和推理方法一，提出了个基于先验知识与粗糖集规则提取的分类系统。相对于传统的基于粗糖集规则提取的分类系统，本文构建的系统可Ｗ获得更为合理的分类结果，并且可Ｗ从不同形式的决策系统提取知识，将其汇集到知识库中进行推理和决策。这种Ｗ知识为形式的信息交换，不包含任何细节信息，提高了信息传递的效率，也保障了信息的隐私安全。关键词：信念；谓词逻辑；子句ｉ非