A Customizable Coordination Service for Autonomous Agents

We address the problem of constructing multiagent systems by coordinating autonomous agents, whose internal designs may not be fully known. We develop a customizable coordination service that (a) takes declarative specifications of the desired interactions, and (b) automatically enacts them. Our approach is based on temporal logic, and has a rigorous semantics and a naturally distributed implementation.

[1]  Munindar P. Singh Coordinating heterogeneous autonomous agents , 1997 .

[2]  Panos K. Chrysanthis,et al.  Synthesis of extended transaction models using ACTA , 1994, TODS.

[3]  Kazuhiro Kuwabara Meta-Level Control of Coordination Protocols , 1996 .

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

[5]  Randall Davis,et al.  Negotiation as a Metaphor for Distributed Problem Solving , 1988, Artificial Intelligence.

[6]  E. Allen Emerson,et al.  Temporal and Modal Logic , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[7]  Afsaneh Haddadi Towards a Pragmatic Theory of Interactions , 1995, ICMAS.

[8]  Anand S. Rao,et al.  Distributed Storage of Replicated Beliefs to Facilitate Recovery of Distributed Intelligent Agents , 1997, ATAL.

[9]  Cristiano Castelfranchi,et al.  Commitments: From Individual Intentions to Groups and Organizations , 1995, ICMAS.

[10]  Froduald Kabanza,et al.  Synchronizing Multiagent Plans Using Temporal Logic Specifications , 1995, ICMAS.

[11]  Raghu V. Hudli,et al.  CORBA fundamentals and programming , 1996 .

[12]  Victor R. Lesser,et al.  Cooperative information-gathering: a distributed problem-solving approach , 1997, IEE Proc. Softw. Eng..

[13]  Carl Hewitt,et al.  Viewing Control Structures as Patterns of Passing Messages , 1977, Artif. Intell..

[14]  Munindar P. Singh,et al.  Readings in agents , 1997 .

[15]  Anand S. Rao,et al.  Modeling Rational Agents within a BDI-Architecture , 1997, KR.

[16]  Katia P. Sycara,et al.  Multi-Agent Integration of Information Gathering and Decision Support , 1996, ECAI.

[17]  Munindar P. Singh,et al.  Global information management via local autonomous agents , 1997 .

[18]  Alan H. Bond,et al.  Readings in Distributed Artificial Intelligence , 1988 .

[19]  Munindar P. Singh Commitments Among Autonomous Agents in Information-Rich Environments , 1997, MAAMAW.