[论文解读] A Conditional Perspective for Iterated Belief Contraction

Kai Sauerwald, Gabriele Kern-Isberner+1 more|arXiv (Cornell University)|Nov 20, 2019

Logic, Reasoning, and Knowledge被引用 7

一句话总结

本文通過形式化一組新的語法 postulates，引入了一種迭代信念收縮的條件觀點，這些 postulates 通過條件信念的變化來表徵收縮算子，特別是使用了『收縮條件句』（contractionals）—— 類似於修訂的拉姆齊測試中的條件句。主要貢獻在於提出了一個擴展的表示定理，顯示新 postulates、Konieczny-Pino Pérez 迭代 postulates 和語義可信度排序之間的等價性，並引入了一個關於信念狀態的新型 α-等價概念。

ABSTRACT

According to Boutillier, Darwiche, Pearl and others, principles for iterated revision can be characterised in terms of changing beliefs about conditionals. For iterated contraction a similar formulation is not known. This is especially because for iterated belief change the connection between revision and contraction via the Levi and Harper identity is not straightforward, and therefore, characterisation results do not transfer easily between iterated revision and contraction. In this article, we develop an axiomatisation of iterated contraction in terms of changing conditional beliefs. We prove that the new set of postulates conforms semantically to the class of operators like the ones given by Konieczny and Pino Pérez for iterated contraction.

研究动机与目标

• 發展一種基於條件句的迭代信念收縮特徵化方法，類比於 Darwiche-Pearl 對於迭代修訂的框架。
• 解決迭代收縮缺乏條件句表述的問題，儘管此類表述在修訂中已廣泛建立。
• 提出一組簡潔的新語法 postulates，用於迭代收縮，並強調條件信念的關鍵作用。
• 定義信念狀態之間的 α-等價，作為分析信念變更中不變量的工具，並支援新 postulates。
• 證明一個擴展的表示定理，顯示新 postulates、Konieczny-Pino Pérez 的迭代 postulates 和語義可信度排序之間的等價性。

提出的方法

• 基於條件信念的變化，提出一組新的語法 postulates（C8cond 至 C11cond），用於迭代收縮，特別聚焦於『收縮條件句』—— 用以捕捉收縮效果的條件句。
• 引入 α-等價，作為信念狀態之間相對於命題 α 的等價關係，以支援對信念變更中不變量的分析。
• 使用從信念狀態到可能世界上的總預序的忠實賦值，為 postulates 提供語義基礎。
• 建立 α-等價與收縮條件句接受之間的關聯，顯示 α-等價會保持特定條件句的真值。
• 證明表示定理，顯示新 postulates（C8cond 至 C11cond）與原始 postulates（IC8 至 IC11）共同表徵同一類收縮算子。
• 展示新 postulates 比先前表述更為簡潔，因其減少對析取信念變更的依賴。

实验结果

研究问题

• RQ1 如何以條件信念的方式來特徵化迭代信念收縮，如同迭代修訂透過條件句所實現的那樣？
• RQ2 稱為『收縮條件句』的特定條件句在捕捉迭代收縮動態中扮演何種角色？
• RQ3 信念狀態之間的 α-等價與收縮過程中條件信念的保留之間有何關係？
• RQ4 能否發展一組新的語法 postulates，用於迭代收縮，使其在語義上正確且比既有表述更為簡潔？
• RQ5 是否存在一個表示定理，能將新基於條件句的 postulates 與 Konieczny 和 Pino Pérez 的既定 postulates 等價起來？

主要发现

• 新 postulates（C8cond 至 C11cond）為迭代收縮提供了類似於 Darwiche-Pearl 修訂框架的條件觀點。
• 本文建立了一個擴展的表示定理，顯示新 postulates（C8cond 至 C11cond）、原始 postulates（IC8 至 IC11）與語義可信度排序，均表徵同一類收縮算子。
• α-等價被證明是分析信念變更中不變量的有力工具，特別是在收縮條件句的接受方面。
• 新 postulates 比先前表述更為簡潔，因其避免複雜的析取信念變更，專注於條件結構。
• 收縮條件句與收縮行為之間有明確的語義連結，且其接受性在 α-等價下得以保留，為其使用提供了語義依據。
• 結果顯示，條件句與信念變更之間的關聯——在修訂中已廣泛建立——可透過一個新穎的條件框架，延伸至收縮領域。