RoboLog Koblenz 2001

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].