COMPLIANCE VERIFICATION OF AGENT INTERACTION: A LOGIC-BASED SOFTWARE TOOL

1 February 2006

journal article
research article
Published by Taylor & Francis in Applied Artificial Intelligence

Vol. 20 (2-4) , 133-157
https://doi.org/10.1080/08839510500479546

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.

Keywords

This publication has 25 references indexed in Scilit:

CRAFTING THE MIND OF PROSOCS AGENTS
Applied Artificial Intelligence, 2006
Specification and Verification of Agent Interaction using Social Integrity Constraints
Electronic Notes in Theoretical Computer Science, 2004
Categories of Artificial Societies
Published by Springer Nature ,2001
Developing multi‐agent systems with a FIPA‐compliant agent framework
Software: Practice and Experience, 2001
Theory and practice of constraint handling rules
The Journal of Logic Programming, 1998
The IFF proof procedure for abductive logic programming
The Journal of Logic Programming, 1997
Constraint logic programming: a survey
The Journal of Logic Programming, 1994
Abductive Logic Programming
Journal of Logic and Computation, 1992
Coordination languages and their significance
Communications of the ACM, 1992
A logic-based calculus of events
New Generation Computing, 1986