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
@inproceedings{obs-aamas02,
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}

Tags:
    

Publication

— authors

Mirko Viroli, Andrea Omicini

— editors

Cristiano Castelfranchi, W. Lewis Johnson

— status

published

— sort

paper in proceedings

Venue

— volume

1st International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2002)

— publication date

15-19 July 2002

— pages

712-720

URLs & IDs

original page

— DOI

10.1145/544862.544913

— ACM

544913

— Scopus

2-s2.0-0036355135

— print ISBN

1-58113-480

BibTeX

— BibTeX ID
obs-aamas02
— BibTeX category
inproceedings

Partita IVA: 01131710376 - Copyright © 2008-2021 APICe@DISI Research Group - PRIVACY