KI - Künstliche Intelligenz

, Volume 24, Issue 2, pp 175–178 | Cite as

Robot Controllers for Highly Dynamic Environments with Real-time Constraints

  • Alexander FerreinEmail author
Dissertationen und Habilitationen


In this extended abstract we describe the robot programming and planning language Readylog, a Golog dialect which was developed to support the decision making of robots acting in dynamic real-time domains like robotic soccer. The formal framework of Readylog, which is based on the situation calculus, features imperative control structures like loops and procedures, allows for decision-theoretic planning, and accounts for a continuously changing world. We developed high-level controllers in Readylog for our soccer robots in RoboCup’s Middle-size league, but also for service robots and for autonomous agents in interactive computer games.


Cognitive robotics Reasoning about actions 



I would like to thank my supervisor Gerhard Lakemeyer and the Knowledge-Based Systems Group at RWTH Aachen University for their support and advice during the preparation of my thesis. Further, I would like to thank the Alexander von Humboldt Foundation for supporting me in the Feodor Lynen programme at my current affiliation.


  1. 1.
    Boutilier C, Dean T, Hanks S (1999) Decision-theoretic planning: structural assumptions and computational leverage. J Artif Intell Res 11:1–94 zbMATHMathSciNetGoogle Scholar
  2. 2.
    Boutilier C, Reiter R, Soutchanski M, Thrun S (2000) Decision-theoretic, high-level agent programming in the situation calculus. In: Proc. AAAI-00. AAAI Press, Menlo Park, pp 355–362 Google Scholar
  3. 3.
    De Giacomo G, Levesque H (1999) An incremental interpreter for high-level programs with sensing. In: Levesque H, Pirri F (eds) Logical foundation for cognitive agents: contributions in honor of Ray Reiter. Springer, Berlin, pp 86–102 Google Scholar
  4. 4.
    De Giacomo G, Lésperance Y, Levesque H (2000) ConGolog: a concurrent programming language based on situation calculus. Artif Intell 121(1–2):109–169 zbMATHCrossRefGoogle Scholar
  5. 5.
    Ferrein A (2008) Robot controllers for highly dynamic environments with real-time constraints. Doctoral dissertation, KBSG, RWTH Aachen University, Germany Google Scholar
  6. 6.
    Grosskreutz H (2000) Probabilistic projection and belief update in the pgolog framework. In: CogRob-00, ECAI-00, pp 34–41 Google Scholar
  7. 7.
    Grosskreutz H, Lakemeyer G (2001) On-line execution of cc-Golog plans. In: Nebel B (ed) Proc. IJCAI-01. Kaufmann, Los Altos Google Scholar
  8. 8.
    Lakemeyer G (1999) On sensing and off-line interpreting in GOLOG. In: Levesque H, Pirri F (eds) Logical foundation for cognitive agents: contributions in honor of Ray Reiter. Springer, Berlin, pp 173–187 Google Scholar
  9. 9.
    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 zbMATHCrossRefGoogle Scholar
  10. 10.
    Lin F, Reiter R (1997) How to progress a database. Artif Intell 92(1–2):131–167 zbMATHCrossRefMathSciNetGoogle Scholar
  11. 11.
    Precup D, Sutton R, Singh S (1998) Theoretical results on reinforcement learning with temporally abstract options. In: Proc. EMCL-98. LNCS, vol 1398. Springer, Berlin, pp 382–393 Google Scholar
  12. 12.
    Reiter R (2001) Knowledge in action. MIT Press, Cambridge zbMATHGoogle Scholar

Copyright information

© Springer-Verlag 2010

Authors and Affiliations

  1. 1.Robotics and Agents Research LabUniversity of Cape TownRondeboschSouth Africa

Personalised recommendations