horn子句型信念非修正推理系统设计与实现

《horn子句型信念非修正推理系统设计与实现》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、分类号密级：１０１５１ＵＤＣ单位代码：＃大綱乂拿全日制学术型硕：ｔ研究生学位论文Ｈｏｒｎ子句型信念非修正推理系统设计与实现Ｉ宋亚宁指导教师邓安生教授申请学位类别工学硕ｄ：学科巧业名称软件工程学位授予单位大连海事大学２０１６年３月分类号密级ＵＤＣ单位代码１０１５１大连海事大学硕±学位论文Ｈｏｒｎ子句型信念非修正推理系统设计与实现宋亚宁指导教师邓安生ｇｓ教授学位授予单位大连海事大学申请学位类别工学硕±学科（专业）软件

2、工程论文完成日期２０１６年１月答辩日期２０１６年３月答辩委员会主席ＴｈｅＤｅｓｉｇｎａｎｄＩｍｐｌｅｍｅｎｔａｔｉｏｎｏｆＮｏｎｒｅｖｉｓｉｏｎＲｅａｓｏｎｉｎｇＳｙｓ化ｍ化ｒＨｏｒｎＣｌａｕｓａｌＢｅｌｉｅｆｓＡ化ｅｓｉｓＳｕｂｍｉｔｔｅｄ化ＤａｌｉａｎＭａｒｉｔｉｍｅＵｎｉｖｅｒｓｉｔｙＩｎａｒｔｉａｌｆｕｌｆｉｌｌｍｅｎｔｏｆｔｈｅｒｅｑｕｉｒｅｍｅｎｔｓｆｏｒｔｈｅｄｅｇｒｅｅｏｆｐＭａｓｔｅｒｏｆＥｎｉｎｅｅｒｉｎｇｇｂｙＳｏｎＹａｎｉｎｇｇＳｏｆｔｗ

3、ａｒｅＥｎｉｎｅｅｒｉｎ（ｇｇ）ＴｈｅｓｉｓＳｕｅｒｖｉｓｏｒ：ＰｒｏｆｅｓｓｏｒＤｅｎＡｎｓｈｅｎｐｇｇＭａｒｃｈ２０１６大连海事大学学位论文原创性声明和使用授权说明原创性声明本人郑重声明：本论文是在导师的指导下，独义进行研究工作所取得的成果，＂＂撰写成硕±学化论义Ｈｏｒｎ子句巧信念非修术推理系统设计与柴现。除论文中己经注明引州的内容外，对论文的研究做出重嬰巧献的个人和集体，均已在文中Ｗ明柳方式标明。本论文中不包含任何未加明确化Ｗ的其他个人或集体已经公开发表或未公巧发表的成果。本声明的法律责任由本人承担。学位论

4、文作者签名：＾￡－５学位论文版权使用授权书本学位论文作者及指导教师完全了解大连海非大学有关保留、使用研究生学位论文的规定，即：大连海事大学有权保留并向Ｗ家有关部口或机构送交学位论文的复印件和电子版，允许论文被查阅和借阅。木人授权大连海事大学可将本学位论文的全部或部分内容编入有关数据库进行检索，也可采用影印、缩印或扫描等复制手段保存和汇编学位论文。同意将本学位论文收录到《中国优秀硕±学？位论文全文数据库》（中国学术期刊（光盘版）中，丫杂志社）、《中国学位论文全文｜｜数据库》（中國科学技术信息研究所）等数据库，并Ｗ电子出版物形式出版发行

5、｜和提供信息服务。。保密的论文在解密后遵巧此规化本学位论文属于：保密□在年解密后适用本授权书。＂＂不保密□（请在Ｗ上乂框内打Ｖ）＾￣论文作者签名；系巫导师签名：ス支ｌ弓ｐ日期：年月日中文摘耍摘要ｉ一一如何合理处理信念间的不致性是常识推理过程的个关键性问题。目前，一信念修正方法作为处理信念间的不致性被国内外学者广泛研究一，该方法引入一一个修正算子，对不致信念进行修改Ｗ获得致信念的推理。修改原有信念就不可避免的会出现重要信息缺失，甚至结论集无法挟择的问题。而信念非修正方法一是不修正为前提，利用限定推理的过

6、程获得。致的结论集，实现有效的推理一在阶逻辑中，已有的基于Ｈｏｒｎ子句型信念假说的扩充具备较好的数学特性，一些问题但是其在计算机上的可编程和可实现性上仍存在。考虑到将该方法更容易的应用在实际中，本文总结出了构建Ｈｏｒｎ子句型信念非修正推理系统亟需处理的主要问题Ｈｏｒｎ子句型信念非修正推理系统。１，就此设计实现了具体研究内容如下：１）定义了Ｈｏｒｎ子句型信念假说的扩充。在这种定义下，有限假说的扩充仍（然是一个有限集合，它可Ｗ不是演绎封闭的，但与原假说的扩充在還辑上是相等的，并进行了证明。对于任意Ｈｏｒｎ子句型信念的可信程度，本文

7、中引入权值的概＇念。通过权值既满足了合理性又满足了可实现性。（２）提出了Ｈｏｒｎ子句型信念假说扩充的生成算法。在算法的设计中借鉴了本原蕴涵的方法，使用归结方法进行推理，在归结过程采用了删除策略和有序归结方法进行优化一。为了易于得到致的假说的扩充集定义了推导解释，，构建了子句图，详细记录了信念间的推理过程。，（３）构建了Ｈｏｒｎ子句型信念非修正推理系统的模型，并实现了Ｈｏｒｎ子句型信念非修正推理系统。本文根据问题描述与设计，构建了系统模型的各个模块，然后利用Ｊａｖａ技术实现了各个模块的基本功能，完成了整个系统的推理，最后实现

8、了某一