基于溯因方法的信念修正.pdfVIP

基于溯因方法的信念修正+ 王淞昕刘大有陈建中 (吉林大学计算帆科学蓉，长喜．130023) 摘要本文基于Inouclll的溯园框架的概念提出了一种新的信念修正方法并研究了它的公设满 足清况．证明了新方法在保留溯嗣方法优点的同时具有AGM公设所规定的良好性质． 关键词信念修正溯因框架AGM公设 1引 言 revision)作为AI和数据库理论中重要的问题，近年来得到了广泛而 信念修正(belief 深入的研究。假定有逻辑句子的集合KB，其含义依具体场合不同，可以代表一个知识 蓐或数据库，而后，一条新的句子A被取得，则A必须以某种方式被加入KB。当A和 KB互相一致的时候．问题相对比较筒单：僵如果置相不一致，那么原先持有的菜些句 子就必须被放弃。决定哪些句子应该被放弃，这就是信念修正所要研究的问题。 根据不同应用领域的不同需要．已经提出了许多种信念修正的方法，这些方法又可 中当提及AGM理论的时候，往往就是指这一组AGM公设。 AGM公设的意义在于：首先，它提供了一个标准和尺度．