ReCon: An Online Task ReConfiguration Approach for Robust Plan Execution

The paper presents an approach for the robust plan execution in presence of consumable and continuous resources. Plan execution is a critical activity since a number of unexpected situations could prevent the feasibility of tasks to be accomplished; however, many robotic scenarios e.g. in space exploration disallow robotic systems to perform significant deviations from the original plan formulation. In order to both i preserve the "stability" of the current plan and ii provide the system with a reasonable level of autonomy in handling unexpected situations, an innovative approach based on task reconfiguration is presented. Exploiting an enriched action formulation grounding on the notion of execution modalities, ReCon replaces the replanning mechanism with a novel reconfiguration mechanism, handled by means of a CSP solver. The paper studies the system for a typical planetary rover mission and provides a rich experimental analysis showing that, when the anomalies refer to unexpected resources consumption, the reconfiguration is not only more efficient but also more effective than a plan adaptation mechanism. The experiments are performed by evaluating the recovery performances depending on constraints on computational costs.

[1]  Brian Charles Williams,et al.  Drake: An Efficient Executive for Temporal Plans with Choice , 2011, J. Artif. Intell. Res..

[2]  Roman Barták,et al.  Temporal Reasoning in Nested Temporal Networks with Alternatives , 2008, CSCLP.

[3]  Roberto Micalizio,et al.  ACTION FAILURE RECOVERY VIA MODEL‐BASED DIAGNOSIS AND CONFORMANT PLANNING , 2013, Comput. Intell..

[4]  Fahiem Bacchus,et al.  Generalizing GraphPlan by Formulating Planning as a CSP , 2003, IJCAI.

[5]  Stephen F. Smith,et al.  Solve-and-robustify , 2009, J. Sched..

[6]  Ivan Serina,et al.  Case-based Planning for Problems with Real-valued Fluents: Kernel Functions for Effective Plan Retrieval , 2012, ECAI.

[7]  Christoph Lenzen,et al.  A generalized timeline representation, services, and interface for automating space mission operations , 2012, SpaceOps 2012 Conference.

[8]  Amedeo Cesta,et al.  The Timeline Representation Framework as a Planning and Scheduling Software Development Environment , 2008 .

[9]  Roman Barták,et al.  Solving Sequential Planning Problems via Constraint Satisfaction , 2010, Fundam. Informaticae.

[10]  Amedeo Cesta,et al.  Unifying planning and scheduling as timelines in a component-based perspective , 2008 .

[11]  Mathijs de Weerdt,et al.  Plan Repair as an Extension of Planning , 2005, ICAPS.

[12]  Ivan Serina,et al.  An approach to efficient planning with numerical fluents and multi-criteria plan quality , 2008, Artif. Intell..

[13]  Enrico Scala Numerical Kernels for Monitoring and Repairing Plans Involving Continuous and Consumable Resources , 2013, ICAART.

[14]  Enrico Scala,et al.  Numeric Kernel for Reasoning about Plans Involving Numeric Fluents , 2013, AI*IA.

[15]  Pietro Torasso,et al.  Intelligent Supervision for Robust Plan Execution , 2011, AI*IA.

[16]  Ivan Serina,et al.  Efficient Plan Adaptation through Replanning Windows and Heuristic Goals , 2010, RCRA.

[17]  Xavier Lorca,et al.  Choco: an Open Source Java Constraint Programming Library , 2008 .

[18]  Brian C. Williams,et al.  Robust Execution on Contingent, Temporally Flexible Plans , 2006, AAAI.

[19]  Antonio Garrido,et al.  Anytime Plan-Adaptation for Continuous Planning , 2010 .

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

[21]  Daniele Nardi,et al.  Context-based design of robotic systems , 2008, Robotics Auton. Syst..

[22]  Pietro Torasso,et al.  Robust plan execution via reconfiguration and replanning , 2015, AI Commun..

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

[24]  Bernhard Nebel,et al.  Continual planning and acting in dynamic multiagent environments , 2006, PCAR '06.

[25]  Edmund H. Durfee,et al.  A Survey of Research in Distributed, Continual Planning , 1999, AI Mag..

[26]  Jörg Hoffmann,et al.  The Metric-FF Planning System: Translating ''Ignoring Delete Lists'' to Numeric State Variables , 2003, J. Artif. Intell. Res..

[27]  Ivan Serina,et al.  Plan Stability: Replanning versus Plan Repair , 2006, ICAPS.