[論文レビュー] A Formal Analysis of Required Cooperation in Multi-agent Planning

Yu Zhang, Subbarao Kambhampati|arXiv (Cornell University)|Apr 22, 2014

Logic, Reasoning, and Knowledge参考文献 15被引用数 5

ひとこと要約

本稿では、多エージェント計画において協力が厳密に必要となる状況を特定する形式的枠組みを提示する。エージェントの異種性と同種性の違いを区別し、協力の必要性が状態空間への到達不能性や因果ループに起因することを証明する。また、最小エージェント数の上界を提示し、ロボット工学および人間-ロボットチームにおける効率的な多エージェントシステム設計の基盤を提供する。

ABSTRACT

Research on multi-agent planning has been popular in recent years. While previous research has been motivated by the understanding that, through cooperation, multi-agent systems can achieve tasks that are unachievable by single-agent systems, there are no formal characterizations of situations where cooperation is required to achieve a goal, thus warranting the application of multi-agent systems. In this paper, we provide such a formal discussion from the planning aspect. We first show that determining whether there is required cooperation (RC) is intractable is general. Then, by dividing the problems that require cooperation (referred to as RC problems) into two classes -- problems with heterogeneous and homogeneous agents, we aim to identify all the conditions that can cause RC in these two classes. We establish that when none of these identified conditions hold, the problem is single-agent solvable. Furthermore, with a few assumptions, we provide an upper bound on the minimum number of agents required for RC problems with homogeneous agents. This study not only provides new insights into multi-agent planning, but also has many applications. For example, in human-robot teaming, when a robot cannot achieve a task, it may be due to RC. In such cases, the human teammate should be informed and, consequently, coordinate with other available robots for a solution.

研究の動機と目的

• 複数エージェント間の協力が、効率性のための選択肢ではなく、問題を解くために厳密に必要となる状況を形式的に特定すること。
• 協力が必須となる問題において、特に同種エージェントの設定下で必要な最小エージェント数を同定すること。
• エージェントの異種性に起因する協力の必要性（タイプ1 RC）と、状態空間または因果グラフの構造的制約に起因する協力の必要性（タイプ2 RC）を区別すること。
• 因果性や到達可能性制約の特定の緩和条件下で、必要なエージェント数の上界を提供すること。
• 人間-ロボットチームや動的多ロボットシステムへの実用的応用を可能にするために、追加エージェントがなぜ本質的であるかを特定すること。

提案手法

• 多エージェント計画（MAP）問題を2種類に分類する：異種エージェント（タイプ1 RC）と同種エージェント（タイプ2 RC）の問題。
• すべてのエージェント状態の順列をシミュレートする「スーパーエージェント」の概念を導入し、単一エージェントが問題を解けるかどうかを判定する。
• 相互作用制約グラフ（ICGS）を用いて、エージェント変数間の到達可能性と因果的依存関係を分析する。
• 複数エージェントによる状態順列のシミュレーションを用い、スーパーエージェントの行動を再現し、すべての状態遷移が順番に実行可能であることを保証する。
• 有向エッジの仮定や非分散変数制約（N-DVC）などの緩和を用いて、最小エージェント数の上界を導出する。
• エージェント順列における計画実行シミュレーションを活用し、スーパーエージェントの解が有効であれば、有界な数のエージェントで解が存在することを証明する。

実験結果

リサーチクエスチョン

• RQ1 多エージェント計画において、協力が厳密に必要となる条件は何か。具体的には、単一エージェントでは問題を解けない状況はどのようなものか？
• RQ2 エージェントの異種性に起因する協力の必要性と、状態空間または因果グラフの構造的制約に起因する協力の必要性を、形式的にどのように区別できるか？
• RQ3 協力が必須となる与えられたMAP問題を解くために必要な最小エージェント数は何か？
• RQ4 因果性や状態到達可能性の制約を特定の緩和条件下で考えた場合、必要なエージェント数の上界を提供できるか？
• RQ5 因果ループや到達不能な状態空間は、同種エージェントシステムにおける必須協力にどのように寄与するか？

主な発見

• 必須協力（RC）は一般に正確に決定することが困難であるが、エージェントの異種性と状態空間制約の構造的分析により近似可能である。
• タイプ1 RC問題（異種エージェント）の主な原因は分散変数制約（DVC）であり、その多くは単一のスーパーエージェントによって解ける。
• タイプ2 RC問題（同種エージェント）は、状態空間が到達不能である場合、または因果グラフに因果ループが存在する場合に生じる。
• タイプ2 RC問題において、必要な最小エージェント数の上界は、非分散変数制約（N-DVC）および有向エッジの仮定の下で、すべてのエージェント変数のドメインサイズの積、すなわち $ \times_{v\in VS(\Phi)}|D(v)| $ に上界づけられる。
• 導出された上界は、ダイヤモンド例のような簡単なケースではタイトである。この場合、上界は実際の最小エージェント数 $k$ と一致する。
• 本フレームワークにより、単一エージェントでは解けないタスクを実用的に検出可能となり、人間-ロボットチームや多エージェントシステムにおける動的チーム編成に役立つ。