back to publications overview

Computers in Sport


Frank Dylla, Alexander Ferrein, Gerhard Lakemeyer, Jan Murray, Oliver Obst, Thomas Röfer, Stefan Schiffer, Frieder Stolzenburg, Ubbo Visser, and Thomas Wagner. Chapter: Approaching a Formal Soccer Theory from the Behavior Specification in Robotic Soccer. In Peter Dabnicki and Arnold Baca, editors, Computers in Sport, Bioengineering, pp. 161–186, WIT Press, 2008. ISBN 978-1-84564-064-4.
You can order the book at Amazon.


Download

(unavailable)


Abstract

This chapter discusses a top-down approach to modelling 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 robotic soccer leagues in the RoboCup. We investigate if and how soccer theory can be formalized such that specification and execution are possible. The advantage is clear: theory abstracts from hardware and from specifi c situations in different leagues. We introduce basic primitives compliant with the terminology known in soccer theory, discuss an example on an abstract level and formalize it. The formalization of soccer presented here is appealing. It goes beyond the behaviour specifi cation of soccer playing robots. For sports science a unified formal soccer theory might help to better understand and to formulate basic concepts in soccer. The possibility of the formalization to develop computer programs, which allow to simulate and to reason about soccer moves, might also take sports science a step further.

BiBTeX Entry


@inbook{DFL+08,
	Abstract = {This chapter discusses a top-down approach to modelling
		   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 robotic soccer leagues in the RoboCup. We investigate if and how
		   soccer theory can be formalized such that specification and execution are
		   possible. The advantage is clear: theory abstracts from hardware and from
		   specifi c situations in different leagues. We introduce basic primitives
		   compliant with the terminology known in soccer theory, discuss an example on
		   an abstract level and formalize it. The formalization of soccer presented
		   here is appealing. It goes beyond the behaviour specifi cation of soccer
		   playing robots. For sports science a unified formal soccer theory might help
		   to better understand and to formulate basic concepts in soccer. The
		   possibility of the formalization to develop computer programs, which allow
		   to simulate and to reason about soccer moves, might also take sports science
		   a step further.},
	Author = {Frank Dylla and Alexander Ferrein and Gerhard Lakemeyer
		   and Jan Murray and Oliver Obst and Thomas R{\"o}fer and Stefan Schiffer and
		   Frieder Stolzenburg and Ubbo Visser and Thomas Wagner},
	Chapter = {Approaching a Formal Soccer Theory from the Behavior
		   Specification in Robotic Soccer},
	Editor = {Peter Dabnicki and Arnold Baca},
	Keywords = {robocup, robotic soccer, formal methods, spatial
		   reasoning, simulation},
	Note = {ISBN 978-1-84564-064-4.},
	Pages = {161--186},
	Publisher = {WIT Press},
	Series = {Bioengineering},
	Title = {Computers in Sport},
	Wwwnote = {You can order the book
		   at Amazon.},
	Year = {2008}}