Abstract
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.
Similar content being viewed by others
References
Alami R, Clodic A, Montreuil V, Sisbot EA, Chatila R (2005) Task planning for human-robot interaction. In: sOc-EUSAI ’05: Proceedings of the 2005 joint conference on Smart objects and ambient intelligence. ACM, New York, NY, USA, pp 81–85
Allen JF (1983) Maintaining knowledge about temporal intervals. Commun ACM 26(11):832–843
Beetz M (2001) Structured reactive controllers. J Auton Agents Multi-Agent Syst 2(4):25–55
Beetz M, Arbuckle T, Belker T, Cremers AB, Schulz D (2001) Integrated plan-based control of autonomous robots in human environments. IEEE Intell Syst 16(5):56–65
Beetz M, Jain D, Mösenlechner L, Tenorth M (2010) Towards performing everyday manipulation activities. Robot Auton Syst 58(9):1085–1095
Belle V, Deselaers T, Schiffer S (2008) Randomized trees for real-time one-step face detection and recognition. In: Proceedings of the 19th international conference on pattern recognition (ICPR’08). IEEE Computer Society, pp 1–4
Boutilier C, Reiter R, Soutchanski M, Thrun S (2000) Decision-theoretic, high-level agent programming in the situation calculus. In: Proceedings of the seventeenth national conference on artificial intelligence (AAAI-00). AAAI Press, pp 355–362
Breiman L (2001) Random forests. Mach Learn 45(1):5–32
Brenner M (2007) Situation-aware interpretation, planning and execution of user commands by autonomous robots. In: The 16th IEEE international symposium on robot and human interactive communication (RO-MAN 2007), pp 540–545
Breuer T, Giorgana Macedo G, Hartanto R, Hochgeschwender N, Holz D, Hegger F, Jin Z, Müller C, Paulus J, Reckhaus M, lvarez Ruiz J., Plöger P, Johnny KG (2012) An autonomous service robot for domestic environments. J Intell Robot Syst 66:245–272
Chen X, Ji J, Jiang J, Jin G, Wang F, Xie J (2010) Developing high-level cognitive functions for service robots. In: Proceedings of the 9th international conference on autonomous agents and multiagent systems, vol 1. AAMAS ’10. International Foundation for Autonomous Agents and Multiagent Systems, Richland, SC, pp 989–996
Chen X, Jiang J, Ji J, Jin G, Wang F (2009) Integrating nlp with reasoning about actions for autonomous agents communicating with humans. In: Proceedings of the 2009 IEEE/WIC/ACM international joint conference on web intelligence and intelligent agent technology, vol 02. WI-IAT ’09. IEEE Computer Society, Washington, DC, USA, pp 137–140
De Giacomo G, Lésperance Y, ConGolog LH (2000) A concurrent programming language based on situation calculus. Artif Intell 121(1–2):109–169
Dellaert F, Fox D, Burgard W, Thrun S (1999) Monte Carlo localization for mobile robots. In: Proceedings of the international conference on robotics and automation (ICRA)
Diankov R, Kuffner J (2008) Openrave: a planning architecture for autonomous robotics. Technical Report. CMU-RI-TR-08-34, Robotics Institute, Pittsburgh, PA
Doostdar M, Schiffer S, Lakemeyer G (2008) Robust speech recognition for service robotics applications. In: Proceedings of the international RoboCup symposium 2008 (RoboCup 2008). LNCS, vol 5399. Springer, Best Student Paper Award, pp 1–12
Engleberg IN, Wynn DR (2006) Working in groups: communication principles and strategies, 4th edn. Allyn & Bacon, Boston
Ferrein A (2010) Robot controllers for highly dynamic environments with real-time constraints. Künstliche Intelligenz 24(2):175–178
Ferrein A, Fritz C, Lakemeyer G (2004) On-line decision-theoretic Golog for unpredictable domains. In: Biundo S, Frühwirth TW, Palm G (eds) KI 2004: advances in artificial intelligence, proceedings of the twenty-seventh annual German conference on artificial intelligence, (KI-04). Lecture notes in computer science, vol 3238. Springer Verlag, pp 322–336
Ferrein A, Lakemeyer G (2008) Logic-based robot control in highly dynamic domains. Robot Auton Syst Spec Issue Semant Knowl Robot 56(11):980–991
Fox D, Burgard W, Thrun S (1997) The dynamic window approach to collision avoidance. IEEE Robot Autom Mag 4(1):23–33
Grosskreutz H (2000) Probabilistic projection and belief update in the pGOLOG framework. In: Proceedings of the 2nd international cognitive robotics workshop (CogRob’00) at the 14th European conference on artificial intelligence (ECAI), pp 34–41
Grosskreutz H, Lakemeyer G (2001) On-line execution of cc-Golog plans. In: Nebel B (ed) Proceedings of the seventeenth international joint conference on artificial intelligence (IJCAI), pp 12–18. Morgan Kaufmann
Hart P, Nilsson N, Raphael B (1968) A formal basis for the heuristic determination of minimum cost paths. IEEE Trans Syst Sci Cybern 4(2):100–107
Huang X, Alleva F, Hon HW, Hwang MY, Rosenfeld R (1993) The SPHINX-II speech recognition system: an overview. Comput Speech Lang 7(2):137–148
Jacobs S, Ferrein A, Schiffer S, Beck D, Lakemeyer G (2009) Robust collision avoidance in unknown domestic environments. In: Proceedings of the international RoboCup symposium 2009 (RoboCup 2009). LNCS, vol 5949, pp 116–127. Springer
Ji J, Chen X (2011) Induction in nonmonotonic causal theories for a domestic service robot. In: Proceedings of the 21st international conference on inductive logic programming (ILP 2011)
Lemai S, Ingrand F (2004) Interleaving temporal planning and execution in robotics domains. In: AAAI’04: proceedings of the 19th national conference on artifical intelligence, pp 617–622. AAAI Press/The MIT Press
Levesque H, Reiter R, Lésperance Y, Lin F, Scherl R (1997) GOLOG: a logic programming language for dynamic domains. J Log Program 31(1–3):59–83
Lienhart R, Maydt J (2002) An extended set of haar-like features for rapid object detection. In: Proceedings of the international conference on image processing (ICIIP). IEEE, Rochester, USA, pp 900–903
McCarthy J (1963) Situations, Actions and Causal Laws. Stanford University, Technical Report
Niemueller T, Ferrein A, Beck D, Lakemeyer G (2010) In: Design principles of the component-based robot software framework fawkes. Second international conference on simulation, modeling, and programming for autonomous robots. Springer, Darmstadt, Germany
Reiter R (2001) Knowledge in action. The MIT Press, Cambridge
Schiffer S, Baumgartner T, Lakemeyer G (2011) A modular approach to gesture recognition for interaction with a domestic service robot. In: Jeschke S, Liu H, Schilberg D (eds) Intelligent robotics and applications. Lecture notes in computer science, vol 7102. Springer, Berlin/Heidelberg, pp 348–357
Schiffer S, Ferrein A, Lakemeyer G (2012) Reasoning with qualitative positional information for domestic domains in the situation calculus. J Intell Robot Syst 66(1–2):273–300. http://www.springerlink.com/content/t8526j2275827107/
Schiffer S, Ferrein A, Lakemeyer G (2006) Football is coming home. In: Proceedings of the 2006 international symposium on practical cognitive agents and robots (PCAR’06). ACM, New York, NY, USA, pp 39–50
Schiffer S, Hoppe N, Lakemyer G (2012) Flexible command interpretation on an interactive domestic service robot. In: Filipe J, Fred A (eds) Proceedings of the 4th international conference on agents and artificial intelligence (ICAART 2012), vol 1. Artificial Intelligence. SciTePress, pp 26–35. Best student paper award
Schiffer S, Wortmann A, Lakemeyer G (2010) Self-maintenance for autonomous robots controlled by readyLog. In: Ingrand F, Guiochet J (eds) Proceedings of the 7th IARP workshop on technical challenges for dependable robots in human environments (DRHE’2010). Toulouse, France, pp 101–107
Shibata T, Mitsui T, Wada K, Tanie K (2002) Entertainment and amusement robot technologies. subjective evaluation of seal robot: Paro. Tabulation and analysis of questionnaire results. J Rob Mechatron 14(1):13–19
Strack A, Ferrein A, Lakemeyer G (2006) Laser-based localization with sparse landmarks. In: Bredenfeld A, Jacoff A, Noda I, Takahashi Y (eds) RoboCup 2005: robot soccer world cup IX. Lecture notes in computer science, vol 4020. Springer, pp 569–576
Stückler J, Behnke S (2009) Integrating indoor mobility, object manipulation, and intuitive interaction for domestic service tasks. In: Proceedings of the 9th IEEE-RAS international conference on humanoid robots (Humanoids 2009), pp 506–513
Thrun S (2005) 175 miles through the desert. In: Proceedings of the 28th annual German conference on advances in artificial intelligence, KI’05. Springer-Verlag, Berlin, Heidelberg, p 17
Viola PA, Jones MJ (2001) Rapid object detection using a boosted cascade of simple features. In: 2001 IEEE computer society conference on computer vision and pattern recognition (CVPR 2001), pp 511–518
Wisspeintner T, van der Zant T, Iocchi L, Schiffer S (2009) Robocup@home: scientific competition and benchmarking for domestic service robots. Interaction studies. Spec Issue Robot Wild 10(3):392–426
Wobbrock JO, Wilson AD, Li Y (2007) Gestures without libraries, toolkits or training: a 1$ recognizer for user interface prototypes. In: Proceedings of the 20th annual ACM symposium on User interface software and technology, pp 159–168
van der Zant T, Wisspeintner T (2006) RoboCup X: a proposal for a new league where RoboCup goes real world. In: Bredenfeld A, Jacoff A, Noda I, Takahashi Y (eds) RoboCup 2005: robot soccer world cup IX. Lecture notes in computer science, vol 4020. Springer, pp 166–172
van der Zant T, Wisspeintner T (2007) RoboCup@Home: creating and benchmarking tomorrows service robot applications. In: Lima P (ed) Robotic soccer. InTech Education and Publishing, pp 521–528
Acknowledgments
This work would not have been possible without the continuous efforts of the members of the AllemaniACs RoboCup Team, namely Tobias Baumgartner, Daniel Beck, Vaishak Belle, Masrur Doostdar, Niklas Hoppe, Bahram Maleki-Fard, Tim Niemüller, Christoph Schwering, Andreas Wortmann and others. We gratefully acknowledge partly funding for this research by the German National Science Foundation (DFG) under grants La 747/9-1, 2 and 5 and by the NRW Ministry of Education and Research (MSWF). We also thank the anonymous reviewers for their helpful comments on earlier versions of this paper.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Schiffer, S., Ferrein, A. & Lakemeyer, G. Caesar: an intelligent domestic service robot. Intel Serv Robotics 5, 259–273 (2012). https://doi.org/10.1007/s11370-012-0118-y
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11370-012-0118-y