信念修正的各种方法之比较

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

1、维普资讯http://www.cqvip.com．(，j髓计算机科学]999Vol26№‘／7●信念修正的各种方法之比较、吣☆、ComparisonbetweenApproachesforBeliefRevision栾尚敏李来P1(北京航空航天大学计算机科学与工程系北京100083)AbstractInthispaper，wefirstlypresentvariousapproachesforbeliefrevision，includingAGM~sapproach，theorybaseapproach．synta

2、x—basedapproach，model—basedapproach，sequenceandlimitapproachanditeratedapproachTheprototypesystemsforbeliefrevisionarealsodiscussedhereThentarediscusstherelationshipsbetweentheseapproachesKey~ortlksBeliefrevision，Prototypesystem，Iteratedrevision自从1956年提出了“人工智能

3、”以来，人们已在定的结果，在这些研究结果中，AGM的方法、这一领域做了大量的工作，根多专家系统已经非常基于理论基(theoryhase)l~方法、基于模型的成功地得到了应用当前哲学和人工智能领域的热方法”]、基于公式的方法、序列极限的方点之一就是信念修正(beliefrev．ision)，下面我们用法州和迭代的方法珊都占有重要的地位文文[1]中的例子来说明信念修正的意义。候设有如下[a9，3o3给出了用于信念修正的一些系统的四十命题1AGM的方法A：所有欧洲的空鹄都是白色的．B：在陷井中捕着的鸟是盘鹄．AIchou

4、rron，Gardenfors和MarkinsonⅢ给出了C：在J軎井中捕着的鸟是瑞其的信念修正的一种方法，人们称为AGM的方法。在A：瑞典是政嗣的一部分。AGM的方法中，若语句集r是一十理论闭包，别称报据上面的知识，可以推出如下的结论B在r为信念集．所谓r是理论闭包，是指对语言L的任陷井中捕着的鸟是白色的．意一十语句B，如果rB，就有B∈r。AGM将信念假设我们在陷井中捕着到的鸟是黑色的，也就修改分为三种：是说我们必须接受事实_7B]若将_7B。加入到上面扩充：将一十新语句B及其逻辑结论一起加入的信念集中，则就不

5、协调了．为了保持信念集的协调到信念集r中t称为扩充t记为r+B或时。性，必须从原来的知识库中删除一些事实或规则，使约减：将语句B及与其相关的逻辑结论一起从得信念集保持它的协调性。上面的例子可以利瞎A，信念集r中删除，使得删除后的语旬集仍热是一十就可以使得信念集是协调的事实上，只要将A作逻辑闭包，则称该操作为约减，记为r_B或如下的修改就可以了：除瑞典的企鹅外，所有欧洲其修正对于与r不协调的公式^，当加入到信念它的企鹅都是白色的。集r中时，需要删除信念集r中的一些语句，使得修需要说明的是，对于信念修正这一术语，存在各

6、改后的信念集和^是协调的，且在逻辑结论的意义种不同的名字，例如有的称为真值维护，有的称为知下是封闭的，把这种操作记为r*^或。识库维护若将信念集限制在有限集上，井且不要求在这三种操作中，扩充操作是最简单的一种操它是逻辑闭包，则信念集就是知识库，所以这里对它作，报据Gfirdenlors_I]，约减和修正可以通过下述两们不进行区分本文采用文[2]中的记号十等式相互转化人们对信念修正进行了深入的研究并取得了一Levi等式：(r=^)·)国家自搽科学基金资助珥目·8·维普资讯http://www.cqvip.comHar

7、per等式：一rOr二^修正中，如果进一步限制-4的幂集上的关系为传递设rl是所有公式的集合，AGM_】给出的关于的．则称这种修正方法为传递关系部分交集修正，这修正的合理公设(rationalpostulate)有{种方法满足公设(r‘1)～(r’8)。(r‘1)一Th(rJ．)认识牢固程度的方法基于这样的思想：在信念(r‘2)^∈集中的一些信念比其它的信念更有用或更重要对(r’3)如果一^"(A)，则一Th(rU{A})(r’4)若一^th(B)，别Th(时)协调于这样的信念赋予一较高的认识牢固度(degreeo

8、f(r’5)若Th(A)一Th(B)，则rl一epistemicentrenchment)，这个值并不受具体约减和(r‘6)nr—pz^(r’7)^(r1)U{B}修正方法的影响。在进行信念修正时必须首先确定(r’8)()U{B}^信念的认识牢固度，然后删除那些认识牢固度小的Katsuno和Mendelzon[5对上述的公设进行了信念。对于认识的牢固度很难定