Specification and verification of agent interaction protocols in a logic-based system
- 14 March 2004
- conference paper
- Published by Association for Computing Machinery (ACM)
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 protocolKeywords
This publication has 6 references indexed in Scilit:
- Specification and verification of agent interaction protocols in a logic-based systemPublished by Association for Computing Machinery (ACM) ,2004
- Animated specifications of computational societiesPublished by Association for Computing Machinery (ACM) ,2002
- Operational specification of a commitment-based agent communication languagePublished by Association for Computing Machinery (ACM) ,2002
- Flexible protocol specification and executionPublished by Association for Computing Machinery (ACM) ,2002
- Constraint logic programming: a surveyThe Journal of Logic Programming, 1994
- A logic-based calculus of eventsNew Generation Computing, 1986