Compliance verification of agent interaction: a logic-based software tool

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).

• Type: Journal
• Year: 2006
• Where: AAI
• Authors: Marco Alberti, Marco Gavanelli, Evelina Lamma, Federico Chesani, Paola Mello, Paolo Torroni
• Keywords: AAI 2006, Agent Interaction, Java-Prolog Software Component, Open Societies