back to publications overview

Towards a League-Independent Qualitative Soccer Theory for RoboCup


Frank Dylla, Alexander Ferrein, Gerhardt Lakemeyer, Jan Murray, Oliver Obst, Thomas Röfer, Frieder Stolzenburg, Ubbo Visser, and Thomas Wagner. Towards a League-Independent Qualitative Soccer Theory for RoboCup. In Daniele Nardi, Martin Riedmiller, Claude Sammut, and José Santos-Victor, editors, RoboCup 2004: Robot Soccer World Cup VIII, Lecture Notes in Artificial Intelligence, pp. 611–618, Springer, Berlin, Heidelberg, New York, 2005.
A preliminary version appeared as Fachberichte Informatik 6/2004, Universität Koblenz-Landau.


Download

[PDF] (242 kb) [gzipped postscript] (97 kb)


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 different leagues. Such a qualitative abstraction is well suited for comparing and evaluating different systems and approaches. 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.

BiBTeX Entry


@incollection{DFL+05,
	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 different leagues.
		   Such a qualitative abstraction is well suited for comparing and evaluating
		   different systems and approaches. 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.},
	Address = {Berlin, Heidelberg, New York},
	Author = {Frank Dylla and Alexander Ferrein and Gerhardt Lakemeyer
		   and Jan Murray and Oliver Obst and Thomas R{\"o}fer and Frieder Stolzenburg
		   and Ubbo Visser and Thomas Wagner},
	Booktitle = {RoboCup 2004: Robot Soccer World Cup VIII},
	Editor = {Daniele Nardi and Martin Riedmiller and Claude Sammut and
		   Jos{\'e} Santos-Victor},
	Pages = {611--618},
	Publisher = {Springer},
	Series = lnai,
	Title = {Towards a {L}eague-{I}ndependent {Q}ualitative {S}occer
		   {T}heory for {R}obo{C}up},
	Volume = 3276,
	Wwwnote = {A 
		   preliminary version appeared as Fachberichte Informatik 6/2004,
		   Universit{\"a}t Koblenz-Landau.},
	Year = 2005,