Marco Alberti
Paolo Torroni
Marco Gavanelli
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 protocol.
- FIPA Contract Net Interaction Protocol. Technical report, Foundation for Intelligent Physical Agents, 2002. Available at http://www.fipa.org.Google Scholar
- SICStus Prolog 3.9.0 Manual. February 2002.Google Scholar
- M. Alberti, A. Ciampolini, M. Gavanelli, E. Lamma, P. Mello, and P. Torroni. A social acl semantics by deontic constraints. In V. Marik, J. Muller, and M. Pechoucek, editors, Proceedings of the 3rd International/Central and Eastern European Conference on Multi-Agent Systems, number 2691 in Lecture Notes in Artificial Intelligence, pages 204--213, Prague, Czech Republic, June 2003. Springer Verlag. Google ScholarDigital Library
- M. Alberti, M. Gavanelli, E. Lamma, P. Mello, and P. Torroni. Specification and verification of agent interactions using social integrity constraints. In W. van der Hoek, A. Lomuscio, E. de Vink, and M. Wooldridge, editors, Proceedings of the Workshop on Logic and Communication in Multi-Agent Systems (LCMAS), Eindhoven, the Netherlands, June 29 2003. Google ScholarDigital Library
- A. Artikis, J. Pitt, and M. Sergot. Animated specifications of computational societies. In C. Castelfranchi and W. Lewis Johnson, editors, Proceedings of the First Joint Conference on Autonomous Agents and Multi Agent Systems, pages 1053--1061, Bologna, Italy, 2002. ACM. Google ScholarDigital Library
- U. Endriss, N. Maudet, F. Sadri, and F. Toni. Protocol conformance for logic-based agents. In G. Gottlob and T. Walsh, editors, Proceedings of the 18th International Joint Conference on Artificial Intelligence (IJCAI-2003), pages 679--684. Morgan Kaufmann Publishers, August 2003. Google ScholarDigital Library
- FIPA Communicative Act Library Specification. Experimental specification XC00037H, Foundation for Intelligent Physical Agents, Aug. 2001. Published on August 10th, 2001, available for download from the FIPA website: http://www.fipa.org.Google Scholar
- N. Fornara and M. Colombetti. Operational specification of a commitment-based agent communication language. In C. Castelfranchi and W. Lewis Johnson, editors, Proceedings of the First Joint Conference on Autonomous Agents and Multi Agent Systems, pages 535--542, Bologna, Italy, July 15--19 2002. Google ScholarDigital Library
- T. Frühwirth. Theory and practice of constraint handling rules. Journal of Logic Programming, 37(1--3):95--138, Oct. 1998.Google Scholar
- J. Jaffar and M. Maher. Constraint logic programming: a survey. Journal of Logic Programming, 19--20:503--582, 1994.Google ScholarCross Ref
- R. A. Kowalski and M. Sergot. A logic-based calculus of events. New Generation Computing, 4(1):67--95, 1986. Google ScholarDigital Library
- J. W. Lloyd. Foundations of Logic Programming. Springer Verlag, 2nd extended edition, 1987. Google ScholarDigital Library
- J. Muller and J. Odell. Agent UML: A formalism for specifying multiagent interaction. Agent-Oriented Software Engineering, pages 91--103, 2001. Google ScholarDigital Library
- P. Yolum and M. Singh. Flexible protocol specification and execution: applying event calculus planning using commitments. In C. Castelfranchi and W. Lewis Johnson, editors, Proceedings of the First Joint Conference on Autonomous Agents and Multi Agent Systems, pages 527--534, Bologna, Italy, 2002. Google ScholarDigital Library
Recommendations
Model checking multi-agent systems with MABLE
AAMAS '02: Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2MABLE is a language for the design and automatic verification of multi-agent systems. MABLE is essentially a conventional imperative programming language, enriched by constructs from the agent-oriented programming paradigm. A MABLE system contains a ...
Model checking for ACL compliance verification
AAMAS '03: Proceedings of the second international joint conference on Autonomous agents and multiagent systemsThe problem of checking that agents correctly implement the semantics of an agent communication language has become increasingly important as agent technology makes its transition from the research laboratory to field-tested applications. In this paper, ...
Integrating jason in a multi-agent platform with support for interaction protocols.
SPLASH '11 Workshops: Proceedings of the compilation of the co-located workshops on DSM'11, TMC'11, AGERE! 2011, AOOPES'11, NEAT'11, & VMIL'11Agent communication is a core issue when studying all possible ways for agents to organize and collaborate to achieve their goals. We can count on communication standards, as the FIPA Interaction Protocols. On the other hand we can count on high level ...
Comments