信念修正的实现方法

《信念修正的实现方法》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、维普资讯http://www.cqvip.com计算机科学2004Voi．31N~-．12信念修正的实现方法栾尚敏戴国忠(中国科学院软件研究所北京100080)摘要本文对信念修正的典型方法，如基于语法结构的方法，基于模型测试方法，修正理论，修正理论基础，重复方法等用我们的算法来实现，并且完成了其相关工作。关键词信念，修正，算法TheImplementingMethodforBeliefRevisionLUANShang-·MinDAIGuo-·Zhong(InstituteofSohwave，CAS，Beijin

2、g100080)AbstractInthispaper，thetypicalmethodsforbelie／revision，suchasthesyntax—basedapproach，model—basedap—proach，therevisionofatheory，therevisionofatheorybase，iteratedapproachetc．，areimplementedbythealgorithmweintroduced．Andtherelatedworksarecomparedwithourw

3、ork．KeywordsBeliefrevision，Algorithm信念修正是人工智能领域的一个研究热点，人们在这个各种典型的信念修正方法，这些方法已经在文[33]中进行了领域已经取得了一些结果。真值维护系统[1是第一个与信念介绍。关于数理逻辑方面的知识和记号，请参考文[34]。修正有关的系统；Kleerc21分析了该系统效率低下的原因，给1AGM方法的实现出了基于假设的真值维护系统。基于公式的方法[3讨论了信念集是逻辑语句集时的信念修正过程。基于模型的方法C通过文[33]中的介绍可以看到AGM的方法将信念修

4、正讨论了信念集为命题逻辑语句集时的修正方法。“理论修改逻分为约减、修正和扩展，给出了这些操作应满足的条件。还给辑”的方法CH将信念集定义为一个理论闭包，给出了修正和约出了一些满足这些条件的信念修正方法。这些修正方法都存减的合理公设，以及满足这些公设的修正方法，这些方法有极在一个问题，那就是如何得到极大协调的子集。大协调子集修正口，部分交集修正C“]，全部交集修正C“]，安AGM的最大协调子集的方法就是在所有极大协调子集全修正[”]，可能环境系统C和基于认识牢固度的修正[”等。中任意选择一个与要插入的语句A形成一个

5、集合，然后再求基于模型的修正方法也满足部分公设[1“。将信念集限制为理该集合的闭包。在他们给出的最大协调子集的方法、部分交集论基，人们”给出了和“理论修改逻辑”类似的结果。迭代的方法、全部交集的方法中，他们是在假设所有极大协调子集的方法[2研究信念集是形式理论的情况时进行多次修正的的集合是已求得的情况下进行的，而如何求得所有极大协调性质和方法，并给出了可以归约出极大选择修正的演译方法，子集的集合，他们并没有给出一种构造性的方法。在第3节我称为R．演算[船；另外还有基于顺序条件函数的修正[23和自们已经给出了如何求

6、得极大协调的子集的方法，所以只要在然修正[2等。人们对信念修正在计算机上的可实现性也进行前面所述的完全性过程的后面增加一些内容就会得到AGM了研究。Dixon／对有限理论基上的基于认识牢固度修给出的方法。例如，如果在[3妇完全性过程的后面增加如下的正[2的可实现性进行了研究，[2还进一步讨论了一阶逻辑上～步：修正的实现方法，给出了修正的原型系统；WilliamsC2s]采用的从所有极大协调的子集中任意选择一个元素厂-，然后再策略是，在没有必要对一个信念的牢固度进行修改之前，该信求集合厂。U{A}的闭包。念在系统中

7、的牢固度保持不变；而文[29]讨论了扩充逻辑程则就得到了AGM最大协调子集的方法。如果上面的这序设计中的知识库修正问题。对于信念修正的研究，不仅具有一步如下：理论意义，也有着广泛的应用前景，例如可以应用到基于知识从所有极大协调的子集的集合中，根据一定的原则要求，的用户界面设计中0选择一组极大协调的子集n，，⋯，，然后再求集合(厂n当信念A加入到信念集厂中时，若A和不协调，则上n⋯n)U{A}的闭包。述很多方法都用到极大协调子集来得到修正后的信念集，但则就得到AGM部分交集的方法。同样地，如果有如下的都没有讨论如何

8、得到厂的和A极大协调的子集。本文将信念步骤：集限制为有限的子句集，信念限制为子句，我们在文[31]中给对于所有极大协调的子集的集合S，求集合(n)U{A}出了一个求所有极大协调子集的过程，在文[32]中给出了极的闭包这里ns的意义是：若s一{厂-，／'2，⋯，}，则nS=小不协调子集的过程，本文主要讨论如何由上述过程来实现(厂。nn⋯n)，则得到AGM全部交集的方法。*)