A Flexible ANML Actor and Planner in Robotics

Planning in robotics must be considered jointly with Acting. Planning is an open loop activity which produces a plan, based on action models, the current state of the world and the desired goal state. Acting, on the other hand, is a closed loop on the environment activity (to execute command and perceive the state of the world). These two deliberative activities must be integrated and need to handle time, concurrency, synchronization , deadlines and resources. The timeline representation for temporal plan space planning and acting is very expressive ; it is also quite flexible for integrating planning and acting. The ANML language is a recent proposal motivated by combining the expressiveness of the timeline representation with the decomposition of HTN methods. This paper reports on FAPE (Flexible Acting and Planning Environment), to our knowledge the first system integrating an ANML planner and actor. Our current focus is not efficient temporal planning per se, but the tight integration of acting and planning, which is addressed by: (i) extending HTN methods with refinements , given by PRS procedures, of planned action prim-itives into low-level commands, (ii) interleaving the planning process with acting, the former implements plan repair, extension and replanning, while the latter follows PRS skills 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 and reports on initial performances.

[1]  David E. Wilkins,et al.  Practical planning - extending the classical AI planning paradigm , 1989, Morgan Kaufmann series in representation and reasoning.

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

[3]  Nicola Muscettola,et al.  IDEA: Planning at the Core of Autonomous Reactive Agents , 2002 .

[4]  Rina Dechter,et al.  Temporal Constraint Networks , 1989, Artif. Intell..

[5]  T. L. McCluskey,et al.  Workshop on Knowledge Engineering for Planning and Scheduling (KEPS) , 2008 .

[6]  Michael Beetz,et al.  Improving Robot Plans During Their Execution , 1994, AIPS.

[7]  Matthieu Herrb,et al.  GenoM3: Building middleware-independent robotic components , 2010, 2010 IEEE International Conference on Robotics and Automation.

[8]  Malte Helmert,et al.  Concise finite-domain representations for PDDL planning tasks , 2009, Artif. Intell..

[9]  R.G. Simmons,et al.  Concurrent planning and execution for autonomous robots , 1992, IEEE Control Systems.

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

[11]  Malik Ghallab,et al.  Learning how to combine sensory-motor functions into a robust behavior , 2008, Artif. Intell..

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

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

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

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

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

[17]  Alex Fukunaga,et al.  Iterative Repair Planning for Spacecraft Operations Using the Aspen System , 2000 .

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

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

[20]  David E. Wilkins,et al.  A Common Knowledge Representation for Plan Generation and Reactive Execution , 1995, J. Log. Comput..

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

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

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

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

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

[26]  Bernhard Nebel,et al.  COMPLEXITY RESULTS FOR SAS+ PLANNING , 1995, Comput. Intell..

[27]  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).

[28]  K. Rajan,et al.  Onboard Adaptive Control of AUVs using Automated Planning and Execution , 2009 .

[29]  Nicola Muscettola,et al.  Temporal Dynamic Controllability Revisited , 2005, AAAI.

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

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

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