[BibTeX] [RIS]
Approaching a Formal Soccer Theory from Behaviour Specifications in Robotic Soccer
Type of publication: Incollection
Citation: cosy:dyllaetal:2008:QWMsports
Booktitle: Computers in Sports
Year: 2008
Pages: 161--185
Publisher: WIT Press; London / Southampton, UK; http://www.witpress.com/
ISBN: 978-1-84564-064-4
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 specifi cation 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 unifi ed 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.
Userfields: project={R3-QShape}, status={Reviewed},
Authors Dylla, Frank
Ferrein, Alexander
Lakemeyer, Gerhard
Murray, Jan
Obst, Oliver
Röfer, Thomas
Schiffer, Stefan
Stolzenburg, Frieder
Visser, Ubbo
Wagner, Thomas
Editors Dabnicki, Peter
Baca, Arnold