[論文レビュー] Belief Revision and Rational Inference

Michael Freund, Daniel Lehmann|ArXiv.org|Apr 14, 2002

Logic, Reasoning, and Knowledge参考文献 21被引用数 39

ひとこと要約

この論文は、AGM的理論的修正と合理的で一貫性を保つ非単調的推論関係を結ぶ新しい公理を導入する。この公理を満たすAGM的修正と合理的関係との間に一対一対応が確立され、信念修正と非単調論理の間の形式的ブリッジを提供する。

ABSTRACT

The (extended) AGM postulates for belief revision seem to deal with the revision of a given theory K by an arbitrary formula, but not to constrain the revisions of two different theories by the same formula. A new postulate is proposed and compared with other similar postulates that have been proposed in the literature. The AGM revisions that satisfy this new postulate stand in one-to-one correspondence with the rational, consistency-preserving relations. This correspondence is described explicitly. Two viewpoints on iterative revisions are distinguished and discussed.

研究の動機と目的

• 同じ論理式による異なる理論の修正どうしの関係を規定する、拡張されたAGM公理に欠落している制約を特定・形式化すること。
• 信念修正作用素と非単調的推論関係（特に合理的かつ一貫性を保つもの）との関係を明確化すること。
• 反復的信念修正における曖昧さを解消し、修正プロセスの静的および動的視点を区別すること。
• AGM的修正が非単調的推論システムと体系的に結びつく条件を調査すること。
• 静的修正作用素が時間経過に伴う修正戦略の動的適応をモデル化できない限界を明らかにすること。

提案手法

• 異なる理論を同じ論理式で修正する際の振る舞いを制限する新しい公理（本文では明示的に名前が付けられていないが、理論間の修正に関する制約として暗黙に想定）を提唱する。
• この新しい公理を満たすAGM的修正が、明示的な全単射写像を通じて、合理的かつ一貫性を保つ推論関係と正確に一対一対応することを示す。
• 反復的修正の静的視点と動的視点の違いを分析する：静的視点は固定された修正作用素を仮定するが、動的視点は作用素が新たな情報に応じて進化すると仮定する。
• レビとガーデンファースの恒等式を用いて、修正と除去の関係を関係づけ、形式的枠組みを既存のAGM理論に根ざしていることを裏付ける。
• 論理的特徴付け技術を用いて、K*1–K*8（新しい公理を含む）の公理群が、合理的関係に関して修正作用素の構造を完全に決定することを示す。
• モデル理論的および証明論的分析を用いて、特定の公理（例：K*3およびK*4）が修正の非単調的行動に影響を与えないことを示す。

実験結果

リサーチクエスチョン

• RQ1 同じ論理式による異なる理論の修正が、合理的推論と整合的であるように保つために、どのような追加制約が必要か？
• RQ2 AGM的信念修正は、どのようにして合理的で一貫性を保つ非単調的推論関係と形式的に結びつけられるか？
• RQ3 静的および動的視点の反復的信念修正が、AGMフレームワーク内でどの程度共存するか、あるいは対立するか？
• RQ4 AGM公理は、合理的関係を超えて、優先的または条件的推論システムを捉えるために一般化可能か？
• RQ5 なぜK*3およびK*4の公理が修正の非単調的行動に影響しないのか、そしてこれは信念修正の構造にどのような含意を持つのか？

主な発見

• 提示された新しい公理により、この公理を満たすAGM的修正は、合理的かつ一貫性を保つ推論関係と一対一対応する。
• この対応関係は明示的に記述されており、全単射であるため、各関係が一意に修正作用素を決定し、逆に各作用素が一意に対応する関係を定義する。
• 静的視点（修正作用素が固定されている）では、修正の履歴に依存するため、修正戦略の動的適応をモデル化できない。
• 動的視点（修正手法が進化する）では、作用素が過去の修正シーケンスに依存するため、単一の静的修正作用素では表現できない。
• K*3およびK*4の公理は、修正の非単調的行動に影響しないことから、これらは構造的制約であり、推論的制約ではないことが示唆される。
• 結果から、優先的または条件的論理を含むAGM的修正を一般化するには、現在の公理セットを超えて拡張する必要があることが示唆される。