A coordination language for agents interacting in distributed plan-execute cycles

An architecture is proposed for agents to coordinate formation and execution of plans. Along with the architecture, a new coordination language is introduced that agents may employ to form temporary alliances for planning and plan execution. This language is based on ideas from constraint programming and a formal operational semantics is given for it.

[1]  Vijay A. Saraswat,et al.  Concurrent constraint programming , 1989, POPL '90.

[2]  Farhad Arbab,et al.  Coordination and composition in multi-agent systems , 2005, AAMAS '05.

[3]  Barbara Dunin-Keplicz,et al.  Calibrating Collective Commitments , 2003, CEEMAS.

[4]  Farhad Arbab,et al.  Reo: A Channel-based Coordination Model for Component Composition , 2005 .

[5]  Frank Dignum,et al.  ANEMONE: an effective minimal ontology negotiation environment , 2006, AAMAS '06.

[6]  Hector J. Levesque,et al.  On Acting Together , 1990, AAAI.

[7]  Edward P. K. Tsang,et al.  Foundations of constraint satisfaction , 1993, Computation in cognitive science.

[8]  Franco Zambonelli,et al.  Coordination of Internet Agents: Models, Technologies, and Applications , 2014, Coordination of Internet Agents: Models, Technologies, and Applications.

[9]  Robert P. Goldman,et al.  MACBeth: A Multi-Agent Constraint-Based Planner , 2000 .

[10]  Koen V. Hindriks,et al.  A Programming Language for Coordinating Group Actions , 2001, CEEMAS.

[11]  Timothy W. Finin,et al.  Kqml: an information and knowledge exchange protocol , 1994 .

[12]  Nicholas R. Jennings,et al.  Intelligent agents: theory and practice , 1995, The Knowledge Engineering Review.

[13]  Franco Zambonelli,et al.  Multiagent System Engineering: The Coordination Viewpoint , 1999, ATAL.

[14]  Henry A. Kautz,et al.  BLACKBOX: A New Approach to the Application of Theorem Proving to Problem Solving , 1998 .

[15]  Daniel S. Weld,et al.  UCPOP: A Sound, Complete, Partial Order Planner for ADL , 1992, KR.

[16]  Avrim Blum,et al.  Fast Planning Through Planning Graph Analysis , 1995, IJCAI.

[17]  Koen V. Hindriks,et al.  Formal Semantics for an Abstract Agent Programming Language , 1997, ATAL.

[18]  Milind Tambe,et al.  Towards Flexible Teamwork , 1997, J. Artif. Intell. Res..

[19]  M. Georgeff,et al.  Social Plans: A Preliminary Report , 1992 .

[20]  Marie desJardins,et al.  Coordinating a Distributed Planning System , 1999, AI Mag..

[21]  Daniel S. Weld.  Recent Advances in AI Planning , 1999, AI Mag..

[22]  Peter van Beek,et al.  CPlan: A Constraint Programming Approach to Planning , 1999, AAAI/IAAI.

[23]  Yoav Shoham,et al.  Agent-Oriented Programming , 1992, Artif. Intell..