Using Golog for Deliberation and Team Coordination in Robotic Soccer

Robotic soccer provides an interesting and nontrivial testbed for many aspects of mobile robotics. From a high-level decision making point of view, central issues are how to get the robots to choose intelligently among various possible courses of actions and how to get them to coordinate their actions with other members of the team. In this paper we report on our efforts to address these issues within the framework of the Golog action language.

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

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

[3]  Yves Lesprance,et al.  Integrating Planning into Reactive High-Level Robot Programs , 2000 .

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

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

[6]  Craig Boutilier,et al.  Symbolic Dynamic Programming for First-Order MDPs , 2001, IJCAI.

[7]  Amy L. Lansky,et al.  Reactive Reasoning and Planning , 1987, AAAI.

[8]  Alexander Ferrein,et al.  Specifying multirobot coordination in ICPGolog from simulation towards real robots , 2003 .

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

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

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

[12]  Jörg P. Müller,et al.  The Design of Intelligent Agents , 1996, Lecture Notes in Computer Science.

[13]  Gerhard Lakemeyer,et al.  ccGolog -- A Logical Language Dealing with Continuous Change , 2003, Log. J. IGPL.

[14]  Axel Großmann,et al.  Symbolic Dynamic Programming within the Fluent Calculus , 2002 .

[15]  Alberto Maria Segre,et al.  Programs for Machine Learning , 1994 .

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

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

[18]  Murray Shanahan,et al.  The Event Calculus Explained , 1999, Artificial Intelligence Today.

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

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

[21]  Daniele Nardi,et al.  Planning with sensing, concurrency, and exogenous events: logical framework and implementation , 2000, KR.

[22]  Innes A. Ferguson.  Integrated Control and Coordinated Behaviour: A Case for Agent Models , 1995, ECAI Workshop on Agent Theories, Architectures, and Languages.

[23]  Pattie Maes,et al.  Situated agents can have goals , 1990, Robotics Auton. Syst..

[24]  David Chapman,et al.  What are plans for? , 1990, Robotics Auton. Syst..

[25]  J. Ross Quinlan,et al.  C4.5: Programs for Machine Learning , 1992 .

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

[27]  Toshiaki Arai,et al.  Multiagent systems specification by UML statecharts aiming at intelligent manufacturing , 2002, AAMAS '02.

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

[29]  Rodney A. Brooks,et al.  A Robust Layered Control Syste For A Mobile Robot , 2022 .

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

[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]  Michael Beetz,et al.  Plan-Based Control of Robotic Agents , 2002, Lecture Notes in Computer Science.

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

[35]  T. Christaller,et al.  Dual dynamics: Designing behavior systems for autonomous robots , 1998, Artificial Life and Robotics.