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

[1]  Julian A. Padget,et al.  Agent-Mediated Electronic Commerce IV. Designing Mechanisms and Systems , 2002, Lecture Notes in Computer Science.

[2]  Agostino Poggi,et al.  Developing multi‐agent systems with a FIPA‐compliant agent framework , 2001 .

[3]  Paola Mello,et al.  A Social ACL Semantics by Deontic Constraints , 2003, CEEMAS.

[4]  Frank Guerin,et al.  Guaranteeing Properties for E-commerce Systems , 2002, AMEC.

[5]  Paolo Mancarella,et al.  Abductive Logic Programming , 1992, LPNMR.

[6]  Mats Carlsson,et al.  SICStus Prolog User''s Manual , 1993 .

[7]  Alexander Artikis,et al.  Animated specifications of computational societies , 2002, AAMAS '02.

[8]  Nicholas Carriero,et al.  Coordination languages and their significance , 1992, CACM.

[9]  Munindar P. Singh,et al.  Flexible protocol specification and execution: applying event calculus planning using commitments , 2002, AAMAS '02.

[10]  Nicholas R. Jennings,et al.  The Gaia Methodology for Agent-Oriented Analysis and Design , 2000, Autonomous Agents and Multi-Agent Systems.

[11]  Andrea Bracciali,et al.  PROSOCS: A platform for programming software agents in computational logic , 2004 .

[12]  Marc Esteva,et al.  ISLANDER: an electronic institutions editor , 2002, AAMAS '02.

[13]  Andrea Bracciali,et al.  CRAFTING THE MIND OF PROSOCS AGENTS , 2006, Appl. Artif. Intell..

[14]  Stephan Merz,et al.  Model Checking: A Tutorial Overview , 2000, MOVEP.

[15]  Paolo Mancarella,et al.  The KGP Model of Agency , 2004, ECAI.

[16]  Andrea Omicini,et al.  Objective versus Subjective Coordination in the Engineering of Agent Systems , 2003, AgentLink.

[17]  Evelina Lamma,et al.  An Abductive Interpretation for Open Agent Societies , 2003, AI*IA.

[18]  Agostino Poggi,et al.  Developing Multi-agent Systems with JADE , 2007, ATAL.

[19]  J. Davenport.  Editor , 1960 .

[20]  Evelina Lamma,et al.  Specification and Verification of Interaction Protocols : a Computational Logic Approach Based on Abduction , 2003 .

[21]  Marco Colombetti,et al.  Operational specification of a commitment-based agent communication language , 2002, AAMAS '02.

[22]  Paul Davidsson,et al.  Categories of Artificial Societies , 2001, ESAW.

[23]  Agostino Poggi,et al.  Multi-Agent Systems Implementation and Testing , 2003 .

[24]  Marco Colombetti,et al.  A logical model of social commitment for agent communication , 2003, AAMAS '03.

[25]  Marco Colombetti,et al.  Defining interaction protocols using a commitment-based agent communication language , 2003, AAMAS '03.

[26]  Andrea Omicini,et al.  Objective vs. Subjective Coordination in Agent-Based Systems: A Case Study , 2002, COORDINATION.

[27]  Anand S. Rao,et al.  A Methodology and Modelling Technique for Systems of BDI Agents , 1996, MAAMAW.

[28]  Michael J. Maher,et al.  Constraint Logic Programming: A Survey , 1994, J. Log. Program..

[29]  Thom W. Frühwirth,et al.  Theory and Practice of Constraint Handling Rules , 1998, J. Log. Program..

[30]  Evelina Lamma,et al.  A logic based approach to interaction design in open multi-agent systems , 2004, 13th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises.

[31]  Robert A. Kowalski,et al.  The Iff Proof Procedure for Abductive Logic Programming , 1997, J. Log. Program..

[32]  Heiko Mantel,et al.  A Unifying Approach to the Security of Distributed and Multi-Threaded Programs , 2003, J. Comput. Secur..

[33]  Evelina Lamma,et al.  Expressing interaction in combinatorial auction through social integrity constraints , 2005, Intelligenza Artificiale.

[34]  Michael Luck,et al.  Interaction protocols in Agentis , 1998, Proceedings International Conference on Multi Agent Systems (Cat. No.98EX160).

[35]  Evelina Lamma,et al.  Specification and Verification of Agent Interaction using Social Integrity Constraints , 2004, LCMAS.