[论文解读] Revising Partially Ordered Beliefs

Salem Benferhat, Sylvain Lagrue+1 more|ArXiv.org|Oct 3, 2002

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

一句话总结

本文将两种信念修正算子——基于历史的修正与可能性修正——从解释上的全序推广至解释与信念基上的偏序。本文建立了两种算子的语义与句法等价性，表明从偏序推导出的信念集在多次修正后会收敛至全序，从而在不完整或不可比较的信息源下实现一致推理。

ABSTRACT

This paper deals with the revision of partially ordered beliefs. It proposes a semantic representation of epistemic states by partial pre-orders on interpretations and a syntactic representation by partially ordered belief bases. Two revision operations, the revision stemming from the history of observations and the possibilistic revision, defined when the epistemic state is represented by a total pre-order, are generalized, at a semantic level, to the case of a partial pre-order on interpretations, and at a syntactic level, to the case of a partially ordered belief base. The equivalence between the two representations is shown for the two revision operations.

研究动机与目标

• 为解决全序在建模认知状态中不可比较信念时的局限性。
• 通过在解释和部分有序的信念基上使用偏序来形式化认知状态。
• 将两种现有的修正算子——基于历史的修正与可能性修正——推广至偏序情形。
• 证明在偏序下，信念修正的句法与语义表示之间的等价性。
• 通过多次修正实现向全序收敛，确保信念演化的稳定性。

提出的方法

• 通过解释上的偏序表示认知状态，允许可能世界之间的不可比性。
• 在公式上定义具有偏序的句法信念基，支持对不确定或冲突知识的结构化表示。
• 通过基于新观察更新解释的可接受度，将基于历史的修正算子推广至偏序。
• 利用可能性理论原则，将可能性修正算子推广至偏序，保持相对可接受度排序。
• 通过一致公式子集的补集的偏好比较，建立从句法偏序到语义偏序的映射。
• 证明在修正后，句法与语义信念集之间具有等价性，确保不同表示间的一致性。

实验结果

研究问题

• RQ1 在认识逻辑中，信念修正如何从解释上的全序推广至偏序？
• RQ2 当信念部分有序时，语义修正操作的适当句法对应物是什么？
• RQ3 如何将公式上的偏序映射为一致信念子集上的偏序？
• RQ4 在偏序下，句法与语义信念修正等价性的条件是什么？
• RQ5 偏序能否通过多次修正收敛至全序，这对信念一致性意味着什么？

主要发现

• 本文证明，在基于历史与可能性修正下，由句法修正算子推导出的信念集与由语义修正算子推导出的信念集在逻辑上等价。
• 句法信念集是根据诱导出的子集偏序，在所有优选的一致信念子集上取析取所得。
• 经过一系列修正后，解释上的偏序收敛为全序，确保信念演化在长期中保持一致性。
• 从句法到语义偏序的映射通过一致子集补集的偏好比较定义，确保信念推理的鲁棒性。
• 该方法通过允许规则或信念之间的不可比性，避免了任意的全序化，如烟草种植示例中三组冲突但不可比较的规则所示。
• 该方法支持在具有部分有序信息的系统中的实际应用，例如地理信息系统，其中数据源可能无法完全比较。