论文信息 - Specifying agents with UML in robotic soccer

Specifying agents with UML in robotic soccer

The use of agents and multiagent systems is widespread in computer science nowadays. Thus the need for methods to specify agents in a clear and simple manner arises.In this paper we propose an approach to specifying agent behaviors with the help of UML statecharts. Agents are specified on different levels of abstraction. In addition a method for specifying multiagent plans with explicit cooperation is shown. As an example domain we chose robotic soccer, which lays the basis of the annual RoboCup competitions.

Jan Murray

[1] Jürgen Dix,et al. Transformation-based bottom-up computation of the well-founded model , 1996, Theory and Practice of Logic Programming.

[2] Jürgen Dix,et al. Relating defeasible and normal logic programming through transformation properties , 2000, Theor. Comput. Sci..

[3] Bernhard Bauer,et al. Agent UML : A formalism for specifying multiagent interaction , 2001 .

[4] Ivan P Paltor. The Semantics of UML State Machines , 1999 .

[5] Oliver Obst. Specifying Rational Agents with Statecharts and Utility Functions , 2001, RoboCup.

[6] Alexander Knapp. Semantics of UML State Machines , 1999 .

[7] Oliver Obst,et al. Towards a Logical Approach for Soccer Agents Engineering , 2000, RoboCup.

[8] Toshiaki Arai,et al. Multiagent systems specification by UML statecharts aiming at intelligent manufacturing , 2002, AAMAS '02.

[9] Agostino Poggi,et al. Exploiting UML in the Design of Multi-agent Systems , 2000, ESAW.

[10] Andreas Winter,et al. Exchanging Graphs with GXL , 2001, GD.

[11] Bernhard Bauer,et al. Extending UML for agents , 2000 .

[12] I. Noda. Soccer Server: a simulator of RoboCup , 1995 .

[13] Oliver Obst,et al. RoboLog Koblenz 2001 , 2001, RoboCup.

[14] Oliver Obst,et al. Spatial Agents Implemented in a Logical Expressible Language , 1999, RoboCup.

[15] Guillermo R. Simari,et al. lntroducing generalized specificity in logic programming , 2000 .