基于距离的修订缺乏有限特征
摘要：基于距离的置信修正方法研究 基于距离的置信修正方法是由Lehmann、Magidor和Schlechta开发的。假设我们有一个距离D，它定义了一个名为距离运算符|D的运算符，将任意两组估值集合V和W转换为V|D W的集合，其中包含W中与V最接近的元素。这个运算符|D自然地定义了通过A来修正K的方法，即在M(K) |D M(A)中满足的所有公式的集合（即与K的模型最接近的A的模型）。这构成了一种基于距离的修正运算符。Lehmann等人利用任意大的循环条件来表征它们的家族。一个有趣的问题是，这个循环条件是否可以被一个有限的条件所替代。通过扩展Schlechta的结果，我们将提供一些否定的答案。事实上，我们将展示对于距离运算符的家族，没有“正常”的表征。一个近似的正常表征只包含有限的普遍量化条件。这些结果本身具有重要意义，因为它们有助于理解在这个领域可能性的限制。现在，我们相当有信心认为这项工作可以继续进行下去，以展示基于距离的修正运算符的类似不可能性结果，这表明循环条件无法简化。
作者：Jonathan Ben-Naim (LIF)
论文ID：cs/0606082
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2007-05-23