On-board timeline validation and repair : a feasibility study

We report on the progress and outcome of a recent ESAfunded project (MMOPS) designed to explore the feasibility of on-board reasoning about payload timelines. The project sought to examine the role of on-board timeline reasoning and the operational context into which it would fit. We framed a specification for an on-board service that fits with existing practices and represents a plausible advance within sensible constraints on the progress of operations planning. We have implemented a prototype to demonstrate the feasibility of such a system and have used it to show how science gathering operations might be improved by its deployment.

[1]  Rob Sherwood,et al.  The EO-1 Autonomous Science Agent Architecture , 2004 .

[2]  Maria Fox,et al.  PDDL2.1: An Extension to PDDL for Expressing Temporal Planning Domains , 2003, J. Artif. Intell. Res..

[3]  Nicola Muscettola,et al.  Planning in Interplanetary Space: Theory and Practice , 2000, AIPS.

[4]  Derek Long,et al.  Plan Constraints and Preferences in PDDL3 , 2006 .

[5]  Maria Fox,et al.  Modelling Mixed Discrete-Continuous Domains for Planning , 2006, J. Artif. Intell. Res..

[6]  Rob Sherwood,et al.  The EO-1 autonomous science agent , 2004, Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, 2004. AAMAS 2004..

[7]  Derek Long,et al.  Plan validation and mixed-initiative planning in space operations , 2005 .

[8]  Maria Fox,et al.  Validating Plans in the Context of Processes and Exogenous Events , 2005, AAAI.

[9]  Maria Fox,et al.  VAL: automatic plan validation, continuous effects and mixed initiative planning using PDDL , 2004, 16th IEEE International Conference on Tools with Artificial Intelligence.

[10]  Ivan Serina,et al.  MADbot: A Motivated and Goal Directed Robot , 2005, AAAI.

[11]  Craig A. Knoblock,et al.  PDDL-the planning domain definition language , 1998 .