Universität Bremen  
  FB 3  
  Group BKB > Publications > Search > Deutsch

Publications Search - Details

Publication type: Article in Collection
Author: Frank Dylla, Alexander Ferrein, Gerhard Lakemeyer, Jan Murray, Oliver Obst, Thomas Röfer, Stefan Schiffer, Frieder Stolzenburg, Ubbo Visser, Thomas Wagner
Editor: Peter Dabnicki, Arnold Baca
Title: Approaching a Formal Soccer Theory from Behaviour Specifications in Robotic Soccer
Book / Collection title: Computers in Sports
Page(s): 161 – 185
Year published: 2008
Publisher: WIT Press, London / Southampton, UK
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.
ISBN: 978-1-84564-064-4
Status: Reviewed
Last updated: 11. 11. 2008

 Back to result list
Author: Automatically generated page
  Group BKB 
Last updated: February 23, 2006   impressum