Abstract
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.
This research has been carried out within the special research program DFG-SPP 1125 Cooperative Teams of Mobile Robots in Dynamic Environments and the Transregional Collaborative Research Center SFB/TR 8 on Spatial Cognition. Both research programs are funded by the German Research Council (DFG).
Chapter PDF
Similar content being viewed by others
References
Aurenhammer, F., Klein, R.: Voronoi diagrams. In: Sack, J.-R., Urrutia, J. (eds.) Handbook of Computational Geometry, ch. 5, pp. 201–290. North-Holland, Amsterdam (2000)
De Giacomo, G., Lésperance, Y., Levesque, H.J.: ConGolog, A concurrent programming language based on situation calculus. Artificial Intelligence 121(1–2), 109–169 (2000)
Dylla, F., Ferrein, A., Lakemeyer, G.: Specifying multirobot coordination in ICPGolog – from simulation towards real robots. In: Proc. of the Workshop on Issues in Designing Physical Agents for Dynamic Real-Time Environments: World modeling, planning, learning, and communicating, IJCAI 2003 (2003)
Dylla, F., Ferrein, A., Lakemeyer, G., Murray, J., Obst, O., Röfer, T., Stolzenburg, F., Visser, U., Wagner, T.: Towards a league-independent qualitative soccer theory for RoboCup. Fachberichte Informatik 2004, Universität Koblenz–Landau (June 2004)
Grosskreutz, H., Lakemeyer, G.: On-line execution of cc-Golog plans. In: Proc. of IJCAI 2001 (2001)
Levesque, H.J., Reiter, R., Lesperance, Y., Lin, F., Scherl, R.B.: GOLOG: A logic programming language for dynamic domains. Journal of Logic Programming 31(1-3) (1997)
Lötzsch, M., Bach, J., Burkhard, H.-D., Jüngel, M.: Designing agent behavior with the extensible agent behavior specification language XABSL. In: Polani, et al. (eds.) [11]
Lucchesi, M.: Coaching the 3-4-1-2 and 4-2-3-1. Reedswain Publishing (2001)
Miene, Visser, U., Herzog, O.: Recognition and prediction of motion situations based on a qualitative motion description. In: Polani, et al. (eds.) [11]
Peitersen, B., Bangsbo, J.: Soccer Systems & Strategies. Human Kinetics (2000)
Polani, Browning, B., Bonarini, A., Yoshida, K. (eds.): RoboCup 2003: Robot Soccer World Cup VII. LNAI Series, vol. 3020. Springer, Heidelberg (2004)
Reiter, R.: Knowledge in Action. MIT Press, Cambridge (2001)
Röfer, T., Dahm, I., Düffert, U., Hoffmann, J., Jüngel, M., Kallnik, M., Lötzsch, M., Risler, M., Stelzer, M., Ziegler, J.: Germanteam 2003. In: Polani, et al. (eds.) [11]
Riedel, B.: Developing similarity measures for comparing game situations in RoboCup. In: Diplomarbeit, Knowledge Based Systems Group, RWTH Aachen, Aachen, Germany (2002)
Stolzenburg, F., Obst, O., Murray, J.: Qualitative velocity and ball interception. In: Jarke, M., Köehler, J., Lakemeyer, G. (eds.) KI 2002. LNCS (LNAI), vol. 2479, pp. 283–298. Springer, Heidelberg (2002)
Wagner, T., Herzog, O., Visser, U.: Egocentric qualitative spatial knowledge representation for physical robots. In: Schlenoff, C., Uschold, M. (eds.) AAAI Spring Symposium, Stanford, CA. AAAI Press, Menlo Park (2004) (to appear)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Dylla, F. et al. (2005). Towards a League-Independent Qualitative Soccer Theory for RoboCup. In: Nardi, D., Riedmiller, M., Sammut, C., Santos-Victor, J. (eds) RoboCup 2004: Robot Soccer World Cup VIII. RoboCup 2004. Lecture Notes in Computer Science(), vol 3276. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-32256-6_58
Download citation
DOI: https://doi.org/10.1007/978-3-540-32256-6_58
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-25046-3
Online ISBN: 978-3-540-32256-6
eBook Packages: Computer ScienceComputer Science (R0)