[論文レビュー] Defeasible Modalities

Katarina Britz, Ivan Varzinczak|arXiv (Cornell University)|Oct 23, 2013

Logic, Reasoning, and Knowledge参考文献 41被引用数 22

ひとこと要約

本稿は、可能世界の優先順序を追加したKripkeモデルを用いて、義務、知識、行動などの撤回可能なモダリティを形式化できる優先的意味論を導入する。本稿では、これらの撤回可能なモダリティを扱う健全かつ完全なテーブルックスカルキュラスを提示し、モダリティ的文脈における非単調的推論の体系的枠組みを提供する。

ABSTRACT

Nonmonotonic logics are usually characterized by the presence of some notion of 'conditional' that fails monotonicity. Research on nonmonotonic logics is therefore largely concerned with the defeasibility of argument forms and the associated normality (or abnormality) of its constituents. In contrast, defeasible modes of inference aim to formalize the defeasible aspects of modal notions such as actions, obligations and knowledge. In this work we enrich the standard possible worlds semantics with a preference ordering on worlds in Kripke models. The resulting family of modal logics allow for the elegant expression of defeasible modalities. We also propose a tableau calculus which is sound and complete with respect to our preferential semantics.

研究の動機と目的

• モダリスティック論理フレームワーク内に義務、知識、行動などの撤回可能なモダリティを形式化すること。
• 結論がより強い情報によって覆される可能性がある文脈において、標準的モダリスティック論理が撤回可能な推論を捉えるのを制限する点を解決すること。
• 可能世界に対する優先順序をKripke意味論に拡張し、モダリスティック概念における撤回可能性をモデル化すること。
• 提案された優先的モダリスティック論理を扱う健全かつ完全なテーブルックスカルキュラスを開発すること。
• 特に規範、能動性、認識的推論を含む応用分野において、モダリスティック文脈における非単調的推論の形式的基盤を提供すること。

提案手法

• 可能世界に対する優先順序を標準的Kripkeモデルに追加し、世界の相対的正規性または優先度を表現する。
• 優先順序に基づいて撤回可能なモダリティを定義する：ある論理式が世界で「撤回可能に真」とされるのは、その論理式が関連する最も優先度の高い世界で成立する場合である。
• 最も正常または優先度の高い世界で成立するもののみを結論として導く「撤回可能な帰結」の概念を導入する。
• 優先度に基づく推論を組み込んだテーブルックスカルキュラスを設計し、ノードの展開ルールにモダリスティック制約と優先度制約を組み込む。
• 健全性と完全性を保証するため、論理におけるすべての妥当な推論がテーブルックスカルキュラスによって導出可能であることを証明する。
• テーブルックスカルキュラスを用いて、撤回可能なモダリスティック論理式の整合性と妥当性を検査し、非単調的モダリスティック文脈における自動推論を支援する。

実験結果

リサーチクエスチョン

• RQ1 義務や知識といった撤回可能なモダリティを、モダリスティック論理フレームワーク内でどのように形式的に捉えることができるか？
• RQ2 結論がより強い情報やより優先度の高い情報によって覆される可能性がある場合に、モダリスティック文の撤回可能性を適切にモデル化できる意味論は何か？
• RQ3 可能世界に対する優先順序をKripke意味論に統合し、モダリスティック論理における撤回可能な推論を支援するにはどうすればよいか？
• RQ4 提案された優先的意味論における撤回可能なモダリティを扱う健全かつ完全な証明計算体系とは何か？
• RQ5 提案された枠組みは、論理的整合性と計算的実行可能性を保ちながら、モダリスティック文脈における非単調的推論をサポートできるか？

主な発見

• 提案された優先的意味論は、世界の優先順序を活用することで、モダリスティック推論における撤回可能性を効果的に捉えている。
• 提示されたテーブルックスカルキュラスは、優先的意味論に関して健全かつ完全であり、すべての妥当な推論が導出可能であることを保証している。
• 拡張されたKripkeモデルを用いることで、撤回可能なモダリティを形式的に表現・推論可能であり、モダリスティック文脈における例外や上書きのモデル化が可能である。
• この枠組みは、特に規範、行動、認識状態を含む分野において、モダリスティック論理における非単調的推論をサポートする。
• 優先順序の統合により、普遍的に成立しないが通常の状況下では成立するモダリスティック文のより洗練された取り扱いが可能になる。
• このアプローチは、自動推論のための基盤を提供し、テーブルックスカルキュラスが実用的な推論メカニズムとして機能する。