An ACL for a Dynamic System of Agents

In this article we present the design of an ACL for a dynamic system of agents. The ACL includes a set of conversation performatives extended with operations to register, create, and terminate agents. The main design goal at the agent–level is to provide only knowledge–level primitives that are well integrated with the dynamic nature of the system. This goal has been achieved by defining an anonymous interaction protocol which enables agents to request and supply knowledge without considering symbol–level issues concerning management of agent names, routing, and agent reachability. This anonymous interaction protocol exploits a distributed facilitator schema which is hidden at the agent–level and provides mechanisms for registering capabilities of agents and delivering requests according to the competence of agents. We present a formal specification of the ACL and of the underlying architecture, exploiting an algebra of actors, and illustrate it with the help of a graphical notation. This approach provides the basis for discussing dynamic primitives in ACL and for studying properties of dynamic multi agent systems, for example concerning the behavior of agents and the correctness of their conversation policies.

[1]  Arthur Stutt,et al.  An Open Framework for Cooperative Problem Solving , 1995, IEEE Expert.

[2]  Jeffrey S. Rosenschein,et al.  Designing Conventions for Automated Negotiation , 1994, AI Mag..

[3]  Gianluigi Zavattaro,et al.  An Algebra of Actors , 1997, FMOODS.

[4]  Gul A. Agha,et al.  ActorSpace: an open distributed programming paradigm , 1993, PPOPP '93.

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

[6]  Gianluigi Zavattaro,et al.  Process Algebraic Specification of the New Asynchronous CORBA Messaging Service , 1999, ECOOP.

[7]  Timothy W. Finin,et al.  A Proposal for a new KQML Specification , 1997 .

[8]  Somesh Jha,et al.  Agent cloning: an approach to agent mobility and resource allocation , 1998 .

[9]  Gianluigi Zavattaro,et al.  An Actor Algebra for Specifying Distributed Systems: The Hurried Philosophers Case Study , 2001, Concurrent Object-Oriented Programming and Petri Nets.

[10]  Gul A. Agha,et al.  ACTORS - a model of concurrent computation in distributed systems , 1985, MIT Press series in artificial intelligence.

[11]  Timothy W. Finin,et al.  Semantics for an Agent Communication Language , 1997, ATAL.

[12]  Timothy W. Finin,et al.  Evaluation of KQML as an Agent Communication Language , 1995, ATAL.

[13]  Hyacinth S. Nwana,et al.  Software agents: an overview , 1996, The Knowledge Engineering Review.

[14]  Mauro Gaspari,et al.  Concurrency and Knowledge-Level Communication in Agent Languages , 1998, Artif. Intell..

[15]  Hector J. Levesque,et al.  Communicative Actions for Artificial Agents , 1997, ICMAS.

[16]  Manuela M. Veloso,et al.  Multiagent Systems: A Survey from a Machine Learning Perspective , 2000, Auton. Robots.

[17]  Carolyn L. Talcott,et al.  A foundation for actor computation , 1997, Journal of Functional Programming.

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

[19]  Timothy W. Finin,et al.  KQML as an agent communication language , 1994, CIKM '94.

[20]  Michael R. Genesereth,et al.  Software agents , 1994, CACM.