Abstract
Outline. A formalism for the specification of multiagent systems should be expressive enough to model not only the behavior of one single agent, but also the collaboration among several agents and the influences caused by external events. For this, state machines [4] seem to provide an adequate means. Therefore, the approach of the team RoboLog Koblenz 2001 employs techniques from software engineering and artificial intelligence research by using UML statecharts and implementing them systematically with logic and deduction in Prolog [3].
This research is partially supported by the grants Fu 263/6-1 and Fu 263/8-1 from the German research foundation DFG.
Chapter PDF
Similar content being viewed by others
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
D. Gale and L. Shapely. College admissions and the stability of marriage. American Mathematical Monthly, 1962.
J. Murray. Soccer agents think in UML. Diplomarbeit D 610, Fachbereich Informatik, Universität Koblenz-Landau, 2001.
J. Murray, O. Obst, and F. Stolzenburg. Towards a logical approach for soccer agents engineering. In P. Stone, T. Balch, and G. Kraetzschmar, editors, RoboCup 2000: Robot Soccer World Cup IV, LNAI 2019, pages 199–208. Springer, Berlin, Heidelberg, New York, 2001.
Object Management Group, Inc. OMG Unified Modeling Language Specification, 1999. Version 1.3, June 1999.
O. Obst. Specifying rational agents with statecharts and utility functions. In Accepted paper at RoboCup International Symposium (RoboCup 2001), 2001. To appear.
A. Pnueli and M. Shalev. What is in a step: On the semantics of statecharts. In T. Ito and A. R. Meyer, editors, International Conference on Theoretical Aspects of Computer Software, LNCS 526, pages 244–264, Sendai, Japan, 1991. Springer, Berlin, Heidelberg, New York.
F. Stolzenburg. Reasoning about cognitive robotics systems. In R. Moratz and B. Nebel, editors, Themenkolloquium Kognitive Robotik und Raumrepräsentation des DFG-Schwerpunktprogramms Raumkognition, Hamburg, 2001.
F. Stolzenburg, O. Obst, J. Murray, and B. Bremer. Spatial agents implemented in a logical expressible language. In M. Veloso, E. Pagello, and H. Kitano, editors, RoboCup-99: Robot Soccer WorldCup III, LNAI 1856, pages 481–494. Springer, Berlin, Heidelberg, New York, 2000.
P. Stone and D. McAllester. An architecture for action selection in robotic soccer. In Fifth International Conference on Autonomous Agents, 2001.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Murray, J., Obst, O., Stolzenburg, F. (2002). RoboLog Koblenz 2001. In: Birk, A., Coradeschi, S., Tadokoro, S. (eds) RoboCup 2001: Robot Soccer World Cup V. RoboCup 2001. Lecture Notes in Computer Science(), vol 2377. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45603-1_75
Download citation
DOI: https://doi.org/10.1007/3-540-45603-1_75
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-43912-7
Online ISBN: 978-3-540-45603-2
eBook Packages: Springer Book Archive