Defeasible Conditional Obligation in a Two-tiered Preference-based Semantics (Extended Version)

Xavier Parent による論文「Defeasible Conditional Obligation in a Two-tiered Preference-based Semantics（二層の選好に基づく意味論における可破的仮定義務）」の詳細な技術的要約を以下に示す。

1. 問題提起

本論文は、義務論理における根本的な緊張関係、すなわち、世界順序付けを通じて義務をモデル化する選好ベースのシステムと、明示的な規則と非単調推論を通じて義務をモデル化する規範ベースのシステムとの間の緊張関係に取り組んでいる。

• 核心的な課題: 選好ベースのシステム（Hansson、Lewis など）は、**義務違反の状況（Contrary-to-Duty: CTD）における推論の処理には優れているが、単調性という欠点を持つ。一度導出された義務は、新しい情報によって撤回できない。これにより強化問題（Strengthening Problem）**が生じる。「指で食べてはならない」という義務（$\bigcirc \neg f$）と、「アスパラガスが出された場合は指で食べるべきである」という義務（$\bigcirc (f|a)$）の両方が存在する場合、標準的な選好意味論は、「アスパラガスが出されてはならない」という結論（$\bigcirc \neg a$）を強いることになる。
• 禁止された例外の誤謬: この帰結は、例外（アスパラガス）をグローバルな禁止事項として扱うものであり、直観に反する。例外は特定の文脈においてのみ一般規則を覆すべきであり、例外そのものの存在を否定してはならない。
• 沈没効果（The Drowning Effect）: 多くの非単調アプローチにおいて、一般義務が覆されると、それは「沈没（完全に消滅）」し、特定の文脈において一般規則が違反されたかどうかを確認することが不可能になる。
• Horty の批判: John Horty は、選好ベースのシステムは、論理の崩壊なしに「理想的な世界（義務が満たされている世界）」と「通常の世界（例外が発生する世界）」を区別できないため、可破的規範推論を適切にモデル化できないと論じた。

2. 方法論：二層フレームワーク

Parent は、非単調推論メカニズムを二項義務論理の選好ベースの意味論に統合する二重選好、二層の意味論的フレームワークを提案する。

A. 二つの異なる順序付け

このフレームワークは、可能世界（$W$）上の二つの独立した順序付けを採用する。

1. 通常性順序付け（$\leq_N$）: 「通常、A ならば B」といった通常性条件文への適合度に基づいて世界をランク付けする。
   • 手法: Lehmann の研究に基づく**LEX（辞書式順序付け）**を使用する。
   • メカニズム: 世界は違反された条件文の数によってランク付けされ、特異性が優先される。特定の規則を違反する世界は、一般的な規則を違反する世界よりも低いランク付けとなる。これにより、特定違反と一般違反を同等に扱う「f-DIS（フラット距離ベース）」の誤りを防ぐ。
2. 理想性順序付け（$\leq_I$）: 「A ならば、B すべきである」といった仮定義務への適合度に基づいて世界をランク付けする。
   • 手法: Delgrande の方法であるDELを使用する。
   • メカニズム: 世界は、違反された義務の数が少ないほど「良い」とされる。重要なのは、より特異な覆す義務がトリガーされ、遵守された場合、その義務は違反されたとはみなされない点である。これにより「沈没」問題が解決される。

B. 真理条件

この論理は、通常性条件文（$\triangleright$）と仮定義務（$\bigcirc$）を導入する。

• 通常性（$A \triangleright B$）: 最も通常の A-世界がすべて B-世界である場合に真となる。
• 仮定義務（$\bigcirc(B|A)$）: 最も通常の $A \land B$-世界の集合が、最も通常の $A \land \neg B$-世界の集合よりも（$\leq_I$ において）厳密に「良い」場合に真となる。
  • 主要な革新: 義務の評価を最も通常の世界に制限することで、このフレームワークは、一般義務を評価する際に「異常な」シナリオ（アスパラガスが出されることなど）をフィルタリングする。これにより、一般義務が例外によって「沈没」することを防ぐ。

C. 非単調層

帰結関係（$\vdash$）は、理論 $\Delta = (\Gamma, R)$ 上で定義され、ここで $R$ には通常性条件文と義務が含まれる。

• 可破性: 新しい情報（例：「アスパラガスが出された」）は「最も通常の」世界の集合を変化させ、それによってどの義務が成立するかを変更する。
• 公理: このシステムは、主要な非単調公理を満たす。
  • 包含性: 明示的な条件文は（矛盾しない限り）帰結される。
  • 可破的前件強化（SA）: 特定の覆し要因（defeater）が $C$ によってトリガーされない限り、$\bigcirc(B|A)$ から $\bigcirc(B|A \land C)$ を推論することを許容する。
  • 非沈没（No-Drowning）: 覆された義務が消滅しないことを保証する。それらは特定の文脈における遵守チェックのために有効であり続ける。

3. 主要な貢献

1. 禁止された例外の誤謬の解決: 通常性と理想性を分離することで、このフレームワークは「アスパラガスが出され、指が使われている」世界を、一般規則に違反する点でより非理想的ではあるが、特定規則を満たす点で通常的であるとして扱える。これにより、「アスパラガスが出されてはならない」という結論を回避する。
2. 沈没効果の排除: このフレームワークは、特定の義務が一般義務を覆す際、一般義務が抹消されないことを保証する。それは、違反が発生したかどうかを判断するなど、規範的遵守チェックのために適用可能であり続ける。
3. 制約付き I/O 論理への忠実な埋め込み: 著者は、この選好ベースのシステムの義務論的部分が、規範ベースのシステムである制約付き入力/出力（I/O）論理に忠実に埋め込み可能であることを証明した。
   • これにより、モデル論的（選好ベース）アプローチと操作的（規範ベース）アプローチの間の溝が埋められる。
   • この埋め込みは、仮定義務を、その本体にすべての覆し要因（より特異な義務）の否定を含む I/O 対にマッピングする。
4. 複雑性分析: この埋め込みは、このシステムにおける帰結が、デフォルト論理における懐疑的推論と同等の $\Pi^P_2$ 複雑性上限を持つことを示唆しており、単調基底の co-NP 複雑性よりも高い。

4. 結果

• 理論的検証: 本論文は、通常性順序付けの滑らかさ、非単調公理（包含性、非沈没）の有効性、および制約付き I/O 論理への埋め込みの忠実性に関する形式的証明（付録内）を提供する。
• ケーススタディ（アスパラガスの例）: このフレームワークは、以下を成功裏に導出する。
  • $\bigcirc(\neg f | \text{asparagus})$ は偽（例外が覆すため）。
  • $\bigcirc(n | \text{asparagus})$ は真（ナプキンを使うという一般規則が維持されるため）。
  • $\bigcirc(\neg a)$ は偽（アスパラガスが出されないことが義務ではないため）。
  • $\bigcirc(\neg f)$ は真（通常の文脈では一般規則が成立するため）。

5. 意義

• 統合: この研究は、義務論理における二つの支配的なパラダイム、すなわち CTD に優れた選好ベースの意味論と、可破性に優れた規範ベースの意味論の統合に向けた重要な一歩を表している。
• 実用的応用: 「沈没」および「禁止された例外」の問題を解決することで、このフレームワークは、違反と例外を区別することが不可欠な、法的推論や遵守チェックなどの現実世界の規範推論タスクにより適している。
• 基礎的影響: これは、可破的仮定義務のモデル化における新たな基準を確立し、以前は欠けていた制約付き I/O 論理に対するモデル論的視点を提供する。

要約すると、Parent の論文は、例外や矛盾する規範を論理的崩壊なしに処理するために必要な非単調機構を取り入れつつ、選好ベースの論理の直観的な強みを保持する堅牢な意味論的フレームワークを成功裡に構築している。