RoboLog Koblenz: Spatial Agents Implemented in a Logical Expressible Language

Frieder Stolzenburg
Universität Koblenz, Germany

Oliver Obst
Universität Koblenz, Germany

Jan Murray
Universität Koblenz, Germany

Björn Bremer
Universität Koblenz, Germany

Ladda ner artikelhttp://www.ep.liu.se/ecp_article/index.en.aspx?issue=004;article=025

Ingår i: RobocCup-99 Team Descriptions. Simulation League

Linköping Electronic Conference Proceedings 4:25, s. 116-120

Linköping Electronic Articles in Computer and Information Science 6:25, s. 116-120

Visa mer +

Publicerad: 1999-12-15


ISSN: 1650-3686 (tryckt), 1650-3740 (online)


In this paper; we present a multi-layered architecture for spatial and temporal agents. The focus is laid on the declarativity of the approach; which makes agent scripts expressive and well understandable. They can be realized as (constraint) logic programs. The logical description language is able to express actions or plans for one and more autonomous and cooperating agents for the RoboCup (Simulator League). The system architecture hosts constraint technology for qualitative spatial reasoning; but quantitative data is taken into account; too. The basic (hardware) layer processes the agents sensor information. An interface transfers this low-level data into a logical representation. It provides facilities to access the preprocessed data and supplies several basic skills. The second layer performs (qualitative) spatial reasoning. On top of this; the third layer enables more complex skills such as passing; offside-detection etc. At last; the fourth layer establishes acting as a team both by emergent and explicit cooperation. Logic and deduction provide a clean means to specify and also to implement teamwork behavior.


Inga nyckelord är tillgängliga


[1] M. Betke and L. Gurvits. Mobile robot localization using landmarks. IEEE Transactions on Robotics and Automation; 13(2):251–263; Apr. 1997.

[2] International Computers Limited and IC-Parc. ECLiPSe User Manual / Extensions User Manual – Release 4.0; 1998. Two volumes.

[3] O. Obst. RoboLog - An ECLiPSe-Prolog SoccerServer interface: Users manual; March 1998.

[4] A. S. Rao. AgentsSpeak(L): BDI agents speak out in a logical computable language. In W. van de Velde and J. W. Perrame; editors; Agents Breaking Away – 7th EuropeanWorkshop on Modelling Autonomous Agents in a Multi- Agent World; LNAI 1038; pages 42–55; Berlin; Heidelberg; New York; 1996. Springer.

[5] P. Stone; M. Veloso; and P. Riley. The CMUnited-98 champion simulator team. InM. Asada and H. Kitano; editors; RoboCup–98: Robot SoccerWorld- Cup II; LNAI. Springer; Berlin; Heidelberg; New York; 1999. To appear

Citeringar i Crossref