DMCA
Compliance verification of agent interaction: a logic-based tool (2006)
Cached
Download Links
| Venue: | Applied Artificial Intelligence |
| Citations: | 47 - 24 self |
BibTeX
@ARTICLE{Alberti06complianceverification,
author = {Marco Alberti and Marco Gavanelli and Evelina Lamma and Università Di Ferrara and Via Saragat},
title = {Compliance verification of agent interaction: a logic-based tool},
journal = {Applied Artificial Intelligence},
year = {2006},
volume = {20},
pages = {570--575}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
In open societies of agents, where agents are autonomous and heterogeneous, it is not realistic to assume that agents will always act so as to comply to interaction protocols. Thus, the need arises for a formalism to specify constraints on agent interaction, and for a tool able to observe and check for agent compliance to interaction protocols. In this paper we present a Java-Prolog software component which can be used to verify compliance of agent interaction to protocols written in a logicbased formalism (Social Integrity Constraints). 1
