几种迭代修正方法的比较.pdfVIP

维普资讯 第 34暮第 2期 东 北 师 太 学 报 自 然 科 学 版 v01．34No．2 2002年 6月 JOURNALOFNORTHEA．~TNORMALUNIVERSITY June2002 [文章编号]loo0．1832(2002)02—0030-06 几种迭代修正方法 的比较 尚 颖 ，邓安生 (1．东北师范大学计算机．科学系，吉林 长春 130024； 2．厦门大学计算机科学系，福建 厦ll361005) [摘 要] 舟绍 了几种典型的选代修正方法，并对这些方法进行 了比较；讨论 了 其满足 AGM 公设的情况 ，得 出修正序列为线序要优于基序的结论 ；同时指 出各 种方法一般都遵循 的两个原则：最小改变原则与强首要更新原则． [关键词] 信念修正；选代修正；AGM 理论 [中图分类号] TP301 [文献标识码 】 A 1 引言 常识推理中不一致信念的修正问题是人工智能研究的热点问题 ，目前 已不再局 限于 静态修正 ，许多学者研究了动态修正 (即迭代修正)的方法．下面的两个例子说明了信念修 正尤其是迭代修正所面临的问题 ． 例 1 Agent已知 K=(p^q)，而后 Agent学习到 中--7P^]q，此时，若 Agent不 知道 P和q的相对强度 ，则 Agent将不知道该如何受理新知识． 例 2 若初始知识库 K】=n，K2=d一6，而后 K1接受到 n一6，即 K1=n。(n一6)； K2接受到 n，即K2=(Ⅱ一6)。n，当下一时刻 K1和 K2同时接受到]b时，K1。]b与 K 。]b是否相等 ? 上述两个例子说明，仅 由信念集 已无法表示Agent的信念，还要有一些附加信息来辅 助说 明，如各信念的相对信任强度 、Agent的修正历史即成长历程等 ，这使得在信念修正 过程中引入了认知态的概念．一个认知态不仅包括命题信念部分还包括条件信念部分，它 描述 Agent对各信念的认识 ，及对修正进程的限制等．因此我们需要一个标准去判定 ，哪 些条件信念依然有用 ，即至少要知道哪些条件信念在今后的修正过程 中要被考虑在 内． 以下简要介绍几种迭修代正方法 ，如 Darwiehe和 Pearl的方法 1【J、goutiller的 自然 修正方法 3【,4J、Lebe n秩修正方法L、Konieezny和 P~rez的带记忆 的修正方法L、 WillY,as的转换函数方法L7等 ，然后给出这些方法的比较． 【收稿 日期1 2oo2．-Ol-O9 【基金项 目1 国家 自然科学基盒资助项 目69983002) 【作者筒介1 尚颍 (1976一)，女．硕士研究生；邛安生 (1g63一)，男．博士 ．教授 ．主要从事经典逻辑中的定理机器 证暇技术 、非经典逻辑理论及其 自动推理技术 、智能系统等研究 ． 维普资讯 第 2期 尚颖等 ：几种连代修 正方法的比较 3i 2 几种典型的迭代修正方法 2．i Darwlche和 Pearl的方法 对于迭代修正，AGM理论显得太弱，I~--wiche和Pearl首先在文献 [i】中AGM公设 的基础上，提出了四条扩展公设来实现迭代修正： C1 若 I= ，则( 。)。aE 。 Q 若 I=] ，则( 。／1)。 。Ct； q 若 。Ctl= ，则( 。)。l= ； Q 若 。Ctl≠] ，则( 。)。I≠] ． 同时，在文献 [2】中，给出基于认知态的AGM 公设 ： R 。 l= ； R 若 A l≠False，则 。 = A ； R 若 是可满足的，则 。 是可满足的； 时 若 a／t1= 并且 1；