Simulation League: The Next Generation

We present a modular approach to model multi-agent simulations in 3D environments. Using this approach, we implemented a generic simulator which is totally decoupled from the actual simulation it performs. We believe that for Soccer Simulation League a transition to 3D states exiting new research problems and equally makes it more attractive to watch for spectators. We are proposing to use our framework as basis for a next generation Soccer Server.

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

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

[3]  Ralph Johnson,et al.  design patterns elements of reusable object oriented software , 2019 .

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

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

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

[7]  Peter Baumgartner,et al.  The Model Evolution Calculus , 2003, CADE.

[8]  Victor W. Marek,et al.  The Logic Programming Paradigm , 1999, Artificial Intelligence.

[9]  Kurt Lautenbach,et al.  Logical Reasoning and Petri Nets , 2003, ICATPN.

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

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

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

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

[14]  Thomas Ertl,et al.  Computer Graphics - Principles and Practice, 3rd Edition , 2014 .

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

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

[17]  M. Carter.  Computer graphics: Principles and practice , 1997 .

[18]  J. V. Rauff,et al.  Multi-Agent Systems: An Introduction to Distributed Artificial Intelligence , 2005 .

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

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

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

[22]  Margret Groß-Hardt,et al.  Processing of Concept Based Queries for XML Data , 2002 .

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

[24]  Norbert Eisinger,et al.  A Confluent Connection Calculus , 2000, Intellectics and Computational Logic.

[25]  Jürgen Dix,et al.  Super logic programs , 2000, TOCL.

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

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

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

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

[30]  Ulrich Furbach,et al.  Nonmonotonic Reasoning: Towards Efficient Calculi and Implementations , 2001, Handbook of Automated Reasoning.

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

[32]  Jürgen Dix,et al.  Transformation-based bottom-up computation of the well-founded model , 1996, Theory and Practice of Logic Programming.

[33]  Hiroaki Kitano,et al.  RoboCup humanoid challenge: that's one small step for a robot, one giant leap for mankind , 1998, Proceedings. 1998 IEEE/RSJ International Conference on Intelligent Robots and Systems. Innovations in Theory, Practice and Applications (Cat. No.98CH36190).

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

[35]  I. Noda.  Soccer Server: a simulator of RoboCup , 1995 .

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

[37]  G. Voss,et al.  OpenSG: Basic Concepts , 2002 .

[38]  Andreas Winter,et al.  Querying as an enabling technology in software reengineering , 1999, Proceedings of the Third European Conference on Software Maintenance and Reengineering (Cat. No. PR00090).

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

[40]  Josie Wernecke,et al.  The inventor mentor - programming object-oriented 3D graphics with Open Inventor, release 2 , 1993 .

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

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

[43]  Jacques Ferber,et al.  Multi-agent systems - an introduction to distributed artificial intelligence , 1999 .

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