Qualitative Velocity and Ball Interception

In many approaches for qualitative spatial reasoning, navigation of an agent in a more or less static environment is considered (e.g. in the double-cross calculus [12]). However, in general, real environment are dynamic, which means that both the agent itself and also other objects and agents in the environment may move. Thus, in order to perform spatial reasoning, not only (qualitative) distance and orientation information is needed (as e.g. in [1]), but also information about (relative) velocity of objects (see e.g. [2]). Therefore, we will introduce concepts for qualitative and relative velocity: (quick) to left, neutral, (quick) to right. We investigate the usefulness of this approach in a case study, namely ball interception of simulated soccer agents in the RoboCup [10]. We compare a numerical approach where the interception point is computed exactly, a strategy based on reinforcement learning, a method with qualitative velocities developed in this paper, and the naive method where the agent simply goes directly to the actual ball position.

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

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

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

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

[5]  Wilfried Brauer,et al.  Spatial Cognition II , 2000, Lecture Notes in Computer Science.

[6]  Eliseo Clementini,et al.  Qualitative Representation of Positional Information , 1997, Artif. Intell..

[7]  Bernhard Rinner,et al.  Semi-quantitative system identification , 2000, Artif. Intell..

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

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

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

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

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

[13]  Jürgen Dix,et al.  Meta-agent programs , 2000, J. Log. Program..

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

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

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

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

[18]  Ulrich Furbach,et al.  Disjunctive Logic Program = Horn Program + Control Program , 1998, JELIA.

[19]  IwasakiYumi.  Real-World Applications of Qualitative Reasoning , 1997 .

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

[21]  Wilfried Brauer,et al.  From Motion Observation to Qualitative Motion Representation , 2000, Spatial Cognition.

[22]  Manfred Kamp.  Managing a multi-file, multi-language software repository for program comprehension tools: a generic approach , 1998, Proceedings. 6th International Workshop on Program Comprehension. IWPC'98 (Cat. No.98TB100242).

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

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

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

[26]  Daniel G. Bobrow,et al.  Qualitative Reasoning With Higher-Order Derivatives , 1989, AAAI.

[27]  Martin A. Riedmiller,et al.  Karlsruhe Brainstormers - A Reinforcement Learning Approach to Robotic Soccer , 2000, RoboCup.

[28]  Peter Stone,et al.  RoboCup-2000: The Fourth Robotic Soccer World Championships , 2001, AI Mag..

[29]  Christian Freksa,et al.  Qualitative spatial reasoning using orientation, distance, and path knowledge , 2004, Applied Intelligence.

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

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

[32]  Jürgen Ebert,et al.  Program comprehension in multi-language systems , 1998, Proceedings Fifth Working Conference on Reverse Engineering (Cat. No.98TB100261).

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

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

[35]  Hiroaki Kitano,et al.  RoboCup-2001: The Fifth Robotic Soccer World Championships , 2002, AI Mag..

[36]  Bernt Kullbach.  Bericht über den 2. Workshop Software-Reengineering (WSR 2000) am 11. und 12. Mai 2000 in Bad Honnef , 2000, Softwaretechnik-Trends.

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

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

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

[40]  Martin A. Riedmiller.  Concepts and Facilities of a Neural Reinforcement Learning Control Architecture for Technical Process Control , 1999, Neural Computing & Applications.

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

[42]  Peter Stone,et al.  An architecture for action selection in robotic soccer , 2001, AGENTS '01.