Please use this identifier to cite or link to this item: http://hdl.handle.net/1959.13/804516

OpenURL Link
Title
Approaching a formal soccer theory from behaviour specifications in robotic soccer
Author/Creator
Dylla, F.;  Ferrein, A.;  Lakemeyer, G.;  Murray, J.;  Obst, O.;  Röfer, T.;  Schiffer, S.;  Stolzenburg, F.;  Visser, U.;  Wagner, Th.
Institution
The University of Newcastle. Faculty of Engineering & Built Environment, School of Electrical Engineering and Computer Science
Description
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 specific 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 specification 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.
Relation
Computers in Sport p. 161-185
Relation
http://www.witpress.com/978-1-84564-064-4.html?keyword=Computers+in+Sport
Date
2008
Publisher
WIT Press
Keyword(s)
soccer;  robots;  RoboCup;  computer programs;  robotic soccer leagues
Resource Type
book chapter
Identifier
http://hdl.handle.net/1959.13/804516
Identifier
ISBN:9781845640644
19 Visitors 21 Hits 0 Downloads
Save/E-mail Citation
Citation Format
E-mail Address
Subject
"Approaching a formal soccer theory from behaviour specifications in robotic soccer"
 
OR