論文「Comparative Expressivity for Structured Argumentation Frameworks with Uncertain Rules and Premises」の技術的概要

この論文は、不確実性を含む構造化された議論フレームワーク（Structured Argumentation Frameworks）と、抽象的な議論フレームワーク（Abstract Argumentation Frameworks）の間の**表現力（Expressivity）**を体系的に比較・評価する研究です。著者らは、不確実性を議論の構成要素（前提や推論規則）に起因させる構造化モデルと、不確実性を議論そのものや攻撃関係に起因させる抽象モデルを比較する新たな枠組みを提案し、両者の表現力の階層関係を明らかにしました。

以下に、問題設定、手法、主要な貢献、結果、そして意義について詳細をまとめます。

---

1. 問題設定

計算機論理における議論（Argumentation）には、主に 2 つのパラダイムが存在します。

1. 抽象的議論（Abstract Argumentation）: 議論をノード、攻撃をエッジとする有向グラフ（AF）でモデル化します。不確実性は「議論の存在」や「攻撃の有無」に関するものとして扱われます。
2. 構造的議論（Structured Argumentation）: ASPIC+ などの形式を用い、議論を「前提（Premises）」と「推論規則（Rules）」から構成される木構造としてモデル化します。不確実性は、これらの構成要素（特に前提や規則）の確からしさや適用可能性に起因します。

核心的な問題:
既存の研究の多くは抽象モデルに焦点を当てており、構造化モデルから抽象モデルへの変換（インスタンス化）において、構造化モデルが持つ重要な情報（依存関係など）が失われる可能性があります。
「不確実性を含む構造化モデルは、抽象的な不完全議論フレームワーク（Incomplete Argumentation Frameworks: IAFs）と比べて、どの程度の表現力を持っているのか？」という問いに対し、定量的かつ体系的な比較を行うための基準が不足していました。

2. 手法と定義

著者らは、異なる形式間の表現力を比較するための**「相対的表現力（Relative Expressivity）」**という概念を定義し、以下のステップで分析を行いました。

2.1 抽象モデルの拡張：依存関係付き不完全議論フレームワーク

単純な不完全議論フレームワーク（arg-IAF）では、不確実な議論の組み合わせを区別する粒度が不足しているため、著者らは**依存関係（Dependencies）**を導入した dep-arg-IAF を基準モデルとして採用しました。

• 依存関係の種類:
  • IMPLY(X, y): X がすべて存在すれば、y も存在する。
  • OR(X): X の少なくとも一つは存在する。
  • NAND(X): X のすべてが同時に存在することはできない。
    これにより、可能な「完了（Completion）」の集合を任意に指定できることが示されました。

2.2 構造化モデルの不確実性

ASPIC+ フレームワークにおいて、不確実性を 2 つの異なるソースから定義しました。

1. 不確実な推論規則（rul-ISAF）: 厳密規則（Strict rules）と defeasible 規則（Defeasible rules）の一部が「確定的」または「不確定的」として定義されます。
2. 不確実な前提（prem-ISAF）: 知識ベース（公理や通常の前提）の一部が「確定的」または「不確定的」として定義されます。

2.3 比較の基準

2 つの形式クラス $X$ と $Y$ について、$Y$ の任意のモデルに対して、$X$ のモデルが存在し、両者の「完了（可能な議論グラフの集合）」が同型（isomorphic）であれば、$Y \preceq X$（$X$ は $Y$ よりも少なくとも同等に表現力がある）と定義します。

3. 主要な貢献と結果

3.1 表現力の階層関係の解明

著者らは、以下の定理を通じて、各形式間の厳密な表現力の大小関係を証明しました（図 1 にまとめられています）。

1. 抽象モデル vs 構造化モデル:

   • 単純な不完全議論フレームワーク（arg-IAF）は、不確実な規則を持つ構造化モデル（rul-ISAF）および不確実な前提を持つ構造化モデル（prem-ISAF）よりも表現力が劣ります。
   • 逆に、依存関係付きの不完全議論フレームワーク（imp-arg-IAF）は、rul-ISAF および prem-ISAF よりも厳密に表現力が高いことが示されました。
   • 結論: 構造化モデルは、単純な抽象モデルよりも複雑な依存関係を表現できますが、依存関係を明示的に扱える抽象モデル（dep-arg-IAF）には及びません。

2. 規則不確実性 vs 前提不確実性:

   • 定理 9: 不確実な規則モデル（rul-ISAF）は、不確実な前提モデル（prem-ISAF）よりも厳密に表現力が高いことが示されました。
   • 定理 10: 逆に、不確実な前提モデル（prem-ISAF）は、不確実な規則モデル（rul-ISAF）よりも表現力が劣ります（ただし、特定の「整った（tidy）」クラスに制限すれば同等に表現可能であることも示されました）。
   • 直感的解釈: 規則の不確実性は、前提の不確実性よりも複雑な議論構造の生成・抑制を可能にするため、より高い表現力を持ちます。

3.2 技術的貢献

• 表現力の定義の一般化: 抽象モデルと構造化モデルの両方を扱える統一的な「相対的表現力」の定義を提示しました。
• 変換と証明: 構造化モデルから抽象モデルへの埋め込み、およびその逆方向の不可能性の証明を通じて、各形式の能力の限界を数学的に厳密に示しました。
• 依存関係の必要性: 構造化モデルの表現力を抽象モデルで完全に再現するには、単純な不完全性だけでなく、論理的な依存関係（implicative dependencies）が必要であることを示しました。

4. 結果の要約（図 1 の解釈）

論文の図 1 は、以下の表現力の階層を示しています（$\preceq$ は「以下に同等」、$\prec$ は「厳密に以下」）：

$$\text{arg-IAF} \prec \text{rul-ISAF} \prec \text{imp-arg-IAF}$$
$$\text{arg-IAF} \prec \text{prem-ISAF} \prec \text{rul-ISAF} \prec \text{imp-arg-IAF}$$

• 最下位: 単純な不完全議論フレームワーク（arg-IAF）。
• 中位: 不確実な前提モデル（prem-ISAF）と不確実な規則モデル（rul-ISAF）。前者は後者より表現力が劣ります。
• 最上位: 依存関係を含む不完全議論フレームワーク（imp-arg-IAF）。これにより、構造化モデルが持つすべての完了パターンを抽象的に表現できます。

5. 意義と今後の展望

• 理論的意義: 抽象的議論と構造的議論の関係性を「表現力」という観点から再評価し、抽象モデルが構造化モデルのどの側面を捉えきれていないか（依存関係の欠如など）を明確にしました。
• 実用的意義: 不確実性を扱う議論システムを設計する際、必要な表現力を満たすためにどの形式を採用すべきか、あるいは抽象化を行う際にどの情報が失われるかを判断する指針を提供します。
• 今後の課題: この結果を ASPIC+ 以外の構造化形式（ABA, DeLP など）に拡張すること、および実世界の問題解決への応用を検討することが今後の目標として挙げられています。

この研究は、不確実性を伴う議論の形式化において、抽象モデルと構造化モデルの橋渡しを行う重要なステップであり、両者の能力差を定量的に評価する新たな基準を確立しました。