[论文解读] Belief Revision and Rational Inference

Michael Freund, Daniel Lehmann|ArXiv.org|Apr 14, 2002

Logic, Reasoning, and Knowledge参考文献 21被引用 39

一句话总结

本文提出了一项信念修正的新公理，将AGM风格的理论修正与理性、保持一致性的非单调推理关系联系起来。它建立了满足该公理的AGM修正与理性关系之间的一一对应关系，从而在信念修正与非单调逻辑之间建立起正式的桥梁。

ABSTRACT

The (extended) AGM postulates for belief revision seem to deal with the revision of a given theory K by an arbitrary formula, but not to constrain the revisions of two different theories by the same formula. A new postulate is proposed and compared with other similar postulates that have been proposed in the literature. The AGM revisions that satisfy this new postulate stand in one-to-one correspondence with the rational, consistency-preserving relations. This correspondence is described explicitly. Two viewpoints on iterative revisions are distinguished and discussed.

研究动机与目标

• 识别并形式化扩展AGM公理中缺失的约束，该约束控制由同一公式对不同理论进行修正时的关系。
• 澄清信念修正算子与非单调推理关系（尤其是理性与保持一致性的关系）之间的关系。
• 通过区分修正过程的静态与动态视角，解决迭代信念修正中的模糊性。
• 研究AGM修正可系统性地与非单调推理系统关联的条件。
• 探讨静态修正算子在建模随时间演变的修正策略动态适应方面的局限性。

提出的方法

• 提出一项新公理（文中未明确命名，但隐含为对理论间修正的约束），限制由同一公式对不同理论进行修正时的行为。
• 证明满足该新公理的AGM修正与理性、保持一致性的推理关系之间存在明确的双射映射，从而实现一一对应。
• 分析迭代修正的静态与动态视角之间的区别：静态视角假设修正算子固定不变，动态视角则假设算子随新信息而演化。
• 利用Levi和Gärdenfors恒等式将修正与收缩联系起来，使形式化建立在既有的AGM理论基础之上。
• 采用逻辑特征化技术，表明K*1–K*8（含新公理）的公理集可完全确定相对于理性关系的修正算子结构。
• 运用模型论与证明论分析，表明某些公理（如K*3和K*4）不影响修正的非单调行为。

实验结果

研究问题

• RQ1 为确保由同一公式对不同理论进行修正时保持一致且与理性推理一致，需要增加何种额外约束？
• RQ2 如何正式地将AGM信念修正与理性、保持一致性的非单调推理关系联系起来？
• RQ3 在AGM框架内，静态与动态视角的迭代信念修正在多大程度上可以共存或产生冲突？
• RQ4 AGM公理能否被推广以捕捉超越理性关系的优先级或条件推理系统？
• RQ5 为何公理K*3和K*4不影响修正的非单调行为？这对其信念修正结构意味着什么？

主要发现

• 所提出的公理确保满足它的AGM修正与理性、保持一致性的推理关系之间存在一一对应关系。
• 该对应关系被明确描述且为双射，意味着每个此类关系唯一确定一个修正算子，反之亦然。
• 静态视角（即修正算子固定不变）无法建模修正策略的动态适应，因为该方法依赖于修正的历史。
• 动态视角（即修正方法随时间演化）无法由单一静态修正算子捕捉，因为该算子依赖于先前的修正序列。
• 公理K*3和K*4不影响修正的非单调行为，表明它们属于结构性约束而非推理性约束。
• 研究结果表明，将AGM修正推广至包含优先级或条件逻辑的系统，可能需要超越当前公理集的扩展。