DMCA
Specification and Verification of Agent Interaction Protocols in a Logic-based System (2004)
Cached
Download Links
| Venue: | PROCEEDINGS OF THE 2004 ACM SYMPOSIUM ON APPLIED COMPUTING (SAC) |
| Citations: | 50 - 9 self |
BibTeX
@MISC{Alberti04specificationand,
author = {Marco Alberti and Davide Daolio and Paolo Torroni and Marco Gavanelli and Evelina Lamma and Paola Mello},
title = {Specification and Verification of Agent Interaction Protocols in a Logic-based System},
year = {2004}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
In multiagent systems, agent interaction is ruled by means of interaction protocols. Compliance to protocols can be hardwired in agent programs; however, this requires that only “certified ” agents interact. In open societies, composed of autonomous and heterogeneous agents whose internal structure is, in general, not accessible, interaction protocols should be specified in terms of the agent observable behaviour, and compliance should be verified by an external entity. In this paper, we propose a Java-Prolog-CHR system for verification of compliance of agents ’ behaviour to protocols specified in a logic-based formalism (Social Integrity Constraints). We also present the application of the formalism and the system to the specification and verification of the FIPA Contract-Net protocol.
Keyphrases
logic-based system agent interaction protocol interaction protocol agent interaction heterogeneous agent external entity open society social integrity constraint java-prolog-chr system multiagent system agent observable behaviour agent program logic-based formalism fipa contract-net protocol internal structure
