Ferrein, Alexander2018-01-082018-01-0820102010https://dl.gi.de/handle/20.500.12116/11139In 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 roboticsReasoning about actionsText/Journal Article1610-1987