有限信念集上修正的一种方法

摘要：

讨论了信念集是有限子句集时的信念修正方法.首先给出了一阶逻辑上求所有极小不协调子集的一个过程,证明了该过程的正确性;讨论了由所有极小不协调的子集来实现信念修正的方法,介绍了我们开发的信念修正的原型系统.最后和相关工作进行了比较.

关键词： 信念修正 命题逻辑 一阶逻辑 有限信念集 人工智能

作者: 栾尚敏 戴国忠

作者单位: 中国科学院软件研究所(北京)

会议类型: 国内会议

会议名称: 第七届中国人工智能联合学术会议

会议地点: 桂林

会议语种:中文

页码: 111-118

在线出版日期: 2003-01-01（万方平台首次上网日期，不代表论文的发表时间）