Mirko Viroli, Andrea Omicini

We show how a formal framework for the observation issue in computer systems can be used for the specification of an agent behavior, abstracting away from agent inner details while focusing on its interactive behavior. This model can also be used as a specification of agent communication languages (ACLs), providing the proper abstraction level to represent the conditions causing an agent to send a message, as well as its effect on the receiving agent. In particular, this approach generalizes upon existing ACL semantics, such as FIPA ACL, that relate agent communicative acts to the agent mental state. Since the observation framework induces a more abstract architecture than other known approaches, our semantics are likely to be applicable to a wider set of agent architectures, thus better supporting standardization aims. Some application examples are shown, describing how various aspects of ACL semantics can be specified within our framework.

(keywords) Multiagent Systems, Observation, Operational Semantics
Applied Artificial Intelligence: An International Journal 16(9-10), pages 775-793, October-December 2002, Taylor & Francis
Special Issue: Engineering Agent Systems — Best of "From Agent Theory to Agent Implementation (AT2AI-3)"
Author = {Viroli, Mirko and Omicini, Andrea},
Doi = {10.1080/08839510290030480},
Issn = {0883-9514},
Issn-Online = {1087-6545},
Journal = {Applied Artificial Intelligence: An International Journal},
Keywords = {Multiagent Systems, Observation, Operational Semantics},
Month = oct # {--} # dec,
Note = {Special Issue: Engineering Agent Systems -- Best of ``From Agent Theory to Agent Implementation (AT2AI-3)''},
Number = {9-10},
Pages = {775--793},
Publisher = {Taylor \& Francis},
ScopusId = {2-s2.0-0036819454},
Title = {An Observation Approach to Semantics of Agents Communication Languages},
Url = {http://www.tandfonline.com/doi/abs/10.1080/08839510290030480},
Url-Pdf = {http://www.tandfonline.com/doi/pdf/10.1080/08839510290030480},
Volume = 16,
WosId = {000179222400006},
Year = 2002}



An Observation Approach to Semantics of Agents Communication Languages

— status


— authors

Mirko Viroli, Andrea Omicini

URLs & IDs

original page
original PDF



— Scopus


— WoS / ISI


— print ISSN


— online ISSN



— BibTeX ID
— BibTeX category


— journal/series

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