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.
Similar content being viewed by others
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.References
Boutilier C, Dean T, Hanks S (1999) Decision-theoretic planning: structural assumptions and computational leverage. J Artif Intell Res 11:1–94
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
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
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
Ferrein A (2008) Robot controllers for highly dynamic environments with real-time constraints. Doctoral dissertation, KBSG, RWTH Aachen University, Germany
Grosskreutz H (2000) Probabilistic projection and belief update in the pgolog framework. In: CogRob-00, ECAI-00, pp 34–41
Grosskreutz H, Lakemeyer G (2001) On-line execution of cc-Golog plans. In: Nebel B (ed) Proc. IJCAI-01. Kaufmann, Los Altos
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
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
Lin F, Reiter R (1997) How to progress a database. Artif Intell 92(1–2):131–167
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
Reiter R (2001) Knowledge in action. MIT Press, Cambridge
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
Corresponding author
Rights 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
Published:
Issue Date:
DOI: https://doi.org/10.1007/s13218-010-0041-3