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 with 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 with interaction protocols. In this paper we present a JAVA-PROLOG software component built on logic programming technology, which can be used to verify compliance of agent interaction to protocols, and that has been integrated with the PROSOCS platform.
Compliance Verification of Agent Interaction: a Logic-Based Software Tool / M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello; P. Torroni. - In: APPLIED ARTIFICIAL INTELLIGENCE. - ISSN 0883-9514. - STAMPA. - 20(2-4):(2006), pp. 133-157. [10.1080/08839510500479546]
Compliance Verification of Agent Interaction: a Logic-Based Software Tool
CHESANI, FEDERICO;MELLO, PAOLA;TORRONI, PAOLO
2006
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 with 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 with interaction protocols. In this paper we present a JAVA-PROLOG software component built on logic programming technology, which can be used to verify compliance of agent interaction to protocols, and that has been integrated with the PROSOCS platform.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
