Acting and Deliberating using Golog in Robotic Soccer — A Hybrid Architecture —

Existing approaches to high-level robot control which support deliberation in one form or another usually do not view the time spent on reasoning as critical, which is true in typical applications like office delivery. This is not so, however, in domains like robotic soccer where a team of robots must cooperate in a highly dynamic environment and where actions need to be chosen under tight resource constraints. For this reason, most existing systems for such domains rely on purely reactive architectures without a reasoning component. Our aim is to build robotic soccer agents which are capable of limited forms of deliberation using the action language Golog. In order to meet the real-time constraints, we propose to integrate Golog into a hybrid architecture, which enables the robot to react to the environment very fast as well as to choose actions proposed by the reasoning component. We feel that Golog is particularly well-suited for the reasoning component because it allows to limit the search space by programming complex actions and because of recent advances in extending the expressiveness of the language to deal with issues like continuous change, event-driven behavior, and uncertainty, all of which are important in a domain like robotic soccer.

[1]  Manuela M. Veloso,et al.  Layered Approach to Learning Client Behaviors in the Robocup Soccer Server , 1998, Appl. Artif. Intell..

[2]  Wolfram Burgard,et al.  Experiences with an Interactive Museum Tour-Guide Robot , 1999, Artif. Intell..

[3]  Oliver Obst,et al.  Towards a Logical Approach for Soccer Agents Engineering , 2000, RoboCup.

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

[5]  Michael Beetz,et al.  Plan-Based Control of Robotic Agents , 2002, Lecture Notes in Computer Science.

[6]  Michael J. Swain,et al.  The animate agent architecture , 1998 .

[7]  Ian Frank,et al.  Soccer Server: A Tool for Research on Multiagent Systems , 1998, Appl. Artif. Intell..

[8]  Eugene Fink,et al.  Integrating planning and learning: the PRODIGY architecture , 1995, J. Exp. Theor. Artif. Intell..

[9]  Krzysztof Kuchcinski,et al.  The WITAS Unmanned Aerial Vehicle Project , 2000, ECAI.

[10]  Wolfram Burgard,et al.  MINERVA: a second-generation museum tour-guide robot , 1999, Proceedings 1999 IEEE International Conference on Robotics and Automation (Cat. No.99CH36288C).

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

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

[13]  Tran Cao Son,et al.  Relating Theories of Actions and Reactive Control , 1998, Electron. Trans. Artif. Intell..

[14]  Joscha Bach,et al.  Mental Models for Robot Control , 2001, Advances in Plan-Based Control of Robotic Agents.

[15]  Karen Zita Haigh,et al.  Xavier: experience with a layered robot architecture , 1997, SGAR.

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

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

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

[19]  Robin R. Murphy,et al.  Artificial intelligence and mobile robots: case studies of successful robot systems , 1998 .

[20]  Raymond Reiter,et al.  Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems , 2001 .

[21]  Manuela M. Veloso,et al.  The CMUnited-99 Champion Simulator Team , 2000, AI Mag..

[22]  Kurt Konolige COLBERT: A Language for Reactive Control in Sapphira , 1997, KI.

[23]  Michael Thielscher Programming of Reasoning and Planning Agents with FLUX , 2002, KR 2002.

[24]  Hector J. Levesque,et al.  Logical Foundations for Cognitive Agents , 1999, Artificial Intelligence.

[25]  Gerhard Lakemeyer,et al.  cc-Golog: Towards More Realistic Logic-Based Robot Controllers , 2000, AAAI/IAAI.

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

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

[28]  Manuela Veloso,et al.  Interleaving Deliberative and Reactive Planning in Dynamic Multi-Agent Domains , 1998 .

[29]  Gerhard Lakemeyer,et al.  Turning High-Level Plans into Robot Programs in Uncertain Domains , 2000, ECAI.

[30]  Michael K. Sahota Reactive Deliberation: An Architecture for Real-Time Intelligent Control in Dynamic Environments , 1994, AAAI.

[31]  Martin L. Puterman,et al.  Markov Decision Processes: Discrete Stochastic Dynamic Programming , 1994 .