Abstract
In this paper, we present a multi-layered architecture for spatial 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 agent’s 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.
Chapter PDF
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
M. Asada and H. Kitano, editors. RoboCup-98: Robot Soccer WorldCup II. LNAI 1604. Springer, Berlin, Heidelberg, New York, 1999.
P. Baumgartner and U. Furbach. PROTEIN: A PROver with a Theory Extension INterface. In A. Bundy, editor, Proceedings of the 12th International Conference on Automated Deduction, LNAI 814, pages 769–773, Nancy, 1994. Springer, Berlin, Heidelberg, New York.
B. Bennet, A. G. Cohn, and A. Isli. Combining multiple representations in a spatial reasoning system. In Proceedings of the 9th IEEE International Conference on Tools with Artificial Intelligence (ICTAI’97), pages 314–322, Newport Beach, CA, 1997.
M. Betke and L. Gurvits. Mobile robot localization using landmarks. IEEE Transactions on Robotics and Automation, 13(2):251–263, Apr. 1997.
K. Borsuk and W. Szmielew. Foundations of Geometry. North-Holland, Amsterdam, 1960.
B. Bremen Erkennung von Paß-und Abseitssituationen mit räumlichem Schließen. Studienarbeit S 570, Fachbereich Informatik, Universität Koblenz, 1999.
H.-D. Burkhard, M. Hannebauer, and J. Wendler. Belief-desire-intention-deliberation in artificial soccer. AI Magazine, pages 87–93, 1998.
E. Clementini, P. Di Felice, and D. Hernández. Qualitative representation of positional information. Artificial Intelligence, 95(2):317–356, 1997.
E. Corten, K. Dorer, F. Heintz, K. Kostiadis, J. Kummeneje, H. Myritz, I. Noda, J. Riekki, P. Riley, P. Stone, and T. Yeap. Soccerserver Manual, 5th edition, May 1999. For Soccerserver Version 5.00 and later.
G. De Giacomo, Y. Lespérance, and H. J. Levesque. Reasoning about concurrent execution, prioritized interrupts, and exogenous actions in the situation calculus. In M. E. Pollack, editor, Proceedings of the 15th International Joint Conference on Artificial Intelligence, pages 1221–1226, Nagoya, Japan, 1997. Volume 2.
J. Dix, F. Stolzenburg, G. R. Simari, and P. R. Fillottrani. Automating defeasible reasoning with logic programming (DeReLoP). In S. Jähnichen, editor, Proceedings of the 2nd German-Argentinian Workshop on Information Technology, pages 39–46, Königswinter, 1999. To appear.
C. Eschenbach and L. Kulik. An axiomatic approach to the spatial relations underlying Left-Right and in Front of-Behind. In G. Görz and S. Hölldobler, editors, KI-97: Advances in Artificial Intelligence-Proceedings of the 21st Annual German Conference on Artificial Intelligence, LNAI 1303, pages 207–218, Freiburg, 1997. Springer, Berlin, Heidelberg, New York.
J.-S. Gutmann, W. Hatzack, I. Herrmann, B. Nebel, F. Rittinger, A. Topor, T. Weigel, and B. Welsch. The CS Freiburg robotic soccer team: Reliable self-localization, multirobot sensor integration and basic soccer skills. In Asada and Kitano [1], pages 93–108.
International Computers Limited and IC-Parc. ECLiPSe User Manual / Extensions User Manual-Release 4.0, 1998. Two volumes.
J. Jaffar and M. J. Maher. Constraint logic programming: a survey. Journal of Logic Programming, 19/20:503–581, 1994.
C. G. Jung. Layered and resource-adapting agents in the RoboCup simulation. In Asada and Kitano [1], pages 207–220.
Y Labrou and T. Finin. A proposal for a new KQML specification. Technical Report TR CS-97-03, Computer Science and Electrical Engineering Department, University of Maryland Baltimore County, Baltimore, MD 21250, Feb. 1997.
J. Murray. My goal is my castle-Die höheren Fähigkeiten eines RoboCup-Agenten am Beispiel des Torwarts. Studienarbeit S 564, Fachbereich Informatik, Universität Koblenz, 1999.
H. Nakashima and I. Noda. Dynamic subsumption architecture for programming intelligent agents. In Proceedings of the International Conference on Multi-Agent Systems, pages 190–197. AAAI Press, 1998.
I. Noda. Soccer server: a simulator for RoboCup. In JSAI AI-Symposium, 1995.
O. Obst. RoboLog-An ECLiPSe-Prolog SoccerSener interface: Users manual, March 1998.
O. Obst. RoboLog: Eine deduktive Schnittstelle zum RoboCup Soccer Server. Diplomarbeit D488, Fachbereich Informatik, Universität Koblenz, 1999.
D. A. Randel, Z. Cui, and A. G. Cohn. A spatial logic based on regions and connections. In Proceedings of the third Int. Conf. on Knowledge Representation and Reasoning, pages 165–176, San Mateo, 1992. Morgan Kaufmann.
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 European Workshop on Modelling Autonomous Agents in a Multi-Agent World, LNAI 1038, pages 42–55, Berlin, Heidelberg, New York, 1996. Springer.
P. Stone, M. Veloso, and P. Riley. The CMUnited-98 champion simulator team. In Kitano editors. RoboCup-98: Robot Soccer WorldCup II. LNAI 1604. Springer, Berlin, Heidelberg, New York, 1999 [1], pages 61–76.
K. Zimmermann and C. Freksa. Qualitative spatial reasoning using orientation, distance, and path knowledge. Applied Intelligence, 6:49–58, 1996.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Stolzenburg, F., Obst, O., Murray, J., Bremer, B. (2000). Spatial Agents Implemented in a Logical Expressible Language. In: Veloso, M., Pagello, E., Kitano, H. (eds) RoboCup-99: Robot Soccer World Cup III. RoboCup 1999. Lecture Notes in Computer Science(), vol 1856. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45327-X_41
Download citation
DOI: https://doi.org/10.1007/3-540-45327-X_41
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-41043-0
Online ISBN: 978-3-540-45327-7
eBook Packages: Springer Book Archive