A Hybrid Procedural/Deductive Executive for Autonomous Spacecraft

The New Millennium Remote Agent (NMRA) will be the first AI system to control an actual spacecraft. The spacecraft domain places a strong premium on autonomy and requires dynamic recoveries and robust concurrent execution, all in the presence of tight real-time deadlines, changing goals, scarce resource constraints, and a wide variety of possible failures. To achieve this level of execution robustness, we have integrated a procedural executive based on generic procedures with a deductive model-based executive. A procedural executive provides sophisticated control constructs such as loops, parallel activity, locks, and synchronization which are used for robust schedule execution, hierarchical task decomposition, and routine configuration management. A deductive executive provides algorithms for sophisticated state inference and optimal failure recovery planning. The integrated executive enables designers to code knowledge via a combination of procedures and declarative models, yielding a rich modeling capability suitable to the challenges of real spacecraft control. The interface between the two executives ensures both that recovery sequences are smoothly merged into high-level schedule execution and that a high degree of reactivity is retained to effectively handle additional failures during recovery.

[1]  Robert James Firby,et al.  Adaptive execution in complex dynamic worlds , 1989 .

[2]  Nicola Muscettola,et al.  Design of the Remote Agent experiment for spacecraft autonomy , 1998, 1998 IEEE Aerospace Conference Proceedings (Cat. No.98TH8339).

[3]  Luca Console,et al.  Readings in Model-Based Diagnosis , 1992 .

[4]  Tara A. Estlin,et al.  An Argument for a Hybrid HTN/Operator-Based Approach to Planning , 1997, ECP.

[5]  J. Pollock.  Planning Agents , 1998 .

[6]  Barbara Hayes-Roth,et al.  An Architecture for Adaptive Intelligent Systems , 1995, Artif. Intell..

[7]  Leslie Pack Kaelbling,et al.  Acting under uncertainty: discrete Bayesian models for mobile-robot navigation , 1996, Proceedings of IEEE/RSJ International Conference on Intelligent Robots and Systems. IROS '96.

[8]  David P. Miller,et al.  Experiences with an architecture for intelligent, reactive agents , 1995, J. Exp. Theor. Artif. Intell..

[9]  Drew McDermott,et al.  A reactive plan language , 1991 .

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

[11]  Brian C. Williams,et al.  Diagnosing Multiple Faults , 1987, Artif. Intell..

[12]  G. M. Brown,et al.  Attitude and articulation control for the Cassini spacecraft: a fault tolerance overview , 1995, Proceedings of 14th Digital Avionics Systems Conference.

[13]  Félix Ingrand,et al.  Managing Deliberation and Reasoning in Real-Time AI Systems , 1990 .

[14]  Austin Tate,et al.  O-Plan: The open Planning Architecture , 1991, Artif. Intell..

[15]  Jörg P. Müller,et al.  An Architecture for Dynamically Interacting Agents , 1994, Int. J. Cooperative Inf. Syst..

[16]  Erann Gat,et al.  An Autonomous Spacecraft Agent Prototype , 1997, AGENTS '97.

[17]  Marcel Schoppers,et al.  The Use of Dynamics in an Intelligent Controller for a Space Faring Rescue Robot , 1995, Artif. Intell..

[18]  Amy L. Lansky,et al.  Reasoning and planning in dynamic domains: An experiment with a mobile robot , 1987 .

[19]  William F. Clocksin,et al.  Programming in Prolog , 1987, Springer Berlin Heidelberg.

[20]  Erann Gat,et al.  Robust Periodic Planning and Execution for Autonomous Spacecraft , 1997, IJCAI.

[21]  M.P. Georgeff,et al.  Procedural knowledge , 1986, Proceedings of the IEEE.

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

[23]  P. Pandurang Nayak,et al.  A Reactive Planner for a Model-based Executive , 1997, IJCAI.

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

[25]  Richard Fikes,et al.  Learning and Executing Generalized Robot Plans , 1993, Artif. Intell..

[26]  Michael Wooldridge,et al.  Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, IJCAI 97, Nagoya, Japan, August 23-29, 1997, 2 Volumes , 1997, IJCAI.

[27]  Michael Freed,et al.  Managing Decision Resources in Plan Execution , 1997, IJCAI.

[28]  Innes A. Ferguson.  TouringMachines: an architecture for dynamic, rational, mobile agents , 1992 .

[29]  Brian C. Williams,et al.  Diagnosis with Behavioral Modes , 1989, IJCAI.

[30]  P. Pandurang Nayak,et al.  A Model-Based Approach to Reactive Self-Configuring Systems , 1996, AAAI/IAAI, Vol. 2.

[31]  John D. Lowrance,et al.  Planning and reacting in uncertain and dynamic environments , 1995, J. Exp. Theor. Artif. Intell..

[32]  Michael R. Genesereth,et al.  Logical foundations of artificial intelligence , 1987 .

[33]  Gary H. Ogasawara,et al.  A distributed, decision-theoretic control system for a mobile robot , 1991, SGAR.

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