Representing and Executing Agent-Based Systems

In this paper we describe an approach to the representation and implementation of agent-based systems where the behaviour of an individual agent is represented by a set of logical rules in a particular form. This not only provides a logical specification of the agent, but also allows us to directly execute the rules in order to implement the agent's behaviour. Agents communicate with each other through a simple, and logically well-founded, broadcast communication mechanism. In addition, agents can be grouped together. This not only restricts the extent of broadcast messages, but also provides a structuring mechanism within the agent space.

[1]  Reid G. Smith,et al.  A Framework for Distributed Problem Solving , 1979, IJCAI.

[2]  Michael Wooldridge,et al.  Specifying and Verifying Distributed Intelligence Systems , 1993, EPIA.

[3]  Michael Fisher,et al.  Towards a Semantics for Concurrent METATEM , 1993, Executable Modal and Temporal Logics.

[4]  W. Daniel Hillis,et al.  The connection machine: A computer architecture based on cellular automata , 1984 .

[5]  Kenneth P. Birman,et al.  The process group approach to reliable distributed computing , 1992, CACM.

[6]  Robert Metcalfe,et al.  Ethernet: distributed packet switching for local computer networks , 1988, CACM.

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

[8]  Michael Wooldridge,et al.  A Logical Approach to the Representation of Societies of Agents , 1995 .

[9]  Amir Pnueli,et al.  A really abstract concurrent model and its temporal logic , 1986, POPL '86.

[10]  Kenneth P. Birman,et al.  Reliable communication in the presence of failures , 1987, TOCS.

[11]  Marcelo Finger,et al.  Metatem at work: modelling reactive systems using executable temporal logic , 1993 .

[12]  Keith L. Clark,et al.  April - Agent PRocess Interaction Language , 1995, ECAI Workshop on Agent Theories, Architectures, and Languages.

[13]  Andrzej Szalas,et al.  Incompleteness of First-Order Temporal Logic with Until , 1988, Theor. Comput. Sci..

[14]  Martín Abadi,et al.  Temporal Logic Programming , 1989, J. Symb. Comput..

[15]  Zohar Manna,et al.  The Temporal Logic of Reactive and Concurrent Systems , 1991, Springer New York.

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

[17]  Nicholas R. Jennings,et al.  Agent Theories, Architectures, and Languages: A Survey , 1995, ECAI Workshop on Agent Theories, Architectures, and Languages.

[18]  Anand S. Rao,et al.  Design of a Concurrent Agent-Oriented Language , 1995, ECAI Workshop on Agent Theories, Architectures, and Languages.

[19]  S. Rebecca Thomas,et al.  The PLACA Agent Programming Language , 1995, ECAI Workshop on Agent Theories, Architectures, and Languages.

[20]  W. Daniel Hillis,et al.  Data parallel algorithms , 1986, CACM.

[21]  Michael Fisher,et al.  A Survey of Concurrent METATEM - the Language and its Applications , 1994, ICTL.

[22]  Michael Fisher,et al.  A Resolution Method for Temporal Logic , 1991, IJCAI.

[23]  Anita Borg,et al.  A message system supporting fault tolerance , 1983, SOSP '83.