[論文レビュー] Compact Argumentation Frameworks

Ringo Baumann, Wolfgang Dvořák+3 more|arXiv (Cornell University)|Apr 30, 2014

Multi-Agent Systems and Negotiation参考文献 16被引用数 19

ひとこと要約

本稿は、与えられた意味論においてすべての議論が少なくとも1つの拡張に現れるような、コンパクトな帰納的枠組み（AF）を導入する。これは公平性と最小性を保証する。検証の計算複雑性が、ステージ、準安定、および好みの意味論においてもcoNP-hardのままであることが示され、AFが同等のコンパクト形式に変換可能かどうかの条件が提示され、明示的対立の重要性が強調される。

ABSTRACT

Abstract argumentation frameworks (AFs) are one of the most studied formalisms in AI. In this work, we introduce a certain subclass of AFs which we call compact. Given an extension-based semantics, the corresponding compact AFs are characterized by the feature that each argument of the AF occurs in at least one extension. This not only guarantees a certain notion of fairness; compact AFs are thus also minimal in the sense that no argument can be removed without changing the outcome. We address the following questions in the paper: (1) How are the classes of compact AFs related for different semantics? (2) Under which circumstances can AFs be transformed into equivalent compact ones? (3) Finally, we show that compact AFs are indeed a non-trivial subclass, since the verification problem remains coNP-hard for certain semantics.

研究の動機と目的

• ナイト、安定、ステージ、準安定、および好みの意味論といった代表的な意味論におけるコンパクトな帰納的枠組み（AF）の定義と特徴付けを行う。
• 異なる意味論におけるコンパクトAFクラスの関係を調査する。
• 任意のAFが、その拡張の結果を変えずに同等のコンパクトAFに変換可能かどうかを特定する。
• コンパクトAFにおける拡張検証の計算複雑性を分析する。
• 暗黙の対立の役割と、明示的対立の仮説によるそれらの明示化の可能性を検討する。

提案手法

• 与えられた意味論σにおいて、すべての議論が少なくとも1つの拡張に現れるAFをコンパクトAFと定義する。
• 拡張に基づく意味論を用いて、ナイト、安定、ステージ、準安定、および好みの意味論におけるコンパクト性を比較する。
• 最大の拡張数に関する結果を応用し、コンパクト実現可能性の不可能性条件を導出する。
• 明示的対立が欠落している例を構築し、コンパクトで対立を明示的なAFを実現するためには、攻撃の方向を変更する必要があることを示す。
• 明示的対立の仮説を提唱：AF内のすべての暗黙の対立を、拡張の集合を変えずに攻撃の追加によって明示的にできる。
• シグネチャ解析を用いて、安定意味論におけるコンパクトAFによって実現可能な拡張集合の特徴を付与する。

実験結果

リサーチクエスチョン

• RQ1 安定、ステージ、準安定、および好みの意味論といった異なる意味論において、コンパクトAFのクラスどうしの関係はいかなるものか？
• RQ2 与えられたAFが、ある意味論において同等のコンパクトAFに変換可能となる条件は何か？
• RQ3 特にステージ、準安定、および好みの意味論において、拡張の検証問題は、コンパクトAFにおいても依然として計算的に難しいか？
• RQ4 AF内のすべての暗黙の対立を、拡張の集合を変えずに攻撃の修正によって明示的にできるか？
• RQ5 ある拡張集合がコンパクトAFによって実現可能となる必要十分条件は何か？

主な発見

• コンパクトAFは、拡張集合を変更せずに議論を削除できないという意味で最小的であり、議論の最小性と公平性を保証する。
• ステージ、準安定、および好みの意味論においても、検証問題は依然としてcoNP-hardのままである。
• 安定意味論においては、明示的対立の仮説を仮定すれば、コンパクトに実現可能な拡張集合の完全な特徴付けが可能である。
• F₁のようなAFは、対立自由性と攻撃の対称性に関する構造的制約のため、安定意味論において同等のコンパクトAFに変換できない。
• コンパクトAFの構築には、欠落している攻撃を追加するだけでなく、既存の攻撃の方向を反転させる必要がある場合がある。
• 明示的対立の仮説が真であれば、安定意味論におけるコンパクト実現可能性の完全な特徴付けが得られ、暗黙の対立を推論する必要がなくなるため、AFソルバーの効率が著しく向上する。