Knowledge Enabled High-Level Task Abstraction and Execution

This paper investigates issues in the plan design of cognition-enabled robotic agents performing everyday manipulation tasks. We believe that plan languages employed by most cognitive architectures are syntactically too restricted to specify the flexibility, generality, and robustness needed to perform physical manipulation tasks. As a consequence, the robotic agents often have to employ flexible plan execution systems. This causes two problems. First, robots cannot understand how their plans generate flexible behavior, and second, they cannot use the mechanisms of flexible plan execution for plan improvement. We report on our research on plan design for robotic agents performing human-scale everyday manipulation tasks, such as making pancakes and popcorn. We will stress three key factors in plan design. First, the use of vague descriptions of objects, locations, and actions that the robot can reason about and revise at execution time. Second, the plan language constructs needed for failure detection, propagation, and handling. Third, plan language constructs that represent and annotate the intentions of the robot explicitly even in concurrent percept driven plans. We clarify our concepts in terms of a generalized pick and place task. In this context, failure handling in uncertain environments is still an open problem, for which we demonstrate a solution using our high level plan representation. We illustrate the advantages of our approach in a simulated environment.

[1]  E. Gat On Three-Layer Architectures , 1997 .

[2]  Moritz Tenorth,et al.  CRAM — A Cognitive Robot Abstract Machine for everyday manipulation in human environments , 2010, 2010 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[3]  Alin Albu-Schäffer,et al.  The DLR lightweight robot: design and control concepts for robots in human environments , 2007, Ind. Robot.

[4]  Henrik I. Christensen,et al.  Automatic grasp planning using shape primitives , 2003, 2003 IEEE International Conference on Robotics and Automation (Cat. No.03CH37422).

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

[6]  Michael Beetz,et al.  Parameterizing actions to have the appropriate effects , 2011, 2011 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[7]  Geoffrey A. Hollinger,et al.  HERB: a home exploring robotic butler , 2010, Auton. Robots.

[8]  Michael Beetz,et al.  Becoming action-aware through reasoning about logged plan execution traces , 2010, 2010 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[9]  Reid G. Simmons,et al.  Structured control for autonomous robots , 1994, IEEE Trans. Robotics Autom..

[10]  Steve Cousins,et al.  The SMACH High-Level Executive , 2010 .

[11]  Robert C. Moore A Formal Theory of Knowledge and Action , 1984 .

[12]  Michael Beetz,et al.  Using Physics- and Sensor-based Simulation for High-Fidelity Temporal Projection of Realistic Robot Behavior , 2009, ICAPS.

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

[14]  Marcel Schoppers,et al.  Universal Plans for Reactive Robots in Unpredictable Environments , 1987, IJCAI.

[15]  Robert C. Moore,et al.  Formal Theories of the Commonsense World , 1985 .

[16]  Matei T. Ciocarlie,et al.  The Columbia grasp database , 2009, 2009 IEEE International Conference on Robotics and Automation.

[17]  Michael J. Swain,et al.  Plan representations for picking up trash , 1995, Proceedings of 7th IEEE International Conference on Tools with Artificial Intelligence.

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

[19]  Michael Beetz Plan Representation for Robotic Agents , 2002, AIPS.

[20]  Michael Beetz Concurrent reactive plans: anticipating and forestalling execution failures , 2000 .

[21]  Dejan Pangercic,et al.  Robotic roommates making pancakes , 2011, 2011 11th IEEE-RAS International Conference on Humanoid Robots.

[22]  Reid G. Simmons,et al.  Concurrent planning and execution for a walking robot , 1990, Proceedings. 1991 IEEE International Conference on Robotics and Automation.

[23]  Nico Blodow,et al.  Cognition-Enabled Autonomous Robot Control for the Realization of Home Chore Task Intelligence , 2012, Proc. IEEE.

[24]  Moritz Tenorth,et al.  Knowledge Processing for Autonomous Robot Control , 2012, AAAI Spring Symposium: Designing Intelligent Robots.

[25]  Ashutosh Saxena,et al.  Robotic Grasping of Novel Objects using Vision , 2008, Int. J. Robotics Res..