The Remote Agent Executive Capabilities to Support Integrated Robotic Agents

The Remote Agent RA integrates a broad spectrum of robotic activities including planning schedul ing execution monitoring failure detection diagnosis and recovery The RA Executive EXEC can be viewed as the core of the agent EXEC enables software developers to think about the robot at a higher level it also supports the reuse of knowledge and code across multiple robot applications EXEC s capabilities include a high level procedural action de nition language services for resource management and con guration management support for executing exible closed loop plans and command sequences support for replanning and a framework for specifying fault responses including safe modes and responses to plan failures We believe that these capabilities are required for most autonomous agents and that executives and execution capabilities will become more essential as we attempt to develop autonomous agents of increasing capability Moreover we deem modularity variable autonomy robustness and support for tools and testing to be general architectural properties necessary for design deployment and operation of executives within a complex mission To this end we are remodularizing the executive by providing each capability as a separate component so that the individual capabilities can be standardized and shared across di erent agent architectures

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

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

[3]  Michael R. Lowry,et al.  Verification and Validation of AI Systems that Control Deep-Space Spacecraft , 1997, ISMIS.

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

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

[6]  John Penix,et al.  Declarative specification of software architectures , 1997, Proceedings 12th IEEE International Conference Automated Software Engineering.

[7]  Reid Simmons,et al.  Visualization Tools for Validating Software of Autonomous Spacecraft , 1999 .

[8]  ProcessingDavid J. Musliner Contract-based Distributed Scheduling for Distributed Processing , 1997 .

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

[10]  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.

[11]  Michael R. Lowry,et al.  Formal Analysis of a Space-Craft Controller Using SPIN , 2001, IEEE Trans. Software Eng..

[12]  Erann Gat,et al.  Abstract resource management in an unconstrained plan execution system , 1998, 1998 IEEE Aerospace Conference Proceedings (Cat. No.98TH8339).

[13]  Steven W. Mitchell,et al.  A Hybrid Architecture for Real-Time Mixed-Initiative Planning and Control , 1997, AAAI/IAAI.

[14]  Nicola Muscettola,et al.  Automating Mission Scheduling for Space-Based Observatories , 1998 .

[15]  Austin Tate,et al.  O-plan project evaluation experiments and results , 1996 .

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

[17]  Jane T. Malin,et al.  Functional modeling with goal-oriented activities for analysis of effects of failures on functions and operations , 1991 .

[18]  Will Edgington,et al.  Operation Closed-Loop Observation Scheduling and Execution , 1996 .

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

[20]  Michael Wooldridge,et al.  Proceedings of the second international conference on Autonomous agents , 1998 .

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

[22]  Austin Tate,et al.  Synthesizing Protection Monitors from Causal Structure , 1994, AIPS.

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

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

[25]  Nicola Muscettola,et al.  Mission operations with an autonomous agent , 1998, 1998 IEEE Aerospace Conference Proceedings (Cat. No.98TH8339).

[26]  David J. Musliner,et al.  CIRCA: a cooperative intelligent real-time control architecture , 1993, IEEE Trans. Syst. Man Cybern..

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

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

[29]  Robert D. Rasmussen,et al.  The Cassini spacecraft: Object oriented flight control software , 1993 .

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

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

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