[论文解读] Distance Semantics for Belief Revision

Karl Schlechta, Daniel Lehmann+1 more|arXiv (Cornell University)|Mar 17, 1996

Logic, Reasoning, and Knowledge参考文献 20被引用 16

一句话总结

本文通过定义基于模型间距离的信念修正语义，将信念修正视为在新信念模型中选择与原始信念集距离最近的模型，使用模型之间的距离度量。该研究在AGM公理基础上扩展了新的理性约束，以规范迭代修正行为，为动态环境中的一致且直观的信念更新提供了形式化框架。

ABSTRACT

A vast and interesting family of natural semantics for Belief Revision is defined. Suppose one is given a distance d between any two models. One may define the revision of a theory K by a formula a as the theory defined by the set of all those models of a that are closest, by d, to the set of models of K. This family is characterized by a set of rationality postulates that extends the AGM postulates. The new postulates describe properties of iterated revisions.

研究动机与目标

• 开发一种基于模型距离的信念修正形式语义，以实现直观且理性的信念更新。
• 在AGM公理基础上引入新的理性公理，以规范迭代信念修正的行为。
• 刻画一个基于模型间几何接近度的广泛信念修正操作家族。
• 确保信念变化过程的一致性和理性，特别是在顺序应用多次修正时。

提出的方法

• 定义任意两个模型之间的距离函数 d，以度量其语义相似性。
• 通过 d 度量下，从 α 的所有模型中选择与 K 的模型距离最近的模型，来修正信念理论 K。
• 将修正操作形式化为在 d 下与 K 最接近的 α 的模型所对应的理论。
• 通过一组扩展 AGM 的理性公理来刻画所得修正家族，尤其关注迭代修正。
• 利用基于距离的选择机制，确保修正过程保持最大一致性并实现最小变化。

实验结果

研究问题

• RQ1 如何通过模型间距离度量来形式化信念修正，以确保直观且理性的更新？
• RQ2 在 AGM 框架之外，为规范迭代信念修正行为，还需要哪些额外的理性公理？
• RQ3 能否定义一种统一的语义，通过距离关系捕捉广泛的理性信念修正操作家族？
• RQ4 基于距离的方法如何确保在多个修正步骤中保持一致性？

主要发现

• 所提出的距离语义定义了一个基于模型接近度的自然且直观的信念修正操作家族。
• 该框架在 AGM 公理基础上扩展了新的理性约束，特别针对迭代修正行为进行了规范。
• 基于距离的修正操作通过选择与原始信念集最接近的新信念模型，确保了最小变化。
• 该方法为理性的信念变化提供了形式化基础，确保在多次修正中保持系统性和一致性。