Specifying Communicative Multi-Agent Systems (Invited Paper)

In this paper, we describe a framework for specifying communicative multi-agent systems, using a theory of action based on the situation calculus to describe the effects of actions on the world and on the mental states of agents; and the concurrent, logic programming language ConGolog to specify the actions performed by each agent. Since ConGolog has a well-defined semantics, the specifications can be used to reason about the behavior of individual agents and the system as a whole. We extend the work presented in [7] to allow the specifications to mention agents’ goals explicitly. The framework presented here allows the behavior of different agents to be specified at different levels of abstraction, using a rich set of programming language constructs. As an example, we specify a meeting scheduler multi-agent system.

[1]  Munindar P. Singh.  Multiagent Systems - A Theoretical Framework for Intentions, Know-How, and Communications , 1994, Lecture Notes in Computer Science.

[2]  Gerhard Lakemeyer,et al.  AOL: A logic of Acting, Sensing, Knowing, and Only Knowing , 1998, KR.

[3]  Hector J. Levesque,et al.  Reasoning about Concurrent Execution Prioritized Interrupts, and Exogenous Actions in the Situation Calculus , 1997, IJCAI.

[4]  Raymond Reiter,et al.  Natural Actions, Concurrency and Continuous Time in the Situation Calculus , 1996, KR.

[5]  Raymond Reiter,et al.  Proving Properties of States in the Situation Calculus , 1993, Artif. Intell..

[6]  John McCarthy,et al.  SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE , 1987 .

[7]  Hector J. Levesque,et al.  GOLOG: A Logic Programming Language for Dynamic Domains , 1997, J. Log. Program..

[8]  Robert C. Moore.  A Formal Theory of Knowledge and Action , 1984 .

[9]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[10]  Raymond Reiter,et al.  The Frame Problem in the Situation Calculus: A Simple Solution (Sometimes) and a Completeness Result for Goal Regression , 1991, Artificial and Mathematical Theory of Computation.

[11]  Michael Fisher,et al.  Executable Modal and Temporal Logics , 1993, Lecture Notes in Computer Science.

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

[13]  Fangzhen Lin,et al.  State Constraints Revisited , 1994, J. Log. Comput..

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

[15]  Hector J. Levesque,et al.  The Frame Problem and Knowledge-Producing Actions , 1993, AAAI.

[16]  Hector J. Levesque,et al.  Intention is Choice with Commitment , 1990, Artif. Intell..

[17]  Daniel Marcu,et al.  Foundations of a Logical Approach to Agent Programming , 1995, ATAL.

[18]  Sheila A. McIlraith,et al.  Towards a formal account of diagnostic problem-solving , 1997 .