Towards Non-Monotonic Entailment in Propositional Defeasible Standpoint Logic

技術的要約：命題的敗北可能スタンドポイント論理における非単調含意に向けて

問題提起
敗北可能推論（defeasible reasoning）における近年の進展により、優先的意味論（preferential semantics）とKLM型の含意が、様相論理、具体的には命題的敗北可能スタンドポイント論理（PDSL）に適用されることに成功している。PDSLは、|_{~~|}_e \alpha（「スタンドポイント $e$ の最も典型的な理解において $\alpha$ が成立する」ことを意味する）のような様相を用いて、単一の枠組みの中で対立する視点や典型的な信念を表現することを可能にする。しかし、この領域における既存の研究は、主に充足可能性判定とタルスキ的（単調的）含意 ($\models_P$) に焦点を当ててきた。

著者らは、現在の単調的なアプローチにおける決定的な推論上の弱点を指摘している。$\models_P$ の下では、知識ベースが直感的な非単調推論をサポートできないことが多い。例えば、あるスタンドポイント $P$ が典型的に $\alpha$ を信じており、$\alpha$ が敗北可能に $\beta$ を含意する場合、単調的な枠組みでは「$P$ は典型的に $\beta$ を信じている」と結論付けることができない。同様に、サブ・スタンドポイント（例：工学）は、たとえ特定の衝突が存在しない場合であっても、スーパー・スタンドポイント（例：物理学）から典型的な信念を継承することができない（サブ・スタンドポイントが典型的な信念を継承できないのは、衝突の可能性がある限りである）。これは、継承と典型性が期待されるプロトタイプ的推論におけるPDSLの有用性を制限している。

手法
これらの制限に対処するため、本論文は、伝統的な命題的KLM推論からPDSLの断片へと、非単調な合理的含意関係をリフトアップすることを提案している。その手法は、以下の4つの主要な段階で構成される：

1. 状況設定された条件文による表現力の拡張：
   著者らは、「スタンドポイント $e$ 内において、$\alpha$ への信念は通常 $\beta$ への信念を意味する」と読める $\alpha \rightsquigarrow_e \beta$ という形式の「状況設定されたスタンドポイント条件文（situated standpoint conditionals）」を導入している。この構成要素により、敗北可能な含意をグローバルなものではなく、特定のスタンドポイントのコンテキスト内に特異的に位置づけることが可能になる。著者らは、この新しい構文が、標準的な敗北可能様相や含意を、これらの状況設定された条件文と普遍的スタンドポイント様相 ($\square_*$) で置き換えることで、PDSL言語全体を再特徴化するのに十分な表現力を持つことを示している。

2. 命題的KLMへの翻訳：
   本論文は、正の敗北可能条件文 ($\alpha \rightsquigarrow_e \beta$) とスタンドポイントの先鋭化 ($e \lesssim d$) からなる、 $Cond(\tilde{\mathcal{L}}_S)$ と呼ばれる特定のPDSL断片を定義している。伝統的な命題的KLM条件知識ベースへの翻訳関数 $T$ が定義されている。

• スタンドポイントの式は、命題的原子またはそれらのブール結合へと翻訳される。
• 条件文 $\alpha \rightsquigarrow_e \beta$ は $(\alpha \land t(e)) \mid\sim \beta$ へと翻訳される。
• スタンドポイントの先鋭化 $e \lesssim d$ は $t(e) \mid\sim t(d)$ へと翻訳される。
  決定的なのは、著者らがこの翻訳が忠実（faithful）であることを証明している点である。すなわち、PDSL知識ベースが充足可能であることは、その命題的翻訳が充足可能であることと同値であり、モデルの充足性も翻訳の下で保存される（$M \models \varphi \iff T(M) \models T(\varphi)$）。

3. 含意関係のリフトアップ：
   この翻訳 $T$ を用いて、命題的なケースからの合理的敗北可能含意関係をPDSLのケースへとリフトアップする。与えられたランキング戦略 $r$（知識ベースにランキング関数を割り当てるもの）に対し、PDSLにおける含意関係 $| \approx_r$ は、$\mathcal{K} | \approx_r \varphi$ であるとは、命題的ランク付きモデル $r(T(\mathcal{K}))$ の前像が $\varphi$ を満たすことであると定義される。
   このアプローチにより、既存の命題的アルゴリズム（DefeasibleEntail など）を使用して、PDSLにおける含意判定を行うことが可能になる。

4. 具体的なインスタンス化：
   この枠組みは、2つのよく知られた合理的推論システムに適用される：

• 合理的閉包（Rational Closure）： 最小のランキング関数によって定義される。本論文は、PDSLにおける合理的閉包が、単調的含意の推論上の弱点を回避し、直接的な衝突がない場合には典型的な信念の継承を可能にすることを示している。
• レキシコグラフィック閉包（Lexicographic Closure）： 「溺れの問題（drowning problem）」（ある属性における例外が、無関係な典型的信念の継承を阻止してしまう現象）を解決するために導入された。著者らは、レキシコグラフィック閉包がPDSLにおいて、無関係な信念を区別することに成功し、サブ・スタンドポイントが特定の例外に関与していない典型的な信念を継承できることを実証している。

主な結果

• 表現力： 状況設定された条件文の導入により、命題的条件文と類似した構造を用いてPDSLの全構文を表現することが可能となり、KLM論理への翻訳が容易になった。
• 推論の強さ： 提案された非単調含意 ($| \approx_r$) は、従来の単調的含意 ($\models_P$) よりも厳密に強い。これは、サブ・スタンドポイントによる典型的信念の継承や、典型的信念からの帰結の導出をサポートすることに成功しており、$\models_P$ が失敗した部分を補完している。
• 複雑性の保存： 提案されたPDSL断片における含意判定の複雑性は、命題的なケースと同一である。
  • 合理的閉包の判定は $P^{NP}_{||}$-完全である。
  • レキシコグラフィック閉包の判定は $P^{NP}$-完全である。
    これは、翻訳 $T$ が線形であり、基礎となる命題的アルゴリズムを直接使用できるためである。
• ダイヤモンド様相の扱い： 非単調フレームワーク内でダイヤモンド様相 ($\Diamond_e \alpha$) を扱うために、「失敗としての否定（negation as failure）」演算子 (not) を導入している。これにより、可能性に関する「勇敢な推論（brave reasoning）」が可能になる。すなわち、ある可能性が知識ベースによって排除されていない場合、それは含意されているとみなされる。

意義と主張
本論文は、スタンドポイント論理に非単調推論を統合するための体系的な方法を提供し、従来の単調的なアプローチにおける「推論の弱さ」に対処していることを主張している。PDSLの断片と命題的KLM論理との間の忠実な翻訳を確立することにより、著者らは、確立された合理的含意システム（合理的閉包およびレキシコグラフィック閉包）を多角的推論に直接適用することを可能にした。

その意義は以下の点にある：

1. 推論上の弱さの解決： サブ・スタンドポイントが典型的信念を継承し、敗北可能な含意が特定の視点内で伝播することを可能にすることで、PDSLにプロトタイプ的推論を行わせる。
2. 溺れの問題の解決： レキシコグラフィック閉包をPDSLに適用することで、無関係な例外が典型的信念の継承をブロックすることを防ぐ。
3. 計算効率： これらの高度な非単調推論が、計算複雑性のクラスを増大させることなく、既存の命題的アルゴリズムを用いて計算できることを証明する。

著者らは、本研究がスタンドポイント論理の表現力と、KLM型の敗北可能推論の堅牢な推論能力との間の溝を埋め、対立する視点や典型的な視点を用いて推論するための実用的な枠組みを提供するものであると結論付けている。