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

发布时间：2017-11-03 16:01

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

  更多相关文章： 信念 谓词逻辑 子句 非修正推理 认识进程

【摘要】：实现计算机的自动推理是人工智能领域中的一个重要课题。对于传统的常识推理,新知识可由旧知识以经典逻辑的原理推理得到。然而在实际应用中,知识往往是不确定、不一致和不完全的,通常被称为信念。根据经典逻辑的原理,以不一致的知识作为前提推理得出的结论是没有意义的。因此,为了使得这类推理能够得到尽可能合理的结论,人们提出了多种解决不一致推理的方法,信念修正就是其中较为常用的方法。信念修正的主要思想是：当新加入的知识与知识库中的信念不一致时,就将知识库中的信念按照某种优先度进行排序,并删除其中引起不一致的且优先度较低的部分,从而维护知识库的一致性。相对于信念修正,非修正推理方法不删除知识库中的信念,而是容忍知识库中的不一致,并通过提出新的推理方法来产生唯一的、一致的、演绎封闭的结论集。这种方法保留了知识库中的信念,减少了信息的损失。本文提出了一种一阶谓词逻辑下子句型信念的非修正推理方法,证明了该方法所产生的结论集满足唯一性、一致性和演绎封闭性,并给出了主要算法。相对于现有的非修正推理方法,本文提出的方法无论在结论集的完备性,还是在算法的效率上均具有较大的优势。本文还讨论了非修正推理方法的认识进程,证明了该方法的认识进程具有收敛性。最后,本文结合了粗糙集规则提取方法和一阶谓词逻辑下子句型信念的非修正推理方法,提出了一个基于先验知识与粗糙集规则提取的分类系统。相对于传统的基于粗糙集规则提取的分类系统,本文构建的系统可以获得更为合理的分类结果,并且可以从不同形式的决策系统提取知识,将其汇集到知识库中进行推理和决策。这种以知识为形式的信息交换,不包含任何细节信息,提高了信息传递的效率,也保障了信息的隐私安全。
【学位授予单位】：大连海事大学
【学位级别】：硕士
【学位授予年份】：2016
【分类号】：TP18

【相似文献】

中国期刊全文数据库 前10条

1 赵子都;推理机制与推理方法[J];自动化博览;1997年06期

2 罗菲菲,刘贵全,安景琦,张婷慧;一种基于代价敏感学习的范例推理方法及其应用研究[J];计算机应用;2005年10期

3 史晓宏,张锦;一种数值推理方法的研究与实现[J];山西矿业学院学报;1997年02期

4 丁占鳌,齐振东,于锁利,杨丰;基于规则的一种新的推理方法及实现[J];黑龙江大学自然科学学报;1997年01期

5 叶育鑫;欧阳丹彤;领吉;张永刚;;本体与规则整合的推理方法研究及设计[J];吉林大学学报(工学版);2009年05期

6 尹莉莉;张汝波;林忠会;;可变自主系统中态势推理方法研究[J];华中科技大学学报(自然科学版);2011年S2期

7 马绍汉;张宏;;诱导推理及其应用[J];计算机科学;1993年05期

8 张华;王宝文;刘文远;石岩;;基于重心模糊插值推理方法的改进[J];燕山大学学报;2007年02期

9 安莉;王建林;白燕梅;苗艳荣;;基于匹配度的广度优先推理方法的应用研究[J];计算机应用研究;2009年03期

10 张楚才;刘昀岢;瞿绍军;;一种基于本体和自定义规则的情景推理方法[J];计算机技术与发展;2014年04期

中国重要会议论文全文数据库 前1条

1 钮晓鸣;;模糊控制中的置信推理方法[A];1995年中国控制会议论文集（下）[C];1995年

中国博士学位论文全文数据库 前1条

1 刘心报;GDSS环境下的群体推理方法及群体层次分析法研究[D];合肥工业大学;2002年

中国硕士学位论文全文数据库 前7条

1 妥斯根;蒙医推理方法探究[D];内蒙古师范大学;2015年

2 张嵩;一阶谓词逻辑下子句型信念的非修正推理方法[D];大连海事大学;2016年

3 王省思;基于不一致本体非修正的知识推理方法[D];大连海事大学;2014年

4 张华;稀疏模糊规则库条件下的模糊插值推理方法研究[D];燕山大学;2007年

5 王秀娥;基于粒推理方法的SDG故障诊断研究及应用[D];太原理工大学;2010年

6 哈艳;CRI方法与基于相似性推理方法在分类问题中的比较研究[D];河北大学;2006年

7 王世醒;基于MapReduce的大规模RDF图并行推理方法的研究[D];南昌大学;2014年

，

本文编号：1136865