Mirko Viroli, Andrea Omicini

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.

1st International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2002), pages 712-720, 15-19 July 2002.
Cristiano Castelfranchi, W. Lewis Johnson (eds.), ACM Press, Bologna, Italy
AcmId = {544913},
Address = {Bologna, Italy},
Author = {Viroli, Mirko and Omicini, Andrea},
Booktitle = {1st International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2002)},
Doi = {10.1145/544862.544913},
Editor = {Castelfranchi, Cristiano and Johnson, W. Lewis},
Isbn = {1-58113-480},
Month = {15--19~} # jul,
Pages = {712--720},
Publisher = {ACM Press},
ScopusId = {2-s2.0-0036355135},
Title = {Specifying Agent Observable Behaviour},
Url = {http://dl.acm.org/citation.cfm?id=544913},
Volume = 2,
Year = 2002}



2011 © aliCE Research Group @ DEIS, Alma Mater Studiorum-Università di Bologna