In this paper we evaluate transition systems as a tool for providing a rule-based specification of the operational aspects of autonomous agents. By our technique, different aspects of an agent can be analyzed and designed in a loosely coupled way, enabling the possibility of studying their properties in isolation. We take as a use case the Parade framework for building intelligent agents, which leverages a FIPA-like ACL semantics to support semantic interoperability. Our grey-boxing technique is exploited to provide a specification where aspects related to the ACL, the adopted ontology, the agent social role, and the other agent internal details are described separately, in an incremental way.
Titolo: | Operational Semantics for Agents by Iterated Refinment |
Autore/i: | Federico Bergenti; Giovanni Rimassa; VIROLI, MIRKO |
Autore/i Unibo: | |
Anno: | 2004 |
Serie: | |
Titolo del libro: | Declarative Agent Languages and Technologies |
Pagina iniziale: | 39 |
Pagina finale: | 55 |
Digital Object Identifier (DOI): | http://dx.doi.org/10.1007/978-3-540-25932-9_3 |
Abstract: | In this paper we evaluate transition systems as a tool for providing a rule-based specification of the operational aspects of autonomous agents. By our technique, different aspects of an agent can be analyzed and designed in a loosely coupled way, enabling the possibility of studying their properties in isolation. We take as a use case the Parade framework for building intelligent agents, which leverages a FIPA-like ACL semantics to support semantic interoperability. Our grey-boxing technique is exploited to provide a specification where aspects related to the ACL, the adopted ontology, the agent social role, and the other agent internal details are described separately, in an incremental way. |
Data prodotto definitivo in UGOV: | 4-ott-2005 |
Data stato definitivo: | 27-lug-2016 |
Appare nelle tipologie: | 2.01 Capitolo / saggio in libro |