[论文解读] Lack of Finite Characterizations for the Distance-based Revision

Jonathan Ben-Naim|arXiv (Cornell University)|Jun 19, 2006

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

一句话总结

本文研究了基于距离的信念修正算子（通过估值之间的距离函数定义）是否能仅通过有限的全称量化条件实现有限表征。在扩展Schlechta工作的基础上，本文证明了对于对称及保持汉明距离的关键算子族，不存在此类正常表征，表明先前表征中不可或缺的无限'环'条件无法被有限的全称量化条件所替代。

ABSTRACT

Lehmann, Magidor, and Schlechta developed an approach to belief revision based on distances between any two valuations. Suppose we are given such a distance D. This defines an operator |D, called a distance operator, which transforms any two sets of valuations V and W into the set V |D W of all elements of W that are closest to V. This operator |D defines naturally the revision of K by A as the set of all formulas satisfied in M(K) |D M(A) (i.e. those models of A that are closest to the models of K). This constitutes a distance-based revision operator. Lehmann et al. characterized families of them using a loop condition of arbitrarily big size. An interesting question is whether this loop condition can be replaced by a finite one. Extending the results of Schlechta, we will provide elements of negative answer. In fact, we will show that for families of distance operators, there is no "normal" characterization. Approximatively, a normal characterization contains only finite and universally quantified conditions. These results have an interest of their own for they help to understand the limits of what is possible in this area. Now, we are quite confident that this work can be continued to show similar impossibility results for distance-based revision operators, which suggests that the big loop condition cannot be simplified.

研究动机与目标

• 确定用于表征距离算子族的无限'环'条件是否可被有限的全称量化条件所替代。
• 将Schlechta关于距离算子的负面结果扩展至更广泛的算子族，包括尊重汉明距离的族。
• 研究相同的不可能性结果是否适用于基于距离的信念修正算子，而不仅限于距离算子本身。
• 探讨这些结果对迭代信念修正及允许不一致性的相干逻辑框架（paraconsistent frameworks）的含义。
• 确立基于距离的信念修正的结构性限制是固有的，无法通过更简单的有限表征来克服。

提出的方法

• 采用广义的'正常表征'定义，即有限且全称量化的条件，不强制要求简洁性（例如，允许使用复杂数学函数或结构）。
• 分析定义在估值集合上的距离算子族，重点关注对称性及与汉明距离的相容性等性质。
• 构造反例以证明：不存在任何有限的全称量化条件，能够完整表征某些距离算子族。
• 运用逻辑与集合论推理，证明任意大小的'环'条件是必要且不可由有限条件替代的。
• 通过已知的估值上距离算子与公式上修正算子之间的对应关系，将结果应用于基于距离的信念修正算子。
• 将框架扩展至非经典逻辑，如$`\mathcal{FOUR}$，以评估其在相干逻辑信念修正情境下的适用性。

实验结果

研究问题

• RQ1 能否用有限的全称量化条件替代用于表征距离算子族的无限'环'条件？
• RQ2 尊重汉明距离的距离算子族是否在广义的正常性定义下存在正常表征？
• RQ3 对距离算子的不可能性结果是否可扩展至基于距离的信念修正算子？
• RQ4 这些结果能否推广至非经典逻辑框架，如相干逻辑？
• RQ5 这些负面结果对设计具有良好行为特性的迭代信念修正系统有何影响？

主要发现

• 在广义正常性定义下，任何对称或尊重汉明距离的距离算子族均无法实现正常表征。
• 先前对距离算子表征中使用的无限'环'条件无法被任何有限的全称量化条件所替代。
• 不可能性结果可扩展至基于距离的信念修正算子族，表明其表征同样需要无界大小的条件。
• 这些结果暗示：仅使用有限且全称量化的公理，无法有限地表征具有良好行为特性的迭代修正算子。
• 该框架可扩展至相干逻辑（如$`\mathcal{FOUR}$），表明这些限制在非经典设定下依然存在。
• 本工作提供了强有力的证据，表明'环'条件并非单纯的技巧性产物，而是连贯的距离修正机制中不可或缺的特征。