Specifying Agent Observable Behaviour

   page       BibTeX_logo.png   
Cristiano Castelfranchi, W. Lewis Johnson (eds.)
1st International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2002), pages 712–720
ACM Press, Bologna, Italy
July 2002

This paper investigates the application of a formal framework for observation in agent-based systems to the specification of the individual agent's interactive behaviour. An abstract architecture is defined for agents that is based on the idea of viewing them as observable sources – of knowledge, services, capabilities. In this model, only the agent's portion that is directly involved in managing the interactions with the agent's environment is explicitly represented, abstracting away from agent's internal details and focussing on their observable effect.

The applicability of the formal framework as a specification tool is put to test in two ways. On the one hand, this paper shows how different interactive behaviours can be modelled, such as reactive and proactive message sending, as well as publish/subscribing capabilities. On the other hand, a specification language is introduced, developed on top of the formal framework, which has the potential to be effectively exploited as a tool in the engineering of multiagent systems.

origin event
funding project
wrenchNokiaMobileCoord — Coordination Technologies for Mobile Agents and Wireless Devices (01/01/2002–31/12/2002)