[論文レビュー] Linking Makinson and Kraus-Lehmann- Magidor preferential entailments.

Yves Moinard|arXiv (Cornell University)|Jan 1, 2002

Advanced Algebra and Logic被引用数 1

ひとこと要約

この論文は、含意が両側で論理的同値性を尊重するという条件下で、MakinsonのとKraus-Lehmann-Magidorの優先的含意枠組みの等価性を確立する。この等価性の特徴付けを単純化し、モデルの単純さを保ちながら、より広範な優先的含意設定へと結果を拡張する。

ABSTRACT

About ten years ago, various notions of preferential entailment have been introduced. The main reference is a paper by Kraus, Lehmann and Magidor (KLM), one of the main competitor being a more general version defined by Makinson (MAK). These two versions have already been compared, but it is time to revisit these comparisons. Here are our three main results: (1) These two notions are equivalent, provided that we restrict our attention, as done in KLM, to the cases where the entailment respects logical equivalence (on the left and on the right). (2) A serious simplification of the description of the fundamental cases in which MAK is equivalent to KLM, including a natural passage in both ways. (3) The two previous results are given for preferential entailments more general than considered in some of the original texts, but they apply also to the original definitions and, for this particular case also, the models can be simplified.

研究の動機と目的

• Makinsonの優先的含意枠組みとKraus-Lehmann-Magidorの優先的含意枠組みをより一般的な設定で再表現・比較すること。
• 2つの含意システムが等価となる条件を明確化すること。
• Makinsonの含意がKLMのものと一致する場合の特徴付けを単純化し、双方向の翻訳を可能にすること。
• 元の定義を超えて等価性の結果を拡張することにより、モデルの単純さを維持すること。

提案手法

• 論理的同値性の保存を重要な制約として、優先的含意システムを形式的に比較する。
• 含意を、含意文の左辺および右辺の両側で論理的同値性を尊重する場合に限定する。
• MakinsonとKLMの含意条件の間で自然で双方向の翻訳を導出する。
• 元の定義を超えて、より広範な優先的構造を含む含意枠組みへと一般化する。
• 等価性の結果を活用して、含意システムのモデルを単純化する。

実験結果

リサーチクエスチョン

• RQ1 Makinsonの優先的含意枠組みとKLMの優先的含意枠組みが等価となる条件は何か？
• RQ2 2つのシステムの等価性は、より単純かつ自然な形でどのように特徴付けられるか？
• RQ3 等価性は、元の定義を超えたより一般的な優先的含意枠組みへと拡張可能か？
• RQ4 等価性が成立する際、これらの含意システムのモデルで達成可能な構造的単純化は何か？

主な発見

• 含意が前提部および結論部の両側で論理的同値性を尊重する場合、Makinsonの優先的含意枠組みとKLMの優先的含意枠組みは等価である。
• 2つの含意システム間で自然で可逆な翻訳が確立され、それらの比較が単純化される。
• 等価性は元の定義に限らず、より一般的な優先的含意枠組みに対しても成り立つ。
• 等価性の条件下では、両方の含意システムのモデルを単純化でき、正しさを保ちつつ複雑さを低減できる。