Logic-based robot control in highly dynamic domains

In this paper, we present 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, such as robotic soccer. The formal framework of Readylog, which is based on the situation calculus, features imperative control structures such as 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. For a successful deployment of Readylog on a real robot it is also important to account for the control problem as a whole, integrating the low-level control of the robot (such as localization, navigation, and object recognition) with the logic-based high-level control. In doing so, our approach can be seen as a step towards bridging the gap between the fields of robotics and knowledge representation.

[1]  Rachid Alami,et al.  PRS: a high level supervision and control language for autonomous mobile robots , 1996, Proceedings of IEEE International Conference on Robotics and Automation.

[2]  Controlling Unreal Tournament 2004 Bots with the Logic-based Action Language GOLOG , 2005, AIIDE.

[3]  Alexander Ferrein,et al.  Extending DTGOLOG with Options , 2003, IJCAI.

[4]  Raymond Reiter,et al.  Logical Foundations for Cognitive Agents: Contributions in Honor of Ray Reiter , 2001 .

[5]  Tom M. Mitchell,et al.  Explanation-Based Generalization: A Unifying View , 1986, Machine Learning.

[6]  Gerhard Lakemeyer,et al.  On-Line Execution of cc-Golog Plans , 2001, IJCAI.

[7]  Gerhard Lakemeyer,et al.  On sensing and off-line interpreting in GOLOG , 1999 .

[8]  David Poole,et al.  The Independent Choice Logic for Modelling Multiple Agents Under Uncertainty , 1997, Artif. Intell..

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

[10]  Félix Ingrand,et al.  Interleaving Temporal Planning and Execution in Robotics Domains , 2004, AAAI.

[11]  Patrick Doherty,et al.  TAL: Temporal Action Logics Language Specification and Tutorial , 1998, Electron. Trans. Artif. Intell..

[12]  Michael Beetz.  Structured Reactive Controllers , 2004, Autonomous Agents and Multi-Agent Systems.

[13]  Alessandro Saffiotti,et al.  Semantic Knowledge-Based Execution Monitoring for Mobile Robots , 2007, Proceedings 2007 IEEE International Conference on Robotics and Automation.

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

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

[16]  Alessandro Saffiotti,et al.  The Saphira architecture: a design for autonomy , 1997, J. Exp. Theor. Artif. Intell..

[17]  Michael Gelfond,et al.  Representing Action and Change by Logic Programs , 1993, J. Log. Program..

[18]  David P. Miller,et al.  Experiences with an architecture for intelligent, reactive agents , 1995, J. Exp. Theor. Artif. Intell..

[19]  Fangzhen Lin,et al.  How to Progress a Database , 1997, Artif. Intell..

[20]  Tonya Lewis,et al.  Knowledge in Action , 1977 .

[21]  Erik Sandewall,et al.  Cognitive Robotics Logic and its Metatheory: Features and Fluents Revisited , 1998, Electron. Trans. Artif. Intell..

[22]  J. McCarthy.  Situations, Actions, and Causal Laws , 1963 .

[23]  Michael Thielscher,et al.  Representing the Knowledge of a Robot , 2000, KR.

[24]  Michael Thielscher,et al.  Under Consideration for Publication in Theory and Practice of Logic Programming Flux: a Logic Programming Method for Reasoning Agents , 2003 .

[25]  Milos Hauskrecht,et al.  Hierarchical Solution of Markov Decision Processes using Macro-actions , 1998, UAI.

[26]  Fiora Pirri,et al.  The domestic robot—a friendly cognitive system takes care of your home , 2003 .

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

[28]  H. Levesque,et al.  Legolog : Inexpensive Experiments in Cognitive Robotics , 2000 .

[29]  Twan Basten,et al.  Ambient Intelligence: Impact on Embedded Sytem Design , 2003, Springer US.

[30]  Michael R. Genesereth,et al.  General Game Playing: Overview of the AAAI Competition , 2005, AI Mag..

[31]  John G. Gibbons.  Knowledge in Action , 2001 .

[32]  Hector J. Levesque,et al.  An Incremental Interpreter for High-Level Programs with Sensing , 1999 .

[33]  Alberto Finzi,et al.  Model-based control architecture for attentive robots in rescue scenarios , 2008, Auton. Robots.

[34]  Patrick Doherty,et al.  Knowledge Representation and Unmanned Aerial Vehicles , 2005, Web Intelligence.

[35]  Henrik Grosskreutz,et al.  Probabilistic Projection and Belief Update in the pGOLOG Framework , 2000, GI Jahrestagung.

[36]  Giuseppe De Giacomo,et al.  Description Logic-baqsed Framrwork for Planning with Sensing Actions , 1997, Description Logics.

[37]  Wolfram Burgard,et al.  The Interactive Museum Tour-Guide Robot , 1998, AAAI/IAAI.

[38]  Stephan Schiffel,et al.  Automatic Construction of a Heuristic Search Function for General Game Playing , 2006 .

[39]  Drew McDermott,et al.  A reactive plan language , 1991 .

[40]  John Funge,et al.  Cognitive modeling for games and animation , 2000, CACM.

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

[42]  Nicola Muscettola,et al.  Model-based executive control through reactive planning for autonomous rovers , 2004, 2004 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) (IEEE Cat. No.04CH37566).

[43]  Raymond Reiter,et al.  Some contributions to the metatheory of the situation calculus , 1999, JACM.

[44]  A. Antunes.  Democracia e Cidadania na Escola: Do Discurso à Prática , 2008 .

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

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

[47]  Karen L. Myers.  A Procedural Knowledge Approach to Task-Level Control , 1996, AIPS.

[48]  Michael Thielscher,et al.  Introduction to the Fluent Calculus , 1998, Electron. Trans. Artif. Intell..

[49]  Ethan J. Tira-Thompson.  Tekkotsu : A Rapid Development Framework for Robotics C ONTENTS , 2004 .

[50]  Nicola Muscettola,et al.  IDEA: Planning at the Core of Autonomous Reactive Agents , 2002 .

[51]  Frank van Harmelen,et al.  Handbook of Knowledge Representation , 2008, Handbook of Knowledge Representation.

[52]  Hector J. Levesque,et al.  Incremental execution of guarded theories , 2001, ACM Trans. Comput. Log..

[53]  Mikhail Soutchanski,et al.  An On-line Decision-Theoretic Golog Interpreter , 2001, IJCAI.

[54]  Patrik Haslum,et al.  Extending TALplanner with Concurrency and Resources , 2000, ECAI.

[55]  Joelle Pineau,et al.  Towards robotic assistants in nursing homes: Challenges and results , 2003, Robotics Auton. Syst..

[56]  Doina Precup,et al.  Theoretical Results on Reinforcement Learning with Temporally Abstract Options , 1998, ECML.

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

[58]  Edwin P. D. Pednault,et al.  ADL: Exploring the Middle Ground Between STRIPS and the Situation Calculus , 1989, KR.

[59]  Gerhard Lakemeyer,et al.  Cognitive Robotics , 2008, Handbook of Knowledge Representation.

[60]  Alexander Ferrein,et al.  Robot Controllers for Highly Dynamic Environments with Real-time Constraints , 2010, KI - Künstliche Intelligenz.

[61]  Huy N Pham,et al.  Applying DTGolog to Large-scale Domains , 2006 .

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

[63]  Robin R. Murphy,et al.  Introduction to AI Robotics , 2000 .