AllemaniACs Team Description

This paper describes the scientific advances of the AllemaniACs team for the 2009 RoboCup@Home competitions. We present important modules of our robot control software which allows us to perform reliable service robotics applications in the @Home league. Furthermore, we report on our high-level programming language providing a powerful framework for agent behavior specification.

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

[2]  Alexander Ferrein,et al.  Approaching A Formal Soccer Theory FromBehaviour Specifi Cations In Robotic Soccer , 2008 .

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

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

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

[6]  Alexander Ferrein,et al.  Using Golog for Deliberation and Team Coordination in Robotic Soccer , 2005, Künstliche Intell..

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

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

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

[10]  David G. Lowe,et al.  Object recognition from local scale-invariant features , 1999, Proceedings of the Seventh IEEE International Conference on Computer Vision.

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

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

[13]  Gerhard Lakemeyer,et al.  Azimuthal sound localization using coincidence of timing across frequency on a robotic platform. , 2007, The Journal of the Acoustical Society of America.

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

[15]  Alexander Ferrein,et al.  Specifying multirobot coordination in ICPGolog from simulation towards real robots , 2003 .

[16]  Gerhard Lakemeyer,et al.  Combining Sound Localization and Laser-based Object Recognition , 2007, AAAI Spring Symposium: Multidisciplinary Collaboration for Socially Assistive Robotics.

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

[18]  Alexander Ferrein,et al.  Embedding fuzzy controllers in golog , 2009, 2009 IEEE International Conference on Fuzzy Systems.

[19]  Alex M. Andrew,et al.  Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems , 2002 .

[20]  Martin L. Puterman,et al.  Markov Decision Processes: Discrete Stochastic Dynamic Programming , 1994 .

[21]  Gerhard Lakemeyer,et al.  cc-Golog: Towards More Realistic Logic-Based Robot Controllers , 2000, AAAI/IAAI.

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

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

[24]  Alexander Ferrein,et al.  Qualitative World Models for Soccer Robots , 2006 .

[25]  Alexander Ferrein,et al.  A Fuzzy Set Semantics for Qualitative Fluents in the Situation Calculus , 2008, ICIRA.

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

[27]  Luc Van Gool,et al.  SURF: Speeded Up Robust Features , 2006, ECCV.

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

[29]  Alexander Ferrein,et al.  Fuzzy Representations and Control for Domestic Service Robots in Golog , 2011, ICIRA.