常识推理中一种分层隔离矛盾的修正策略.pdfVIP

常识推理中一种分层隔离矛盾的修正策略 张丽丽，邓安生 厦门大学计算机系． 福建厦门361005 e-mail：zhangU@jingxian．xlnu．edu．cn 摘要：基于AGM系统中的新信息优先原则，对于引起知识库不一致的信念用定量的方 式描述它们的某种不可靠性程度，提出一种分层隔离矛盾信息的修正策略，即通过隔离矛盾 而不是简单地删除，并通过恢复一致的信息，使得推出的结论中保留了更多的有用信息，并 讨论了其相关性质。 关键词：信念修正AGM公设隔离矛盾 ARevision Basedon Strategy ConflictinCommonsense Reasoning Zhanglili，Dengansheng ScienceofXiamen Xiamen361005 DepartmentofComputer University,Fujian e-mail：znanOl@jingxian．Xl／IU．edu．ca to in Abstract：Basedonthe of the informationAGM principlepriorityincoming system，a revision conflictis conflictindifferent strategybyseparating given．Thisstrategyc姐separate stratumratherthandeleteitandCanrestoresomeconsistentinformation．Somoreuseful are informationis inthe conclusion．Someofthis discussed． strategy kept reasoning properties AGM Words：beliefrevison conflict Key postulatesseparate 1．引言 在人类基于知识的推理中，由于知识的不完全、不确定、不精确及不同知识源的知识可 能相互抵触等原因，人们在推理时所用的知识未必总是一致的，因而不能把这些知识看成绝 对真理，只能作为一些信念(belief)。随着人类认识世界改造世界进程的深入，人们获取的 新信念往往会与人们原有知识库中的信念发生冲突，面对不一致信念如何维护知识库的协调 性和如何进行有效的推理，这正是常识推理问题的一个关键。 在信念修正领域，【l，2】提出了修正算子修正知识库时所应满足盼条件，文献【3】对此进 行了形式化提出了与之等价的一组公设(AGM公设)，用足表示知识库(即已存在的逻辑 理论)，用口表示修正公式(即新信息)，奉表示修正算子。 (R1)K幸口包含口 (a2)若KA口可满足，则K木口=K／k口 (R3)若口是可满足的，则K幸口也是可满足的 (R4)若K三K2且吼冬％，则墨·％兰K2*52 (R5)(K*a)／xfl包含K·(口^∥) (R6)若(K}口)