[論文レビュー] Verifiability of Argumentation Semantics

Ringo Baumann, Thomas Linsbichler+1 more|arXiv (Cornell University)|Mar 31, 2016

Multi-Agent Systems and Negotiation参考文献 7被引用数 10

ひとこと要約

本稿では、論証意味論を計算するために必要な最小限の情報量を特定するための検証クラスの階層を導入し、標準的意味論（例：好み、安定、理想）が特定のクラスを通じて検証可能であることを示している。また、中間的意味論における強い同値性がこれらのクラスによって特徴付けられることを確立し、情報要件に基づく統一的な枠組みを提供する。

ABSTRACT

Dung's abstract argumentation theory is a widely used formalism to model conflicting information and to draw conclusions in such situations. Hereby, the knowledge is represented by so-called argumentation frameworks (AFs) and the reasoning is done via semantics extracting acceptable sets. All reasonable semantics are based on the notion of conflict-freeness which means that arguments are only jointly acceptable when they are not linked within the AF. In this paper, we study the question which information on top of conflict-free sets is needed to compute extensions of a semantics at hand. We introduce a hierarchy of so-called verification classes specifying the required amount of information. We show that well-known standard semantics are exactly verifiable through a certain such class. Our framework also gives a means to study semantics lying inbetween known semantics, thus contributing to a more abstract understanding of the different features argumentation semantics offer.

研究の動機と目的

• 衝突自由集合を超える最小限の情報量が、論証意味論を計算するために必要なものかどうかを特定すること。
• 検証クラスの階層を用いて、意味論の検証可能性に応じて分類すること。
• 情報要件に基づいて中間的意味論を比較するための枠組みを提供すること。
• 検証クラスを用いて意味論における強い同値性を特徴付け、意味論的特徴の抽象的比較を可能にすること。

提案手法

• 論証枠組みに関する情報の粒度を段階的に高める15の検証クラスの形式的階層を提案する。
• 意味論の検証可能性を、特定の検証クラスからのみの情報を使って拡張を計算できる能力として定義する。
• 意味論が自己ループの影響を受けないことを保証するための合理性の概念を導入し、階層内での分類を可能にする。
• 核に基づく特徴付け（例：stb、ad、gr）を用いて、検証クラスと強い同値性を関連付ける。
• 論理的推論と構造的変換（例：補助的議論の追加）を用いて、同値性および非同値性の結果を証明する。
• 15の検証クラスのうち、標準的意味論の分類に必要なのはわずか6つであることを示している。

実験結果

リサーチクエスチョン

• RQ1 与えられた論証意味論を計算するために、衝突自由集合を超えてどの最小限の情報が必要か？
• RQ2 検証クラスを用いて、情報要件に基づいて意味論を体系的に分類する方法は何か？
• RQ3 中間的意味論における強い同値性は、検証クラスを用いて特徴付けられるか？
• RQ4 どの検証クラスが、合理的な意味論を計算するために必要な情報を正確に捉えているか？
• RQ5 異なる意味論は、検証可能性および情報効率の観点からどのように比較できるか？

主な発見

• 好み、安定、理想、準安定、熱心といった標準的で合理的な意味論は、すべて15の検証クラスのうちの1つによって正確に検証可能である。
• 提示された標準的意味論を分類するために、15の検証クラスのうちわずか6つで十分であり、情報再利用の度合いが極めて高いことが示された。
• 好みおよび理想の意味論は、準安定や熱心といった他の意味論よりも、はっきりと少ない情報量で検証可能である。
• stb-stg中間的意味論における強い同値性は、意味論が+ -検証可能であれば、安定核によって特徴付けられる。
• ρ-ad中間的意味論（例：完全）における強い同値性は、意味論が+−-検証可能であれば、許容核によって特徴付けられる。
• 本フレームワークにより、検証に基づく定理を用いて、ナーブな拡張および強い許容集合の強い同値性を特徴付けることが可能になった。