Towards a league-independent qualitative soccer theory for robocup

Authors:
Frank Dylla;Alexander Ferrein;Gerhard Lakemeyer;Jan Murray;Oliver Obst;Thomas Röfer;Frieder Stolzenburg;Ubbo Visser;Thomas Wagner
Affiliations:
Center for Computing Technologies (TZI), Universität Bremen, Bremen;Computer Science Department, RWTH Aachen, Aachen;Computer Science Department, RWTH Aachen, Aachen;AI Research Group, Universität Koblenz-Landau, Koblenz;AI Research Group, Universität Koblenz-Landau, Koblenz;Center for Computing Technologies (TZI), Universität Bremen, Bremen;Automation and Computer Sciences Department, Hochschule Harz, Wernigerode;Center for Computing Technologies (TZI), Universität Bremen, Bremen;Center for Computing Technologies (TZI), Universität Bremen, Bremen
Venue:
RoboCup 2004
Year:
2005

Citing 3
Cited 10

ConGolog, a concurrent programming language based on the situation calculus

Artificial Intelligence
Qualitative Velocity and Ball Interception

KI '02 Proceedings of the 25th Annual German Conference on AI: Advances in Artificial Intelligence
On-line execution of cc-Golog plans

IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1

Impact of tactical variations in the RoboCup four-legged league

PCAR '06 Proceedings of the 2006 international symposium on Practical cognitive agents and robots
Football is coming home

PCAR '06 Proceedings of the 2006 international symposium on Practical cognitive agents and robots
3D2Real: Simulation League Finals in Real Robots

RoboCup 2006: Robot Soccer World Cup X
Balancing Gains, Risks, Costs, and Real-Time Constraints in the Ball Passing Algorithm for the Robotic Soccer

RoboCup 2006: Robot Soccer World Cup X
Rational Passing Decision Based on Region for the Robotic Soccer

RoboCup 2007: Robot Soccer World Cup XI
Intuitive Plan Construction and Adaptive Plan Selection

RoboCup 2007: Robot Soccer World Cup XI
An approach to close the gap between simulation and real robots

SIMPAR'10 Proceedings of the Second international conference on Simulation, modeling, and programming for autonomous robots
Flexible coordination of multiagent team behavior using HTN planning

RoboCup 2005
Artificial intelligence in robocup

Reasoning, Action and Interaction in AI Theories and Systems
QRPC: A new qualitative model for representing motion patterns

Expert Systems with Applications: An International Journal

Quantified Score

Hi-index	0.00

Visualization

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.