Planning and Acting with Temporal and Hierarchical Decomposition Models

This paper reports on FAPE (Flexible Acting and Planning Environment), a framework integrating acting and planning on the basis of the ANML modeling language. ANML is a recent proposal motivated by combining the expressiveness of the timeline representation with decomposition methods of Hierarchical Task Networks (HTN). Our current focus is not efficient temporal planning per se, but the tight integration of acting and planning. This integration is addressed by: (i) extending HTN methods with the refinement of planned actions with skills, expressed in PRS, to map actions into low-level commands, (ii) interleaving the planning process with acting, the former performs plan repair and replanning, while the latter implements the skill-based refinements, and (iii) executing commands with a dispatching mechanism that synchronizes observed time points of action effects and events with planned time. FAPE has been integrated to a PR2 robot and experimented in a home-like environment. The paper presents how planning is performed and integrated with acting and describes briefly the robotics experiments.

[1]  Malik Ghallab,et al.  Representation and Control in IxTeT, a Temporal Planner , 1994, AIPS.

[2]  Malik Ghallab,et al.  Robotics and artificial intelligence: A perspective on deliberation functions , 2014, AI Commun..

[3]  Félix Ingrand,et al.  Interleaving Temporal Planning and Execution in Robotics Domains , 2004, AAAI.

[4]  Stefan Edelkamp,et al.  Automated Planning: Theory and Practice , 2007, Künstliche Intell..

[5]  Carmel Domshlak,et al.  Landmarks, Critical Paths and Abstractions: What's the Difference Anyway? , 2009, ICAPS.

[6]  Amedeo Cesta,et al.  Gaining efficiency and flexibility in the simple temporal problem , 1996, Proceedings Third International Workshop on Temporal Representation and Reasoning (TIME '96).

[7]  Rachid Alami,et al.  PRS: a high level supervision and control language for autonomous mobile robots , 1996, Proceedings of IEEE International Conference on Robotics and Automation.

[8]  R. James Firby,et al.  An Investigation into Reactive Planning in Complex Domains , 1987, AAAI.

[9]  Amedeo Cesta,et al.  APSI-BASED DELIBERATION IN GOAL ORIENTED AUTONOMOUS CONTROLLERS , 2011 .

[10]  Philippe Laborie,et al.  Algorithms for propagating resource constraints in AI planning and scheduling: Existing approaches and new results , 2003, Artif. Intell..

[11]  Bernd Schattenberg,et al.  Hybrid Planning and Scheduling , 2015, KI - Künstliche Intelligenz.

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

[13]  Malik Ghallab,et al.  Learning the behavior model of a robot , 2011, Auton. Robots.

[14]  David E. Smith,et al.  The ANML Language , 2007 .

[15]  Patrick Doherty,et al.  EfficientIDC: A Faster Incremental Dynamic Controllability Algorithm , 2014, ICAPS.

[16]  Dana S. Nau,et al.  SHOP2: An HTN Planning System , 2003, J. Artif. Intell. Res..

[17]  Alessandro Saffiotti,et al.  When robots are late: Configuration planning for multiple robots with dynamic goals , 2013, 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[18]  Jeremy Frank,et al.  Constraint-Based Attribute and Interval Planning , 2003, Constraints.

[19]  Andrew Coles,et al.  COLIN: Planning with Continuous Linear Numeric Change , 2012, J. Artif. Intell. Res..

[20]  Juan Fernández-Olivares,et al.  Efficiently Handling Temporal Knowledge in an HTN Planner , 2006, ICAPS.

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