Towards a League-Independent Qualitative Soccer Theory for RoboCup

The paper discusses a top-down approach to model soccer knowledge, as it can be found in soccer theory books. The goal is to model soccer strategies and tactics in a way that they are usable for multiple RoboCup soccer leagues, i.e. for different hardware platforms. We investigate if and how soccer theory can be formalized such that specification and execution is possible. The advantage is clear: theory abstracts from hardware and from specific situations in leagues. We introduce basic primitives compliant with the terminology known in soccer theory, discuss an example on an abstract level and formalize it. We then consider aspects of different RoboCup leagues in a case study and examine how examples can be instantiated in three different leagues.

[1]  Jürgen Ebert,et al.  GraX-an interchange format for reengineering tools , 1999, Sixth Working Conference on Reverse Engineering (Cat. No.PR00303).

[2]  Frieder Stolzenburg,et al.  Loop-Detection in Hyper-Tableaux by Powerful Model Generation , 1999, J. Univers. Comput. Sci..

[3]  Kurt Lautenbach,et al.  Reproducibility of the Empty Marking , 2002, ICATPN.

[4]  Joscha Bach,et al.  Designing Agent Behavior with the Extensible Agent Behavior Specification Language XABSL , 2003, RoboCup.

[5]  Andreas Winter,et al.  Exchanging Graphs with GXL , 2001, GD.

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

[7]  Oliver Obst,et al.  Spark - A generic simulator for physical multi-agent simulations , 2004, Comput. Syst. Sci. Eng..

[8]  Peter Baumgartner,et al.  Automated Deduction Techniques for the Management of Personalized Documents , 2003, Annals of Mathematics and Artificial Intelligence.

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

[10]  Peter Baumgartner,et al.  The Taming of the (X)OR , 2000, Computational Logic.

[11]  Birger Peitersen,et al.  Soccer Systems & Strategies , 2000 .

[12]  Ubbo Visser,et al.  Egocentric qualitative spatial knowledge representation for physical robots , 2004, Robotics Auton. Syst..

[13]  Oliver Obst,et al.  Spatial Agents Implemented in a Logical Expressible Language , 1999, RoboCup.

[14]  Joseph Douglas Horton,et al.  Merge Path Improvements for Minimal Model Hyper Tableaux , 1999, TABLEAUX.

[15]  Oliver Obst,et al.  Qualitative Velocity and Ball Interception , 2002, KI.

[16]  Oliver Obst.  Specifying Rational Agents with Statecharts and Utility Functions , 2001, RoboCup.

[17]  Nicholas Kushmerick,et al.  Adaptive Information Extraction: Core Technologies for Information Agents , 2003, AgentLink.

[18]  Volker Riediger,et al.  Folding: an approach to enable program understanding of preprocessed languages , 2001, Proceedings Eighth Working Conference on Reverse Engineering.

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

[20]  Oliver Obst,et al.  Using Model-Based Diagnosis to Build Hypotheses about Spatial Environments: A Response to a Technical Challenge , 2003, RoboCup.

[21]  Frieder Stolzenburg,et al.  Multiagent Matching Algorithms with and without Coach , 2006, J. Decis. Syst..

[22]  Margret Groß-Hardt,et al.  Concept based querying of semistructured data , 2002, XSW.

[23]  Peter Baumgartner,et al.  First-order logic Davis-Putnam-Logemann-Loveland procedure , 2003 .

[24]  Peter Baumgartner,et al.  Abductive Coreference by Model Construction , 1999 .

[25]  Brett Browning,et al.  RoboCup 2003: Robot Soccer World Cup VII , 2003, Lecture Notes in Computer Science.

[26]  Jürgen Ebert,et al.  A Formalization of SOCCA , 1999 .

[27]  Jan Murray.  Specifying agents with UML in robotic soccer , 2002, AAMAS '02.

[28]  Andreas Winter,et al.  Exchanging Business Process Models with GXL , 2004 .

[29]  Andreas Winter,et al.  Towards a Common Query Language for Reverse Engineering , 2002 .

[30]  Manfred Rosendahl,et al.  Specification of Symbols and Implementation of Their Constraints in JKogge , 2000 .

[31]  Franz Aurenhammer,et al.  Voronoi Diagrams , 2000, Handbook of Computational Geometry.

[32]  R. Heath,et al.  Issues Management , 1985 .

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

[34]  Gerhard Lakemeyer,et al.  Towards more Realistic Logic-based Robot Controllers in the GOLOG Framework , 2000, Künstliche Intell..

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

[36]  Bernd Thomas,et al.  MIA A Multi-Agent Location Based Information Systems for Mobile Users in 3G Networks , 2003 .

[37]  Guillermo R. Simari,et al.  lntroducing generalized specificity in logic programming , 2000 .

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

[39]  Peter Baumgartner,et al.  Living Book – Deduction, Slicing, and Interaction , 2004, Journal of Automated Reasoning.

[40]  Peter Baumgartner,et al.  KRHyper Inside — Model Based Deduction in Applications , 2003 .

[41]  Martin Kallnik,et al.  GermanTeam 2003 , 2003 .

[42]  Jürgen Dix,et al.  Relating defeasible and normal logic programming through transformation properties , 2000, Theor. Comput. Sci..

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

[44]  Andy Schürr,et al.  GXL: toward a standard exchange format , 2000, Proceedings Seventh Working Conference on Reverse Engineering.

[45]  Ubbo Visser,et al.  Recognition and Prediction of Motion Situations Based on a Qualitative Motion Description , 2003, RoboCup.

[46]  Christoph Wernhard,et al.  System Description : KRHyper , 2003 .

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

[48]  Jens Woch,et al.  Implementation of a Schema-TAG-Parser , 1999 .

[49]  Anthony G. Cohn,et al.  Qualitative Spatial Representation and Reasoning: An Overview , 2001, Fundam. Informaticae.

[50]  Stephan Philippi,et al.  Modelling a concurrent ray-tracing algorithm using object-oriented Petri-Nets , 2001 .

[51]  Massimo Lucchesi.  Coaching the 3-4-1-2 and 4-2-3-1 , 2002 .