Executing Reactive, Model-based Programs through Graph-based Temporal Planning

In the future, webs of unmanned air and space vehicles will act together to robustly perform elaborate missions in uncertain environments. We coordinate these systems by introducing a reactive model-based programming language (RMPL) that combines within a single unified representation the flexibility of embedded programming and reactive execution languages, and the deliberative reasoning power of temporal planners. The KIRK planning system takes as input a problem expressed as a RMPL program, and compiles it into a temporal plan network (TPN), similar to those used by temporal planners, but extended for symbolic constraints and decisions. This intermediate representation clarifies the relation between temporal planning and causal-link planning, and permits a single task model to be used for planning and execution. Such a unified model has been described as a holy grail for autonomous agents by the designers of the Remote Agent[Muscettola et al., 1998b].

[1]  R. K. Shyamasundar,et al.  Introduction to algorithms , 1996 .

[2]  James A. Hendler,et al.  HTN Planning: Complexity and Expressivity , 1994, AAAI.

[3]  Brian C. Williams,et al.  Mode Estimation of Model-based Programs: Monitoring Systems with Complex Behavior , 2001, IJCAI.

[4]  Nicola Muscettola,et al.  Fast Transformation of Temporal Plans for Efficient Execution , 1998, AAAI/IAAI.

[5]  Nicola Muscettola,et al.  Integrating Planning and Scheduling , 1993 .

[6]  Radha Jagadeesan,et al.  Timed Default Concurrent Constraint Programming , 1996, J. Symb. Comput..

[7]  Nicola Muscettola,et al.  HSTS: Integrating Planning and Scheduling , 1993 .

[8]  Malik Ghallab,et al.  Planning with Sharable Resource Constraints , 1995, IJCAI.

[9]  Daniel S. Weld.  Recent Advances in AI Planning , 1999, AI Mag..

[10]  Thierry Gautier,et al.  Programming real-time applications with SIGNAL , 1991, Proc. IEEE.

[11]  Daniel S. Weld.  An Introduction to Least Commitment Planning , 1994, AI Mag..

[12]  R. James Firby,et al.  The RAP language manual , 1995 .

[13]  Ravindra K. Ahuja,et al.  Network Flows: Theory, Algorithms, and Applications , 1993 .

[14]  Avrim Blum,et al.  Fast Planning Through Planning Graph Analysis , 1995, IJCAI.

[15]  Rina Dechter,et al.  Temporal Constraint Networks , 1989, Artif. Intell..

[16]  David E. Smith,et al.  Temporal Planning with Mutual Exclusion Reasoning , 1999, IJCAI.

[17]  Nicola Muscettola,et al.  Issues in temporal reasoning for autonomous control systems , 1998, AGENTS '98.

[18]  Erann Gat,et al.  ESL: a language for supporting robust plan execution in embedded autonomous agents , 1997, 1997 IEEE Aerospace Conference.

[19]  P. Pandurang Nayak,et al.  Remote Agent: To Boldly Go Where No AI System Has Gone Before , 1998, Artif. Intell..

[20]  Nicolas Halbwachs,et al.  Synchronous Programming of Reactive Systems , 1992, CAV.

[21]  Gérard Berry,et al.  The Esterel Synchronous Programming Language: Design, Semantics, Implementation , 1992, Sci. Comput. Program..