论文题目: 常识推理中不一致信念的两种修正策略研究
论文类型: 硕士论文
论文专业: 计算机应用
作者: 张丽丽
导师: 邓安生
关键词: 信念修正,理论,弱化矛盾,分层隔离矛盾
文献来源: 厦门大学
发表年度: 2005
论文摘要: 在人类基于知识的推理中,由于知识的不完全、不确定、不精确及不同知识源的知识可能相互抵触等原因,人们在推理时所用的知识未必总是一致的,因而不能把这些知识看成绝对真理,只能作为一些信念(belief)。随着人类认识的深入,人们获取的新信念往往会与人们原有的信念发生冲突,利用不一致信念如何进行有效的推理,这是常识推理问题的一个关键问题。对于不一致信念,目前人们主要采取两种态度。一种是修正原有知识库中的信念以保持新信念加入后的知识库的一致性,即信念修正的方法[1-10]。另一种是接受不一致信念,在容忍不一致性的前提下进行一致性推理,即非修正的方法[11-17]。在信念修正中,当面临新信念时,如何将其加入原有协调的知识库并保持知识库的协调性是信念修正所要解决的问题。当新信念与原有知识库一致时,只需将其直接并入知识库;而不一致时,为了维护修正后的知识库的协调性,往往要在加入新信念的同时删除原有知识库的部分信念。这种删除不是任意的,而是尽可能多的保留原有知识库的信息,使得信念修正遵循最小改变原则。近年来,信念修正问题在人工智能、哲学以及数据库领域得到了广泛的关注。在信念修正问题的研究中,学者们提出了许多不同的框架,其中最有影响力的就是AGM[1]理论。后来一些学者又先后提出了各种修正算子,这些算子主要是通过两种途径给出的:要么给出算子直接的构造算法,要么通过一组合理公设作为算子的限制条件。我们把这些算子看成是传统的修正方法。
论文目录:
摘要
ABSTRACT
第一章 绪论
1.1 修正方法的研究背景
1.2 AGM 的信念修正理论
1.3 几种传统的修正方法
1.4 本文的主要研究内容
第二章 弱化矛盾信息的修正方法
2.1 算法思想、性质
2.2 讨论满足AGM 基本公设的情况
2.3 实现上的策略
2.4 与几种修正方法的比较
2.5 小结
第三章 弱化矛盾策略在迭代修正中的应用
3.1 迭代修正的几种方法思想
3.2 弱化矛盾策略的使用
3.3 小结
第四章 一种分层隔离矛盾的策略
4.1 算法思想
4.2 具有的性质
4.3 小结
第五章 结束语
参考文献
致谢
发布时间: 2006-12-11
参考文献
- [1].常识推理中不一致信念的定量非修正处理方法[D]. 尚颖.东北师范大学2002
- [2].基于模糊概念格的汽车评价知识库构建[D]. 郭晓敏.山西大学2016
- [3].内容知识库的研究和应用[D]. 丁宏伟.北京信息控制研究所2006
- [4].基于知识库的数据校验[D]. 韩成贵.北京工业大学2003
- [5].基于粗集的多知识库模型集成研究[D]. 陈生海.中南大学2013
- [6].基于问题的应急多知识库建模及推理方法研究[D]. 李平安.大连理工大学2009
- [7].面向智能服务机器人的家庭环境关系知识库构建[D]. 韩海丹.燕山大学2016
- [8].知识库的知识结构的一些探讨[D]. 张荣荣.广西民族大学2016
- [9].基于社交网络模型的智能个人知识库构建[D]. 秦珍珍.南昌大学2017
- [10].基于KDD的知识自动获取及其应用[D]. 黄瑞.南京信息工程大学2005
相关论文
- [1].信念修正逻辑探析[D]. 王忠元.西南大学2014
- [2].加权子句型信念集的静态非修正处理方法研究[D]. 郭小琳.大连海事大学2013
- [3].知识本体模型下的不一致推理机制研究[D]. 王洪微.大连海事大学2013
- [4].命题信念集的非修正处理方法研究[D]. 郝璐璐.大连海事大学2013
- [5].Horn子句型信念的静态非修正处理方法研究[D]. 刘文赫.大连海事大学2011
- [6].不一致信念的定量非修正分层处理方法研究[D]. 张建新.大连海事大学2010
- [7].信念算子运算的语义解释研究[D]. 金玉.大连海事大学2009
- [8].信念修正逻辑初探[D]. 萧瑶.西南大学2008
- [9].基于信念推理的知识模型及其在博弈中的应用研究[D]. 白一鸣.四川大学2006
- [10].常识推理中不一致信念的定量非修正处理方法[D]. 尚颖.东北师范大学2002