Specifying multirobot coordination in ICPGolog from simulation towards real robots

Deliberation in highly-dynamic domains such as robotic soccer requires a rich representation language that can deal with continuous change, uncertainty, and multiple agents, among other things. For this purpose we have developed the language ICPGOLOG, a variant of the logic-based action language GOLOG. We show how to specify plans for soccer agents such as playing a double pass in ICPGOLOG and report on experimental results in the ROBOCUP SIMULATION league. We have also recently integrated ICPGOLOG as the high-level control language into our MID-SIZE soccer team. We discuss the software architecture and some of the differences between agent modeling in the SIMULATION and MID-SIZE league.

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

[2]  John David Funge,et al.  Making them behave: cognitive models for computer animation , 1998 .

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

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

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

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

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

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

[9]  Leslie Pack Kaelbling,et al.  Action and planning in embedded agents , 1990, Robotics Auton. Syst..

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

[11]  James M. Rehg,et al.  Statistical Color Models with Application to Skin Detection , 2004, International Journal of Computer Vision.

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

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

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

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

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

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

[18]  Doina Precup,et al.  Between MDPs and Semi-MDPs: A Framework for Temporal Abstraction in Reinforcement Learning , 1999, Artif. Intell..

[19]  Klaus Dorer,et al.  Behavior Networks for Continuous Domains using Situation-Dependent Motivations , 1999, IJCAI.

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

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

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

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

[24]  Jelle R. Kok,et al.  The Incremental Development of a Synthetic Multi-Agent System: The UvA Trilearn 2001 Robotic Soccer Simulation Team , 2002 .

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

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

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

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

[29]  Klaus Dorer.  Motivation, Handlungskontrolle und Zielmanagement in autonomen Agenten , 1999 .

[30]  I. G. BONNER CLAPPISON.  Editor , 1960, The Electric Power Engineering Handbook - Five Volume Set.

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

[32]  Nils J. Nilsson,et al.  Artificial Intelligence , 1974, IFIP Congress.

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

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