[論文レビュー] Distance Semantics for Belief Revision

Karl Schlechta, Daniel Lehmann+1 more|arXiv (Cornell University)|Mar 17, 1996

Logic, Reasoning, and Knowledge参考文献 20被引用数 16

ひとこと要約

本稿では、信念集合に最も近いモデルを選択することで信念修正を定義する距離意味論を導入し、モデル間の距離計測を用いて新しい信念のモデルを特定する。これにより、反復的修正の挙動を制御する新たな合理性制約をAGM公理に拡張し、動的環境における一貫性があり直感的な信念更新の形式的枠組みを提供する。

ABSTRACT

A vast and interesting family of natural semantics for Belief Revision is defined. Suppose one is given a distance d between any two models. One may define the revision of a theory K by a formula a as the theory defined by the set of all those models of a that are closest, by d, to the set of models of K. This family is characterized by a set of rationality postulates that extends the AGM postulates. The new postulates describe properties of iterated revisions.

研究の動機と目的

• モデル間の距離に基づく形式的意味論を構築し、直感的で合理的な信念更新を可能にする信念修正のための形式的意味論を開発すること。
• 反復的信念修正の挙動を制御する新たな合理性公理をAGM公理に拡張すること。
• モデル間の幾何的近接性に基づく、広範な信念修正操作の族を特徴づけること。
• 特に反復的に適用される修正において、一貫性と合理性を保証すること。

提案手法

• 任意の2つのモデル間の距離関数 d を定義し、それらの意味的類似度を測定する。
• 距離 d に基づいて、K のモデルに最も近い α のモデルの集合を用いて、信念理論 K を α で修正する。
• 距離 d における K に最も近い α のモデルに対応する理論として、修正操作を形式化する。
• AGM を拡張する合理性公理の集合を用いて、得られた修正族を特徴づける。特に反復的修正に焦点を当てる。
• 距離に基づく選択により、修正が最大限の整合性を保ちつつ、最小限の変更を実現することを保証する。

実験結果

リサーチクエスチョン

• RQ1 信念修正をモデル間の距離計測を用いてどのように形式化できるか。これにより、直感的で合理的な更新が保証されるか。
• RQ2 AGMフレームワークを越えて、反復的信念修正の挙動を制御するための追加の合理性公理は何か。
• RQ3 距離に基づく統一的意味論を定義し、距離を通じて広範な合理的信念修正操作の族を捉えることができるか。
• RQ4 距離に基づくアプローチは、複数の修正ステップにわたって一貫性をどのように保証するか。

主な発見

• 提案された距離意味論は、モデルの近接性に基づく自然で直感的な信念修正操作の族を定義する。
• この枠組みは、反復的修正の挙動に特に焦点を当てた、AGM公理の新たな合理性制約を拡張する。
• 距離に基づく修正操作は、元の信念集合に最も近い新しい信念のモデルを選択することで、最小限の変更を実現する。
• このアプローチは、一貫性と体系的かつ一貫性のある複数回の修正を可能にする、合理的な信念変更の形式的基盤を提供する。