从人工智能的视角看,知识体系修正具体表现为信念修正.信念修正理论的发展史就是一部与人工智能分支融合共同进步和发展的历史.信......

AGM理论认为,不一致是地狱.当有新信息输入信念时,我们应该禁止扩张到不一致,而用替代的方式修正信念.艾萨克·莱维驳斥了这一观点......

以加登福斯的信念改变理论和拉姆齐测试导出加登福斯不可能性问题的因果关系为主线,借助于信念改变理论,对加登福斯不可能性问题产......

自从人工智能形成一个学科以来，科学家们遵循着一条明确的指导思想：研究和模拟人类思维的普遍规律，并用计算机模拟它的实现。对人类智......

常识推理的核心问题为信念修正问题,研究人员就此已经提出了许多方法,其中AGM理论是最有影响的一个.本文讨论并逐条证明了定量非修......

介绍了几种典型的迭代修正方法,并对这些方法进行了比较;讨论了其满足AGM公设的情况,得出修正序列为线序要优于基序的结论;同时指......

Ramsey(1 93 1)对条件句所作的评论,至少启发了三种不同的、有关虚擬条件句的语意论途径。它们分别是:由Chisholm(1946)和Goodman(......

经典的信念逻辑系统SKD45只能表达主体某个静止状态的信念及推理,事实上,在收到新信息后,主体的信念将发生变化。动态认知逻辑是动......

信念修正理论大约产生于20世纪70年代，其中最引人注目要数由阿尔罗若（Alchourrón）、加登福斯（G rdenfors）和梅金森（Makinson）共同建立的......

信念修正是当前研究的一个热点问题,如何构建信念修正系统形式化描述主体信念的动态变化以及利用更好的技术处理信念修正问题,具有......

逻辑学是一门研究人类思维规律的学科,动态认知逻辑是现代逻辑学研究的热门领域,研究者们已经把一个人的独立思考看成是一个动态的......