[論文レビュー] Weighted Abstract Dialectical Frameworks: Extended and Revised Report

Gerhard Brewka, Jörg Pührer+3 more|arXiv (Cornell University)|Jun 20, 2018

Multi-Agent Systems and Negotiation参考文献 17被引用数 3

ひとこと要約

本稿は、抽象的弁護フレームワーク（ADFs）を拡張し、議論の重み付き受容度を導入することで、標準的なADFsの意味論—基礎的、好ましい、安定的—を任意の価値構造を用いた多値設定に一般化する。主な貢献は、従来の研究における制限を克服する修正済みの完成定義を提示することであり、非平坦な情報順序においても頑健な意味論を可能にし、単位区間を超える柔軟な、応用固有の価値体系をサポートする。

ABSTRACT

Abstract Dialectical Frameworks (ADFs) generalize Dung's argumentation frameworks allowing various relationships among arguments to be expressed in a systematic way. We further generalize ADFs so as to accommodate arbitrary acceptance degrees for the arguments. This makes ADFs applicable in domains where both the initial status of arguments and their relationship are only insufficiently specified by Boolean functions. We define all standard ADF semantics for the weighted case, including grounded, preferred and stable semantics. We illustrate our approach using acceptance degrees from the unit interval and show how other valuation structures can be integrated. In each case it is sufficient to specify how the generalized acceptance conditions are represented by formulas, and to specify the information ordering underlying the characteristic ADF operator. We also present complexity results for problems related to weighted ADFs.

研究の動機と目的

• 議論の非ブール的かつ重み付き受容度を扱えるように、標準的なADFsの意味論（基礎的、好ましい、安定的）を一般化すること。
• 元のAAAI 2018論文における深刻な欠陥を是正すること。具体的には、完成定義が平坦な情報順序にしか成立しなかった点である。
• 単位区間を超える任意の価値構造をサポートする一般的な枠組みを提供すること。これは、応用固有のニーズに適合可能である。
• 方程式的手法が解を生じない場合であっても、意味論が明確に定義され、計算的に意味を持つことを保証すること。
• カスタマイズ可能な情報順序の選択により、意味論を微調整可能とし、従来の手法よりも高い表現力を持つこと。

提案手法

• 任意の情報順序に適用可能な、完成の新しい定義（定義3.5）を導入。平坦な順序に限定されない。
• 一般化された部分解釈（gpis）を用いることで、特徴的ADFs作用素を一般化。ここで各原子には空でない複数の可能な値の集合が割り当てられる。
• 親の議論に関する命題論理式として受容条件を表現。各gpiのすべての完成において値を評価する。
• 一般化された価値空間上で固定点作用素に基づく意味論（基礎的、好ましい、安定的）を定義。標準ADFsの作用素ベースのアプローチを保持する。
• 価値構造を指定するには、受容条件の論理式と情報順序のみを必要とし、任意の価値構造をサポートする。
• 近似固定点理論（AFT）を基盤としながらも、AFTに依存しない形でフレームワークを提示することで、アクセスのしやすさを確保する。

実験結果

リサーチクエスチョン

• RQ1 ADFsの意味論を、議論の非ブール的かつ重み付き受容度を扱えるように一般化するにはどうすればよいか？
• RQ2 平坦でない情報順序においても意味論の正しさを保証するための、完成の正しい定義とは何か？
• RQ3 標準ADFsの意味論を、衝突なしや許容性といった重要な性質を保持したまま、多値フレームワークに意味的に拡張できるか？
• RQ4 単位区間以外の価値構造を、原理的かつ柔軟にADFsの意味論に統合するにはどうすればよいか？
• RQ5 方程式的手法が失敗する状況はどのようなものか？ そして、提案されたフレームワークはそのような状況でも意味のある結果を導けるか？

主な発見

• 修正済みの完成定義（定義3.5）は、元のAAAI 2018論文における深刻な欠陥を解消し、平坦でない情報順序においても有効であることを保証する。
• 価値構造を指定するには受容条件の論理式と情報順序のみを必要とし、単位区間を含む任意の価値構造をサポートする。
• 一般化された意味論（基礎的、好ましい、安定的）は、方程式的手法が解を生じない場合でも、依然として明確に定義され、計算可能である。
• 一般化された部分解釈（gpis）の使用により、各議論に空でない複数の可能な値の集合が割り当てられ、不確実性のより表現力豊かな表現が可能になる。
• 情報順序の選択により、意味論を微調整可能であり、これは既存の重み付き議論フレームワークでは得られない能力である。
• 本フレームワークは、既存の重み付きAFや双極的ADFsの研究を自然に一般化し、将来的な拡張のための統一的基盤を提供する。