Towards a league-independent qualitative soccer theory for RoboCup

Frank Dylla, Alexander Ferrein, Gerhard Lakemeyer, Jan Murray, Oliver Obst, Thomas Röfer, Frieder Stolzenburg, Ubbo E Visser, Thomas Wagner

Research output: Chapter in Book/Report/Conference proceedingConference contribution

7 Citations (Scopus)

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 leagues. 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.

Original languageEnglish (US)
Title of host publicationLecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)
EditorsD. Nardi, M. Riedmiller, C. Sammut, J. Santos-Victor
Pages611-618
Number of pages8
Volume3276
StatePublished - 2005
Externally publishedYes

Fingerprint

Hardware
Terminology
Specifications

ASJC Scopus subject areas

  • Hardware and Architecture

Cite this

Dylla, F., Ferrein, A., Lakemeyer, G., Murray, J., Obst, O., Röfer, T., ... Wagner, T. (2005). Towards a league-independent qualitative soccer theory for RoboCup. In D. Nardi, M. Riedmiller, C. Sammut, & J. Santos-Victor (Eds.), Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science) (Vol. 3276, pp. 611-618)

Towards a league-independent qualitative soccer theory for RoboCup. / Dylla, Frank; Ferrein, Alexander; Lakemeyer, Gerhard; Murray, Jan; Obst, Oliver; Röfer, Thomas; Stolzenburg, Frieder; Visser, Ubbo E; Wagner, Thomas.

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science). ed. / D. Nardi; M. Riedmiller; C. Sammut; J. Santos-Victor. Vol. 3276 2005. p. 611-618.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Dylla, F, Ferrein, A, Lakemeyer, G, Murray, J, Obst, O, Röfer, T, Stolzenburg, F, Visser, UE & Wagner, T 2005, Towards a league-independent qualitative soccer theory for RoboCup. in D Nardi, M Riedmiller, C Sammut & J Santos-Victor (eds), Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science). vol. 3276, pp. 611-618.
Dylla F, Ferrein A, Lakemeyer G, Murray J, Obst O, Röfer T et al. Towards a league-independent qualitative soccer theory for RoboCup. In Nardi D, Riedmiller M, Sammut C, Santos-Victor J, editors, Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science). Vol. 3276. 2005. p. 611-618
Dylla, Frank ; Ferrein, Alexander ; Lakemeyer, Gerhard ; Murray, Jan ; Obst, Oliver ; Röfer, Thomas ; Stolzenburg, Frieder ; Visser, Ubbo E ; Wagner, Thomas. / Towards a league-independent qualitative soccer theory for RoboCup. Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science). editor / D. Nardi ; M. Riedmiller ; C. Sammut ; J. Santos-Victor. Vol. 3276 2005. pp. 611-618
@inproceedings{a20c900a1c054f5fbcabf2cf63d4119d,
title = "Towards a league-independent qualitative soccer theory for RoboCup",
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 leagues. 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.",
author = "Frank Dylla and Alexander Ferrein and Gerhard Lakemeyer and Jan Murray and Oliver Obst and Thomas R{\"o}fer and Frieder Stolzenburg and Visser, {Ubbo E} and Thomas Wagner",
year = "2005",
language = "English (US)",
volume = "3276",
pages = "611--618",
editor = "D. Nardi and M. Riedmiller and C. Sammut and J. Santos-Victor",
booktitle = "Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)",

}

TY - GEN

T1 - Towards a league-independent qualitative soccer theory for RoboCup

AU - Dylla, Frank

AU - Ferrein, Alexander

AU - Lakemeyer, Gerhard

AU - Murray, Jan

AU - Obst, Oliver

AU - Röfer, Thomas

AU - Stolzenburg, Frieder

AU - Visser, Ubbo E

AU - Wagner, Thomas

PY - 2005

Y1 - 2005

N2 - 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 leagues. 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.

AB - 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 leagues. 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.

UR - http://www.scopus.com/inward/record.url?scp=26444505461&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=26444505461&partnerID=8YFLogxK

M3 - Conference contribution

VL - 3276

SP - 611

EP - 618

BT - Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

A2 - Nardi, D.

A2 - Riedmiller, M.

A2 - Sammut, C.

A2 - Santos-Victor, J.

ER -