[論文レビュー] Iterated revision and the axiom of recovery: a unified treatment via epistemic states

Samir Chopra, Aditya Ghose+1 more|ArXiv.org|Jul 10, 2002

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

ひとこと要約

この論文は、可能な世界における好みの順序を符号化する認識状態を用いて、反復的信念修正の統一的枠組みを提案する。情報が同一のソースから来る場合、回復の公理および関連する公理が論理的に整合的に保たれることを示している。また、Darwiche-Pearlの(C2)を弱める回復類似公理（S1, S2）を導入し、回復の反例が論理的欠陥ではなく、ソースの不整合に起因することを明らかにした。

ABSTRACT

The axiom of recovery, while capturing a central intuition regarding belief change, has been the source of much controversy. We argue briefly against putative counterexamples to the axiom--while agreeing that some of their insight deserves to be preserved--and present additional recovery-like axioms in a framework that uses epistemic states, which encode preferences, as the object of revisions. This provides a framework in which iterated revision becomes possible and makes explicit the connection between iterated belief change and the axiom of recovery. We provide a representation theorem that connects the semantic conditions that we impose on iterated revision and the additional syntactical properties mentioned. We also show some interesting similarities between our framework and that of Darwiche-Pearl. In particular, we show that the intuitions underlying the controversial (C2) postulate are captured by the recovery axiom and our recovery-like postulates (the latter can be seen as weakenings of (C2).

研究の動機と目的

• 信念修正におけるAGMの回復公理に関する長年の論争に応えるために、反例の観点からその妥当性を再評価すること。
• 情報入力が同一のソースである場合、回復公理が最小変化およびコア保持の原則を保ちながらも、依然として合理的に保たれることを示すこと。
• 好みの順序を伴う認識状態に基づく形式的枠組みを構築し、反復的修正を可能にするとともに、回復公理と明示的に関連付けること。
• Darwiche-Pearlの(C2)を弱める妥当な回復類似公理（S1, S2）を提案し、ジョージ・ザ・クリミナル例のような状況で直感的でない結果を避けること。
• 反復的修正の意味的条件と句法学的公理を結びつける表現定理を確立し、枠組みを形式的意味論に裏付けさせること。

提案手法

• 可能な世界の全順序を認識状態としてモデル化し、自然数のランクを割り当てて妥当性を表現する。低いランクはより妥当な世界を示す。
• 既存の妥当性ランクへの最小の破壊を伴いながらも、新しい情報と整合性を保つように、好みに基づく更新ルールを用いて信念修正操作を定義する。
• Darwiche-Pearlの(C2)を弱める2つの回復類似公理（S1, S2）を導入し、除去と再修正の後に信念の再取得に柔軟性をもたせる。
• 表現定理を用いて、意味的制約（例：最小変化、コア保持）と句法学的公理を正式に結びつけ、論理的整合性を保証する。
• 代表的な反例（クレオパトラとジョージ・ザ・クリミナル）にこの枠組みを適用し、回復違反が情報が異なるソースから来ている場合にのみ生じることを示す。論理的不整合によるものではない。
• Darwiche-Pearlのアプローチと比較し、(C2)の直感が回復公理および提案された公理（S1, S2）によって捉えられ、特に同一ソースの仮定下で成立することを示す。

実験結果

リサーチクエスチョン

• RQ1 AGMの回復公理はどのような条件下で論理的に正当化可能であり、クレオパトラの例のような反例が、なぜそれを無効にしないのか？
• RQ2 最小変化およびコア保持を保ちつつ、除去と再除去の後に合理的な回復を可能にする反復的信念修正をどのように形式化できるか？
• RQ3 認識状態の文脈において、信念修正作用素が回復類似行動を満たすために必要な意味的および句法学的条件は何か？
• RQ4 情報のソースの違い（同一 vs. 異なるソース）は信念回復の合理性にどのように影響し、形式的にモデル化可能か？
• RQ5 Darwiche-Pearlの(C2)公理は、そのコアの直感を保ちつつ、意味的に意味のある形で弱められるか？もし可能なら、その方法は何か？

主な発見

• 情報入力が同一のソースである場合、回復公理は合理的に正当化される。なぜなら、信念喪失の理由が再び元の信念を受け取ることで無効化されるからである。
• クレオパトラの例やジョージ・ザ・クリミナルの例のような回復の反例は、情報が異なるソースから来ていることに依存しており、信念回復の仮定を破壊するため、回復公理を反証するものではない。
• 提案された公理S1およびS2は、Darwiche-Pearlの(C2)を意味的に弱めるものであり、『ジョージは違法な銃器所持で有罪となった』という信念を強制するような直感的でない結果を避ける。
• ジョージ・ザ・クリミナルの例では、(C2)を用いることで$g$が最終状態で信じられるが、S1およびS2を用いることで$g \not\in K(\Phi_3')$となる。これはより直感的な結果を示している。
• この枠組みは、意味的条件（例：最小変化、コア保持）と句法学的公理を結びつける表現定理を確立し、提案された修正作用素の形式的根拠を提供している。
• 反復的修正と回復公理の関係が明確化された：回復は独立した制約ではなく、認識状態における一貫性があり、ソースに注意を払った信念修正の自然な結果である。