Skip to main content
Log in

Robot Controllers for Highly Dynamic Environments with Real-time Constraints

  • Dissertationen und Habilitationen
  • Published:
KI - Künstliche Intelligenz Aims and scope Submit manuscript

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Fig. 1
Fig. 2
Fig. 3
Fig. 4

Similar content being viewed by others

References

  1. Boutilier C, Dean T, Hanks S (1999) Decision-theoretic planning: structural assumptions and computational leverage. J Artif Intell Res 11:1–94

    MATH  MathSciNet  Google Scholar 

  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. 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. 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

    Article  MATH  Google Scholar 

  5. Ferrein A (2008) Robot controllers for highly dynamic environments with real-time constraints. Doctoral dissertation, KBSG, RWTH Aachen University, Germany

  6. Grosskreutz H (2000) Probabilistic projection and belief update in the pgolog framework. In: CogRob-00, ECAI-00, pp 34–41

  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. 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. 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

    Article  MATH  Google Scholar 

  10. Lin F, Reiter R (1997) How to progress a database. Artif Intell 92(1–2):131–167

    Article  MATH  MathSciNet  Google Scholar 

  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. Reiter R (2001) Knowledge in action. MIT Press, Cambridge

    MATH  Google Scholar 

Download references

Acknowledgements

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.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Alexander Ferrein.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Ferrein, A. Robot Controllers for Highly Dynamic Environments with Real-time Constraints. Künstl Intell 24, 175–178 (2010). https://doi.org/10.1007/s13218-010-0041-3

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s13218-010-0041-3

Keywords

Navigation