[論文レビュー] 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

ひとこと要約

本稿では、条件付き信念の変化に着目した反復的信念縮約のための条件付き的枠組みを導入し、縮約の効果を捉える『縮約的条件文』（contractionals）に類似した条件文を用いた、新たな句法学的妥当性条件を定式化することで、反復的縮約作用素を特徴づける。主な貢献は、新しい妥当性条件、Konieczny-Pino Pérezの反復的妥当性条件、および意味論的妥当性順序の間の同値性を示す拡張された表現定理であり、信念状態のα同値性という新規な概念を導入している。

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フレームワークに類似した形で開発すること。
• 反復的縮約に対して条件付きの定式化が整備されていない現状を是正すること。これは、反復的修正においてはそのような定式化が整備済みであるのと対照的である。
• 条件付き信念の役割を強調する、簡潔な句法学的妥当性条件の新規な集合を反復的縮約のために導入すること。
• 信念状態間のα同値性を定義し、信念変化における不変性を分析するための道具として用いること。
• 新規な妥当性条件、Konieczny-Pino Pérezの反復的妥当性条件、および意味論的妥当性順序がすべて同じ縮約作用素のクラスを特徴づけることを示す拡張された表現定理を証明すること。

提案手法

• 特に『縮約的条件文』（contractionals）に注目し、条件付き信念の変化に基づいて、反復的縮約のための新たな句法学的妥当性条件（C8cond から C11cond）を提案する。縮約的条件文は、縮約の効果を捉える条件文に相当する。
• 命題αに関して、信念状態間の同値関係としてのα同値性を導入し、縮約における不変性の分析を可能にする。
• 信念状態から可能な世界の全順序への忠実な割り当てを用いて、妥当性条件の意味論的基盤を提供する。
• α同値性と縮約的条件文の受容との関係を確立し、α同値性が特定の条件文の真偽を保存することを示す。
• 新規な妥当性条件（C8cond から C11cond）と元の妥当性条件（IC8 から IC11）が、同じ縮約作用素のクラスを特徴づけることを示す表現定理を証明する。
• 新規な妥当性条件は、論理和による信念変化に依存するのを減らし、条件構造に焦点を当てるため、従来の定式化よりも簡潔であることを示す。

実験結果

リサーチクエスチョン

• RQ1 反復的信念縮約は、反復的修正が条件文によって特徴づけられるのと同様に、条件付き信念を用いてどのように特徴づけられるか？
• RQ2 『縮約的条件文』と呼ばれる特定の条件文が、反復的縮約のダイナミクスを捉える上で果たす役割は何か？
• RQ3 信念状態間のα同値性は、縮約過程における条件付き信念の保存とどのように関係するか？
• RQ4 意味論的に正しく、かつ従来の定式化よりも簡潔である反復的縮約のための新たな句法学的妥当性条件の集合を構築できるか？
• RQ5 新規な条件付きベースの妥当性条件と、KoniecznyとPino Pérezが提唱した既存の妥当性条件を同値に結ぶ表現定理が存在するか？

主な発見

• 新規な妥当性条件（C8cond から C11cond）は、反復的縮約に条件付きの観点を導入し、反復的修正のDarwiche-Pearlフレームワークに類似した枠組みを提供する。
• 本稿では、拡張された表現定理を確立し、新規な妥当性条件（C8cond から C11cond）、元の妥当性条件（IC8 から IC11）、および意味論的妥当性順序が、すべて同じ縮約作用素のクラスを特徴づけることを示した。
• α同値性は、信念変化における不変性の分析に有用なツールであることが示され、特に縮約的条件文の受容に関連して有効である。
• 新規な妥当性条件は、従来の定式化よりも簡潔である。論理和による信念変化に依存するのを避け、条件構造に焦点を当てる。
• 縮約的条件文は、縮約行動と正式に結びつけられ、α同値性の下でもその受容が保存されることを示し、それらの使用に意味論的根拠を与えた。
• 結果として、修正における条件文と信念変化の関係が、既に整備済みであるのと同様に、新規な条件付きフレームワークを用いることで、縮約に対しても拡張可能であることが示された。