Caesar: an intelligent domestic service robot

In this paper we present Caesar, an intelligent domestic service robot. In domestic settings for service robots complex tasks have to be accomplished. Those tasks benefit from deliberation, from robust action execution and from flexible methods for human–robot interaction that account for qualitative notions used in natural language as well as human fallibility. Our robot Caesar deploys AI techniques on several levels of its system architecture. On the low-level side, system modules for localization or navigation make, for instance, use of path-planning methods, heuristic search, and Bayesian filters. For face recognition and human–machine interaction, random trees and well-known methods from natural language processing are deployed. For deliberation, we use the robot programming and plan language Readylog, which was developed for the high-level control of agents and robots; it allows combining programming the behaviour using planning to find a course of action. Readylog is a variant of the robot programming language Golog. We extended Readylog to be able to cope with qualitative notions of space frequently used by humans, such as “near” and “far”. This facilitates human–robot interaction by bridging the gap between human natural language and the numerical values needed by the robot. Further, we use Readylog to increase the flexible interpretation of human commands with decision-theoretic planning. We give an overview of the different methods deployed in Caesar and show the applicability of a system equipped with these AI techniques in domestic service robotics.

[1]  J. McCarthy Situations, Actions, and Causal Laws , 1963 .

[2]  Michael Beetz Structured Reactive Controllers , 2004, Autonomous Agents and Multi-Agent Systems.

[3]  Gerhard Lakemeyer,et al.  A Modular Approach to Gesture Recognition for Interaction with a Domestic Service Robot , 2011, ICIRA.

[4]  Thomas Wisspeintner,et al.  RoboCup X: A Proposal for a New League Where RoboCup Goes Real World , 2005, RoboCup.

[5]  Xiaoping Chen,et al.  Developing high-level cognitive functions for service robots , 2010, AAMAS.

[6]  Alexander Ferrein,et al.  Football is coming home , 2006, PCAR '06.

[7]  Thomas Deselaers,et al.  Randomized trees for real-time one-step face detection and recognition , 2008, 2008 19th International Conference on Pattern Recognition.

[8]  Alexander Ferrein,et al.  Robot Controllers for Highly Dynamic Environments with Real-time Constraints , 2010, KI - Künstliche Intelligenz.

[9]  James F. Allen Maintaining knowledge about temporal intervals , 1983, CACM.

[10]  Isa N. Engleberg,et al.  Working in Groups: Communication Principles and Strategies , 2000 .

[11]  Michael Brenner Situation-Aware Interpretation, Planning and Execution of User Commands by Autonomous Robots , 2007, RO-MAN 2007 - The 16th IEEE International Symposium on Robot and Human Interactive Communication.

[12]  Yang Li,et al.  Gestures without libraries, toolkits or training: a $1 recognizer for user interface prototypes , 2007, UIST.

[13]  Gerhard Lakemeyer,et al.  On-Line Execution of cc-Golog Plans , 2001, IJCAI.

[14]  Henrik Grosskreutz,et al.  Probabilistic Projection and Belief Update in the pGOLOG Framework , 2000, GI Jahrestagung.

[15]  Paul A. Viola,et al.  Rapid object detection using a boosted cascade of simple features , 2001, Proceedings of the 2001 IEEE Computer Society Conference on Computer Vision and Pattern Recognition. CVPR 2001.

[16]  Raymond Reiter,et al.  Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems , 2001 .

[17]  Leo Breiman,et al.  Random Forests , 2001, Machine Learning.

[18]  Stefan Jacobs,et al.  Robust Collision Avoidance in Unknown Domestic Environments , 2009, RoboCup.

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

[20]  Craig Boutilier,et al.  Decision-Theoretic, High-Level Agent Programming in the Situation Calculus , 2000, AAAI/IAAI.

[21]  John G. Gibbons Knowledge in Action , 2001 .

[22]  D. Fox,et al.  Integrated Plan-based Control of Autonomous Service Robots in Human Environments , 2001 .

[23]  Wolfram Burgard,et al.  The dynamic window approach to collision avoidance , 1997, IEEE Robotics Autom. Mag..

[24]  Takanori Shibata,et al.  Subjective Evaluation of Seal Robot: Paro -Tabulation and Analysis of Questionnaire Results , 2002, J. Robotics Mechatronics.

[25]  Xiaoping Chen,et al.  Integrating NLP with Reasoning about Actions for Autonomous Agents Communicating with Humans , 2009, 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology.

[26]  Alexander Ferrein,et al.  Logic-based robot control in highly dynamic domains , 2008, Robotics Auton. Syst..

[27]  Wolfram Burgard,et al.  Monte Carlo localization for mobile robots , 1999, Proceedings 1999 IEEE International Conference on Robotics and Automation (Cat. No.99CH36288C).

[28]  Thomas Wisspeintner,et al.  RoboCup@Home: Creating and Benchmarking Tomorrows Service Robot Applications , 2007 .

[29]  Xiaoping Chen,et al.  Induction in Nonmonotonic Causal Theories for a Domestic Service Robot , 2011, ILP.

[30]  Gerhard Lakemeyer,et al.  Flexible Command Interpretation on an Interactive Domestic Service Robot , 2012, ICAART.

[31]  Rainer Lienhart,et al.  An extended set of Haar-like features for rapid object detection , 2002, Proceedings. International Conference on Image Processing.

[32]  Gerhard Lakemeyer,et al.  Self-Maintenance for Autonomous Robots controlled by ReadyLog , 2010 .

[33]  Alexander Ferrein,et al.  Laser-Based Localization with Sparse Landmarks , 2005, RoboCup.

[34]  James J. Kuffner,et al.  OpenRAVE: A Planning Architecture for Autonomous Robotics , 2008 .

[35]  Luca Iocchi,et al.  RoboCup@Home: Scientific Competition and Benchmarking for Domestic Service Robots , 2009 .

[36]  Gerhard Lakemeyer,et al.  A Robust Speech Recognition System for Service-Robotics Applications , 2008, RoboCup.

[37]  Nils J. Nilsson,et al.  A Formal Basis for the Heuristic Determination of Minimum Cost Paths , 1968, IEEE Trans. Syst. Sci. Cybern..

[38]  Rachid Alami,et al.  Task planning for human-robot interaction , 2005, sOc-EUSAI '05.

[39]  Sebastian Thrun 175 Miles Through the Desert , 2005, KI.

[40]  Frederik Hegger,et al.  Johnny: An Autonomous Service Robot for Domestic Environments , 2011, Journal of Intelligent & Robotic Systems.

[41]  Alexander Ferrein,et al.  Reasoning with Qualitative Positional Information for Domestic Domains in the Situation Calculus , 2012, J. Intell. Robotic Syst..

[42]  Moritz Tenorth,et al.  Towards performing everyday manipulation activities , 2010, Robotics Auton. Syst..

[43]  Mei-Yuh Hwang,et al.  The SPHINX-II speech recognition system: an overview , 1993, Comput. Speech Lang..

[44]  Hector J. Levesque,et al.  GOLOG: A Logic Programming Language for Dynamic Domains , 1997, J. Log. Program..

[45]  Alexander Ferrein,et al.  Design Principles of the Component-Based Robot Software Framework Fawkes , 2010, SIMPAR.

[46]  Jörg Stückler,et al.  Integrating indoor mobility, object manipulation, and intuitive interaction for domestic service tasks , 2009, 2009 9th IEEE-RAS International Conference on Humanoid Robots.

[47]  Hector J. Levesque,et al.  ConGolog, a concurrent programming language based on the situation calculus , 2000, Artif. Intell..

[48]  Wolfram Burgard,et al.  Integrated, plan-based control of autonomous robot in human environments , 2001, IEEE Intelligent Systems.

[49]  Alexander Ferrein,et al.  On-Line Decision-Theoretic Golog for Unpredictable Domains , 2004, KI.