back to publications overview

Towards a Logical Approach for Soccer Agents Engineering


Jan Murray, Oliver Obst, and Frieder Stolzenburg. Towards a Logical Approach for Soccer Agents Engineering. In Peter Stone, Tucker Balch, and Gerhard Kraetzschmar, editors, RoboCup-2000: Robot Soccer World Cup IV, Lecture Notes in Artificial Intelligence, pp. 199–208, Springer, Berlin, Heidelberg, New York, 2001.
Preliminary version appeared as Fachberichte Informatik 6/2000, Universität Koblenz-Landau.


Download

[web page]


Abstract

Building agents for a scenario such as the RoboCup simulation league requires not only methodologies for implementing high-level complex behavior, but also the careful and efficient programming of low-level facilities like ball interception. With this hypothesis in mind, we continued the development of RoboLog Koblenz. As before, the focus is laid on the declarativity of the approach. This means, agents are implemented in a logic- and rule-based manner in the high-level and flexible logic programming language Prolog. Logic is used as a control language for deciding how an agent should behave in a situation where there possibly is more than one choice.
In order to describe the more procedural aspects of the agent's behavior, we employ state machines, which are represented by statecharts. Because of this, we revised our script language for modeling multi-agent behavior, such that we are now able to specify plans with iterative parts and also reactive behavior, which is triggered by external events. In summary, multi-agent behavior can be described in a script language, where procedural aspects are specified by statecharts and declarative aspects by logical rules (in decision trees). Multi-agent scripts are implemented in Prolog. The RoboLog kernel is written in C++ and makes now use of the low-level skills of the CMUnited-99 simulator team.

BiBTeX Entry


@incollection{MOS01b,
	Abstract = {Building agents for a scenario such as the RoboCup
		   simulation league requires not only methodologies for implementing
		   high-level complex behavior, but also the careful and efficient programming
		   of low-level facilities like ball interception. With this hypothesis in
		   mind, we continued the development of RoboLog Koblenz. As before, the focus
		   is laid on the declarativity of the approach. This means, agents are
		   implemented in a logic- and rule-based manner in the high-level and flexible
		   logic programming language Prolog. Logic is used as a control language for
		   deciding how an agent should behave in a situation where there possibly is
		   more than one choice. \par In order to describe the more procedural aspects
		   of the agent's behavior, we employ state machines, which are represented by
		   statecharts. Because of this, we revised our script language for modeling
		   multi-agent behavior, such that we are now able to specify plans with
		   iterative parts and also reactive behavior, which is triggered by external
		   events. In summary, multi-agent behavior can be described in a script
		   language, where procedural aspects are specified by statecharts and
		   declarative aspects by logical rules (in decision trees). Multi-agent
		   scripts are implemented in Prolog. The RoboLog kernel is written in C++ and
		   makes now use of the low-level skills of the CMUnited-99 simulator team.},
	Address = {Berlin, Heidelberg, New York},
	Author = {Jan Murray and Oliver Obst and Frieder Stolzenburg},
	Booktitle = {{R}obo{C}up-2000: Robot Soccer World Cup {IV}},
	Editor = {Peter Stone and Tucker Balch and Gerhard Kraetzschmar},
	Html = {http://www.coral.cs.cmu.edu/robocup/workshop2000/},
	Number = {2019},
	Pages = {199--208},
	Place = {REGAL},
	Psgz =
		   {http://www.uni-koblenz.de/ag-ki/PAPER/ROBOCUP/2000/teamdes.ps.gz},
	Publisher = {Springer},
	Series = lnai,
	Title = {Towards a Logical Approach for Soccer Agents Engineering},
	Wwwnote = {
		   Preliminary version appeared as Fachberichte Informatik 6/2000,
		   Universit{\"a}t Koblenz-Landau.},
	Year = 2001}