Cognition-Enabled Autonomous Robot Control for the Realization of Home Chore Task Intelligence

This article gives an overview of cognition-enabled robot control, a computational model for controlling autonomous service robots to achieve home chore task intelligence. For the realization of task intelligence, this computational model puts forth three core principles, which essentially involve the combination of reactive behavior specifications represented as semantically interpretable plans with inference mechanisms that enable flexible decision making. The representation of behavior specifications as plans enables the robot to not only execute the behavior specifications but also to reason about them and alter them during execution. We provide a description of a complete system for cognition-enabled robot control that implements the three core principles, demonstrating the feasibility of our approach.

[1]  Jennifer Chu-Carroll,et al.  Building Watson: An Overview of the DeepQA Project , 2010, AI Mag..

[2]  Dejan Pangercic,et al.  Combining perception and knowledge processing for everyday manipulation , 2010, 2010 IEEE/RSJ International Conference on Intelligent Robots and Systems.

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

[4]  Michael Beetz,et al.  Declarative goals in reactive plans , 1992 .

[5]  Brian Drabble,et al.  EXCALIBUR: A Program for Planning and Reasoning with Processes , 1993, Artif. Intell..

[6]  Drew McDermott,et al.  Robot Planning , 1991, AI Mag..

[7]  Leora Morgenstern,et al.  Mid-Sized Axiomatizations of Commonsense Problems: A Case Study in Egg Cracking , 2001, Stud Logica.

[8]  Michael Beetz,et al.  Equipping robot control programs with first-order probabilistic reasoning capabilities , 2009, 2009 IEEE International Conference on Robotics and Automation.

[9]  Michael Beetz,et al.  Soft Evidential Update via Markov Chain Monte Carlo Inference , 2010, KI.

[10]  Ian Horswill,et al.  Analysis of Adaptation and Environment , 1995, Artif. Intell..

[11]  Erann Gat,et al.  Experiences with an architecture for intelligent, reactive agents , 1997, J. Exp. Theor. Artif. Intell..

[12]  Charles C. Kemp,et al.  Challenges for robot manipulation in human environments [Grand Challenges of Robotics] , 2007, IEEE Robotics & Automation Magazine.

[13]  Michael Beetz,et al.  Learning and Reasoning with Action-Related Places for Robust Mobile Manipulation , 2014, J. Artif. Intell. Res..

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

[15]  Matthias Jüngel,et al.  XABSL - A Pragmatic Approach to Behavior Engineering , 2006, 2006 IEEE/RSJ International Conference on Intelligent Robots and Systems.

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

[17]  Nico Blodow,et al.  Perception and probabilistic anchoring for dynamic world state logging , 2010, 2010 10th IEEE-RAS International Conference on Humanoid Robots.

[18]  Stefan Schaal,et al.  The New Robotics—towards Human-centered Machines , 2007 .

[19]  Moritz Tenorth,et al.  Understanding and executing instructions for everyday manipulation tasks from the World Wide Web , 2010, 2010 IEEE International Conference on Robotics and Automation.

[20]  Mir Saman Rahimi Mousavi,et al.  Optimal Trajectory Planning for Brachiation Robot on Ladder With Irregular Branches , 2011 .

[21]  Rainer Bischoff,et al.  Robotic Visions to 2020 and beyond -- The strategic research agenda for robotics in Europe , 2009 .

[22]  Michael Beetz,et al.  Bayesian Logic Networks and the Search for Samples with Backward Simulation and Abstract Constraint Learning , 2011, KI.

[23]  D. McDermott.  A Temporal Logic for Reasoning About Processes and Plans , 1982, Cogn. Sci..

[24]  Michael Beetz,et al.  Simulation-based temporal projection of everyday robot object manipulation , 2011, AAMAS.

[25]  M Tenorth,et al.  Web-Enabled Robots , 2011, IEEE Robotics & Automation Magazine.

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

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

[28]  Drew McDermott,et al.  The 1998 AI Planning Systems Competition , 2000, AI Mag..

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

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

[31]  Matthew Richardson,et al.  Markov logic networks , 2006, Machine Learning.

[32]  Moritz Tenorth,et al.  KNOWROB — knowledge processing for autonomous personal robots , 2009, 2009 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[33]  Dejan Pangercic,et al.  Web-enabled Robots -- Robots that Use the Web as an Information Resource , 2011, ICRA 2011.

[34]  Brian C. Williams,et al.  Model-based programming of intelligent embedded systems and robotic space explorers , 2003, Proc. IEEE.

[35]  Jonathan Bohren,et al.  The SMACH High-Level Executive [ROS News] , 2010 .

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

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

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

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

[40]  Michael Beetz,et al.  Logic programming with simulation-based temporal projection for everyday robot object manipulation , 2011, 2011 IEEE/RSJ International Conference on Intelligent Robots and Systems.