Spark - A generic simulator for physical multi-agent simulations

In this paper we describe a new multi-agent simulation system, called Spark, for physical agents in three-dimensional environments. Our goal in creating Spark was to provide a great amount of flexibility for creating new types of agents and simulations. To achieve this, we implemented a flexible application framework and exhausted the idea of replaceable components in the resulting system. In comparison to specialized simulators, users can effortlessly create new simulations by using a scene description language. Spark is a powerful and flexible tool to state different multi-agent research questions. It is used as official simulator for the first three-dimensional RoboCup Simulation League competition. We present the concepts we used to achieve the flexibility in our system and show how we seamlessly integrated the different subsystems into one user-friendly framework.

[1]  A. Meyers.  Reading , 1999, Language Teaching.

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

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

[4]  Johanna D. Moore,et al.  In Proceedings of the AAAI 1995 Spring Symposium on Empirical Methods in Discourse Interpretation and Generation , 1995 .

[5]  Alexander Ferrein,et al.  Towards a League-Independent Qualitative Soccer Theory for RoboCup , 2005, RoboCup.

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

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

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

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

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

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

[12]  Erann Gat.  On the Role of Simulation in the Study of Autonomous Mobile Robots , 2002 .

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

[14]  Jürgen Ebert,et al.  Conceptual Modelling and Web Site Generation using Graph Technology , 2007 .

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

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

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

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

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

[20]  Marco Kögler,et al.  Simulation and Visualization of Agents in 3D Environments , 2006 .

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

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

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

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

[25]  Aaron J. Goldberg,et al.  Smalltalk-72 instruction manual , 1976 .

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

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

[28]  Brad J. Cox,et al.  Object-oriented programming ; an evolutionary approach , 1986 .

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

[30]  Daniel Polani,et al.  Eine virtuelle kontinuierliche Welt als Testbett für KI-Modelle , 2001, Künstliche Intell..

[31]  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).

[32]  Oliver Obst,et al.  Simulation League: The Next Generation , 2003, RoboCup.

[33]  Tamio Arai,et al.  Distributed Autonomous Robotic Systems 3 , 1998 .

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

[35]  John McCarthy,et al.  Recursive functions of symbolic expressions and their computation by machine, Part I , 1960, Commun. ACM.

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

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

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

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

[40]  Oliver Obst,et al.  Fast, Neat and Under Control: Inverse Steering Behaviors for Physical Autonomous Agents , 2007 .

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

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

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

[44]  Michael Beetz,et al.  M-ROSE: A Multi Robot Simulation Environment for Learning Cooperative Behavior , 2002, DARS.

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

[46]  David Flanagan,et al.  Ruby in a Nutshell , 2001 .

[47]  Brett Browning,et al.  ÜberSim: a multi-robot simulator for robot soccer , 2003, AAMAS '03.

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

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

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

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

[52]  P. F. Riley,et al.  SPADES - a distributed agent simulation environment with software-in-the-loop execution , 2003, Proceedings of the 2003 Winter Simulation Conference, 2003..

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

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

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