[論文レビュー] Extension-based Semantics of Abstract Dialectical Frameworks

Sylwia Polberg|ORCA Online Research @Cardiff (Cardiff University)|May 2, 2014

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

ひとこと要約

本稿は、支持サイクルの問題に取り組むために、抽象的弁護フレームワーク（ADFs）の拡張に基づく新しい意味論の族を導入する。支持サイクルを排除するための新規な非巡回性制約メカニズムを採用し、内部・外部の推論に基づく意味論の分類を確立する。Dungの基本補題のADFsへの適応を証明し、拡張に基づく意味論とラベリングに基づく意味論の対応関係を明確にする。その結果、ADFsでは三値解釈の豊かさにより、完全な同等性は成立しないことが示された。

ABSTRACT

One of the most prominent tools for abstract argumentation is the Dung's framework, AF for short. It is accompanied by a variety of semantics including grounded, complete, preferred and stable. Although powerful, AFs have their shortcomings, which led to development of numerous enrichments. Among the most general ones are the abstract dialectical frameworks, also known as the ADFs. They make use of the so-called acceptance conditions to represent arbitrary relations. This level of abstraction brings not only new challenges, but also requires addressing existing problems in the field. One of the most controversial issues, recognized not only in argumentation, concerns the support cycles. In this paper we introduce a new method to ensure acyclicity of the chosen arguments and present a family of extension-based semantics built on it. We also continue our research on the semantics that permit cycles and fill in the gaps from the previous works. Moreover, we provide ADF versions of the properties known from the Dung setting. Finally, we also introduce a classification of the developed sub-semantics and relate them to the existing labeling-based approaches.

研究の動機と目的

• 既存の拡張に基づく意味論で未解決のまま残っている、抽象的弁護フレームワーク（ADFs）における支持サイクルの問題を解決すること。
• 支持サイクルのない議論の受容を保証するとともに、合理的基準を維持する新しい拡張に基づく意味論の族を開発すること。
• 内部（エージェントが主張できる内容）と外部（相手が主張できる内容）の視点に基づく『内部・外部』対話的視点から、意味論を分類すること。
• ADFsにおける拡張に基づく意味論とラベリングに基づく意味論の間のギャップを埋めること。Dungの枠組みでは、これらには完全な対応関係がない。
• Dungの枠組みの主要な性質（例：基本補題）をADFsに適応し、その妥当性を新しい意味論で検証すること。

提案手法

• 支持サイクルを排除するための拡張における新しい非巡回性条件を提案し、議論の合理的受容を保証する。
• 攻撃者の集合を制限するか（外部視点）、内部的合理性に注目するか（内部視点）に基づいて、意味論のサブクラスを分類する。
• 三値解釈とその最大の二値部分解釈に基づき、cc-、aa-、u-完全化という新しい拡張に基づく意味論を定義する。
• 特許的条件の下で、特性作用素が意味論を保存することを示すことで、Dungの基本補題をADFsに適応する。
• 三値解釈における意思決定性の概念を用いて、拡張に基づく完全意味論と優位意味論を定義する。
• 拡張に基づく意味論と既存のラベリングに基づく意味論を比較し、部分的な対応関係を示し、優位意味論における非対応の事例を同定する。

実験結果

リサーチクエスチョン

• RQ1 ADFsの拡張に基づく意味論において、支持サイクルを効果的に排除しつつ、合理的な議論の受容を保てるか。
• RQ2 ADFsにおける拡張に基づく意味論とラベリングに基づく意味論の関係は何か。どのような状況で対応関係が成立しないのか。
• RQ3 内部・外部対話的視点を形式化することで、合理的性と攻撃者制限に基づくADFsの意味論を分類できるか。
• RQ4 Dungの枠組みにおける性質（例：基本補題）をADFsに適応できるか。どのような条件下で成立するのか。
• RQ5 非巡回性と攻撃者集合の制限に基づいて、ADFsの意味論を体系的に分類できるか。

主な発見

• 本稿は、ADFsにおけるグランドエクステンションとグランドラベリングが完全に対応することを確立し、Dungの結果を一般化した。
• cc–完全およびaa–完全拡張は、それらのu–完全化を通じて完全ラベリングに対応し、完全性の性質を保ったままである。
• 優位意味論においては、完全な対応関係は成立しない：ラベリングに対応するものがない優位拡張が存在し、逆にそれらに対応する拡張がないラベリングも存在する。
• Dungの基本補題がADFsに適応され、特性作用素が新しい定義のもとで意味論を保存することが示された。
• 新しい意味論は、内部（エージェントの合理的性）と外部（攻撃者の正当性）の推論を区別し、意味論のサブクラスを洗練された形で分類可能にした。
• ラベリングに基づく許容性および完全性が、拡張に基づくそれらよりも一般性が高く、より洗練された合理的行動を表現可能であることが示された。