Plan-Coordination Mechanisms and the Price of Autonomy

Task-based planning problems for multi-agent systems require multiple agents to find a joint plan for a constrained set of tasks. Typically, each agent receives a subset of tasks to complete. Due to task interdependencies, such task allocations induce interdependencies between agents as well. These interdependencies will prevent the agents from making a plan for their subset of tasks independently from each other, since the combination of such autonomously constructed plans will most probably result in conflicting plans. Therefore, a plan-coordination mechanism is needed to guarantee a conflict-free globally feasible plan. In this paper, we first present a brief overview of the main results achieved on plan coordination for autonomous planning agents, distinguishing between problems associated with deciding whether a coordination mechanism is necessary, designing an arbitrary coordination mechanism, and designing an optimal (minimal) coordination mechanism. After finding out that designing an optimal coordination mechanism is difficult, we concentrate on an algorithm that is able to find a (non-trivial) coordination mechanism that is not always minimal. We then discuss some subclasses of plan-coordination instances where this algorithm performs very badly, but also some class of instances where a nearly optimal coordination mechanism is returned. Hereafter, we discuss the price of autonomy as a measure to determine the loss of (global) performance of a system due to the use of a coordination mechanism, and we offer a case study on multi-modal transportation where a coordination mechanism can be designed that offers minimal restrictions and guarantee nearly optimal performance. We will also place the use of these coordination mechanisms in a more general perspective, claiming that they can be used to reuse existing (single) agent software in a complex multi-agent environment. Finally, we briefly discuss some recent extensions of our coordination framework dealing with temporal planning aspects.

[1]  Cees Witteveen,et al.  Coordinating Planning Agents for Moderately and Tightly-Coupled Tasks , 2007, FCS.

[2]  Edmund H. Durfee,et al.  Efficient mechanisms for multiagent plan merging , 2004, Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, 2004. AAMAS 2004..

[3]  Anthony Stentz,et al.  TraderBots : a market-based approach for resource, role, and task allocation in multirobot coordination , 2003 .

[4]  Terry L. Zimmerman,et al.  Distributed management of flexible times schedules , 2007, AAMAS '07.

[5]  Anthony Stentz,et al.  Market-based Multirobot Coordination for Complex Tasks , 2006, Int. J. Robotics Res..

[6]  Patrick Doherty,et al.  TALplanner: A temporal logic based forward chaining planner , 2001, Annals of Mathematics and Artificial Intelligence.

[7]  Sarit Kraus,et al.  Methods for Task Allocation via Agent Coalition Formation , 1998, Artif. Intell..

[8]  J. R. Steenhuisen,et al.  Plan Coordination for Durative Tasks , 2022 .

[9]  Cees Witteveen,et al.  Framework and Complexity Results for Coordinating Non-cooperative Planning Agents , 2006, MATES.

[10]  Victor R. Lesser,et al.  Designing a Family of Coordination Algorithms , 1997, ICMAS.

[11]  Michael P. Wellman,et al.  A market protocol for decentralized task allocation , 1998, Proceedings International Conference on Multi Agent Systems (Cat. No.98EX160).

[12]  Cees Witteveen,et al.  Coordinating Self-interested Planning Agents , 2006, Autonomous Agents and Multi-Agent Systems.

[13]  Blai Bonet,et al.  Heuristic Search Planner 2.0 , 2001, AI Mag..

[14]  Victor R. Lesser,et al.  Coalitions Among Computationally Bounded Agents , 1997, Artif. Intell..

[15]  D. Long,et al.  E cient Implementation of the Plan Graph in STAN , 1999 .

[16]  David S. Johnson,et al.  Computers and Intractability: A Guide to the Theory of NP-Completeness , 1978 .

[17]  Elias Koutsoupias,et al.  Coordination mechanisms , 2009, Theor. Comput. Sci..