[論文レビュー] Stability in Abstract Argumentation

Jean-Guy Mailly, Julien Rossit|arXiv (Cornell University)|Dec 23, 2020

Multi-Agent Systems and Negotiation参考文献 24被引用数 4

ひとこと要約

本稿は、抽象的論証枠組み（AF）における安定性の概念を導入し、形式化する。ある議論の受容可能性状態が将来の変更に対して不変であるかどうかをチェックすることは、不完全な論証枠組み（IAFs）を用いた推論と同値であることを示している。著者らは、4つの代表的な意味論（基礎的、安定的、好ましい、完全）における安定性の計算複雑性の上限と下限を確立し、自動交渉の文脈でその有用性を示している。ここでは、安定性が確認された段階でエージェントが戦略的に提示を変更できるようになる。

ABSTRACT

The notion of stability in a structured argumentation setup characterizes situations where the acceptance status associated with a given literal will not be impacted by any future evolution of this setup. In this paper, we abstract away from the logical structure of arguments, and we transpose this notion of stability to the context of Dungean argumentation frameworks. In particular, we show how this problem can be translated into reasoning with Argument-Incomplete AFs. Then we provide preliminary complexity results for stability under four prominent semantics, in the case of both credulous and skeptical reasoning. Finally, we illustrate to what extent this notion can be useful with an application to argument-based negotiation.

研究の動機と目的

• 構造化された論証において元々定義された安定性の概念を、抽象的論証枠組み（AF）へと適応すること。
• 将来のAFの進化に対して、議論の受容可能性状態が変化しないことを保証する性質として、安定性を形式化すること。
• 安定性のチェック問題を、不完全な論証枠組み（IAFs）における既知の推論タスクに還元すること。
• 基礎的、安定的、好ましい、完全という4つの主要な意味論における安定性の計算複雑性を分析すること。
• 安定性が自動交渉の文脈において実用的にどのように活用できるかを示すこと。ここでは、安定性が確認された段階でエージェントが戦略的決定を下せるようになる。

提案手法

• 本稿では、議論の受容可能性状態が、AFの将来の変更に対して不変であるという性質として、抽象的AFにおける安定性を定義する。
• 安定性のチェック問題を、一部の攻撃関係が不確実または未知である不完全な論証枠組み（IAFs）における推論タスクに形式的に還元する。
• 拡張に基づく意味論（基礎的、安定的、好ましい、完全）を用いて受容可能性を定義し、それぞれの意味論における安定性を分析する。
• 安定性をIAFにおける信用的および懐疑的推論と関連づけ、既知の複雑性クラスを活用して複雑性結果を導出する。
• 自動交渉の応用シナリオを提示し、安定性が確認された段階でエージェントが提示を戦略的に変更できるようにする仕組みを示す。
• 理論的分析では、各意味論における安定性チェックの計算複雑性について、上界と下界の両方を示す。

実験結果

リサーチクエスチョン

• RQ1 構造化された論証における安定性の概念を、抽象的論証枠組みへと形式的に適応する方法は何か？
• RQ2 基礎的、安定的、好ましい、完全という意味論における抽象的AFにおける安定性のチェックの計算複雑性は何か？
• RQ3 安定性のチェック問題は、不完全な論証枠組み（IAFs）における既知の推論タスクに還元可能か？
• RQ4 安定性は、自動交渉のような実用的状況でどのように活用できるか？
• RQ5 安定性は、論証枠組みにおける不確実性下での推論にどのような意味を持つのか？

主な発見

• 抽象的AFにおける安定性は、枠組みの将来の進化に対して議論の受容可能性状態が不変であるという性質として形式的に定義される。
• 安定性のチェック問題は、不完全なAF（IAFs）における推論タスクに還元可能であり、これにより既存のIAFソルバー技術を活用できる。
• 本稿では、基礎的、安定的、好ましい、完全という4つの主要な意味論における安定性の複雑性境界を提供しており、信用的および懐疑的推論の両方を含む。
• 4つの意味論すべてにおいて、安定性チェックの複雑性が既知の複雑性クラスに収まり、正確な上界と下界が確立されている。
• 自動交渉への応用では、安定性が確認された段階でエージェントが戦略的かつ前向きな意思決定（例：第二の選択肢に移行）を可能にすることが示された。
• 本研究は、3値ラベル付けへの安定性の拡張、優先順位に基づくAF、攻撃関係に不確実性を含む枠組みへの応用といった、新たな研究分野を開拓した。