On Explicit Plan Languages for Coordinating Multiagent Plan Execution

An agent coordinating with another agent needs a model of the other agent to promote cooperation or to avoid interference. Agent plans in their executable form, however, are not well suited for being reasoned over, particularly because the plans are meaningful only when they are interpreted along with the execution or operational semantics.

[1]  N. Nilsson.  STUART RUSSELL AND PETER NORVIG, ARTIFICIAL INTELLIGENCE: A MODERN APPROACH , 1996 .

[2]  Marcel Schoppers,et al.  Universal Plans for Reactive Robots in Unpredictable Environments , 1987, IJCAI.

[3]  Peter Norvig,et al.  Artificial Intelligence: A Modern Approach , 1995 .

[4]  Anand S. Rao,et al.  An architecture for real-time reasoning and system control , 1992, IEEE Expert.

[5]  Kurt Jensen,et al.  An Introduction to the Theoretical Aspects of Coloured Petri Nets , 1993, REX School/Symposium.

[6]  Edmund H. Durfee,et al.  The Distributed Agent Architecture of the University of Michigan Digital Library , 1995 .

[7]  René David,et al.  Petri nets and grafcet - tools for modelling discrete event systems , 1992 .

[8]  Edmund H. Durfee,et al.  IMPLEMENTATION OF A REACTIVE AUTONOMOUS NAVIGATION SYSTEM ON AN OUTDOOR MOBILE ROBOT , 1994 .

[9]  R. James Firby,et al.  Building symbolic primitives with continuous control routines , 1992 .

[10]  Edmund H. Durfee,et al.  TAIPE: tactical assistants for interaction planning and execution , 1997, AGENTS '97.

[11]  Nils J. Nilsson,et al.  Teleo-Reactive Programs for Agent Control , 1993, J. Artif. Intell. Res..

[12]  Nils J. Nilsson,et al.  Toward agent programs with circuit semantics , 1992 .

[13]  Jaeho Lee.  An explicit semantics for coordination multiagent plan execution , 1997 .

[14]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[15]  Edmund H. Durfee,et al.  UM-PRS: An implementation of the procedural reasoning system for multirobot applications , 1994 .