[論文レビュー] Dispute Resolution Using Argumentation-Based Mediation

Tomas Trescak, Carles Sierra+2 more|arXiv (Cornell University)|Sep 15, 2014

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

ひとこと要約

本稿では、自身の知識とリソースを活用して代替的解決策を生成することで、マルチエージェント交渉におけるアンロック不能状態を解消できる信頼性のある計算的中立者を提供する、議論に基づく中立化フレームワークを提案する。論理的BDIエージェントモデルを拡張し、中立者は構造的議論を用いて実行可能な計画を提示することで、知識的・資源的不足により初期交渉が失敗した場合でもエージェントがその目標を達成できるようにする。

ABSTRACT

Mediation is a process, in which both parties agree to resolve their dispute by negotiating over alternative solutions presented by a mediator. In order to construct such solutions, mediation brings more information and knowledge, and, if possible, resources to the negotiation table. The contribution of this paper is the automated mediation machinery which does that. It presents an argumentation-based mediation approach that extends the logic-based approach to argumentation-based negotiation involving BDI agents. The paper describes the mediation algorithm. For comparison it illustrates the method with a case study used in an earlier work. It demonstrates how the computational mediator can deal with realistic situations in which the negotiating agents would otherwise fail due to lack of knowledge and/or resources.

研究の動機と目的

• エージェントが知識的・資源的不足により合意に至れない場合に、既存の議論ベースの交渉システムが紛争を解決できないという限界に対処すること。
• エージェントが独立して実行可能な解決策を発見できない現実的状況における自動中立化を可能にすること。
• ドメイン知識とリソースへのアクセスを持つ計算的中立者を設計し、代替的で交渉可能な解決策を提示すること。
• 中立者の提案が論理的議論に基づくことで、エージェントが妥当性と実行可能性を吟味できるようにすること。
• 目標志向エージェントが相互に競合するリソース要件を持つケーススタディを通じて、中立者の有効性を示すこと。

提案手法

• リソースと目標の明示的表現を含めるように、先行研究のBDIエージェントアーキテクチャを拡張する。
• 中立者が交渉のアンロック不能状態を特定し、自らの知識とリソースプールを用いて代替的解決策を生成する中立化アルゴリズムを実装する。
• 形式的議論フレームワークを用いて、提示された解決策の正当化を構築および交換する。前提はドメインルールとエージェントの信念から導出される。
• ブリッジルール（R.1–R.5）を適用し、中立化された議論をエージェントが処理・応答できる実行可能な要求（例：Ask, Tell）に変換する。
• 思いやり理論（G.3）と目標整合性（G.7）を統合し、代替計画が実現可能である場合にエージェントがリソース移転を受け入れられるようにする。
• 論理的推論（モード・ポネンス、特化）と信念伝搬を活用し、通信の前段階で中立者が提示する議論の妥当性を検証する。

実験結果

リサーチクエスチョン

• RQ1 エージェントが十分な知識やリソースを持たない場合、計算的中立者はどのように交渉のアンロック不能状態を解消できるか？
• RQ2 どのような形式的メカニズムが、中立者が自らの知識とリソースを用いて代替的解決策を生成・正当化できるか？
• RQ3 議論ベースの交渉を、解決策生成に能動的に貢献する第三者の中立者を含める形にどのように拡張できるか？
• RQ4 論理的議論構造とブリッジルールは、抽象的提案から実行可能なエージェント行動への移行をどのように促進するか？
• RQ5 リソース取引を伴う中立者提案を受け入れる条件は何か。特に、リソースのトレードオフが含まれる場合に有効な条件は？

主な発見

• 中立者は、リソースと知識の欠如により目標を達成できなかったホームインプラーブメント交渉の事例でアンロック不能状態を成功裏に解消した。
• ドライバーの代わりにスクリュードライバーを使用するなど、代替計画を提示することで、エージェントβはネイルを必要とせずにミラーを掛けることを達成できた。
• 議論フレームワークにより、中立者は論理的に妥当な正当化を生成でき、それがブリッジルールを通じて実行可能な要求に変換された。
• エージェントαは、中立者の提案に基づくリソース取引を受け入れた後、ネイルを入手するという目標を達成できた。これにより、解決策の有効性が裏付けられた。
• 形式的論理と信念伝搬の使用により、すべての中立化議論が一貫性があり検証可能であった。その結果、エージェント間の信頼性と受容性が向上した。
• システムは、中立者が包括的なドメイン知識とリソースにアクセスしている限り、エージェントが不完全な情報のもとで動作しても中立化が有効であることを示した。