Compliance verification of agent interaction: A logic-based software tool

Applied Artificial Intelligence

Volumn 20, Issue 2-4, 2006, Pages 133-157

  Alberti, Marco ^a   Gavanelli, Marco ^a   Lamma, Evelina ^a   Chesani, Federico ^b   Mello, Paola ^b   Torroni, Paolo ^b  

^a UNIVERSITY OF FERRARA   (Italy)

^b UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE; FORMAL LOGIC; JAVA PROGRAMMING LANGUAGE; NETWORK PROTOCOLS; PROLOG (PROGRAMMING LANGUAGE); USER INTERFACES;

AGENT INTERACTION; LOGIC PROGRAMMING TECHNOLOGY; LOGIC-BASED SOFTWARE TOOL;

INTELLIGENT AGENTS;

EID: 33645778983     PISSN: 08839514     EISSN: 10876545     Source Type: Journal    
DOI: 10.1080/08839510500479546     Document Type: Article

References (34)

1. Alberti, M., F. Chesani, M. Gavanelli, E. Lamma, P. Mello, and P. Torroni, 2004. A logic based approach to interaction design in open multi-agent systems. In Proceedings of the 13th IEEE international Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises (WETICE-2004), 2nd International Workshop "Theory and Practice of Open Computational Systems (TAPOCS)," pages 387-392, Modena, Italy: IEEE Press.
2. Alberti, M., F. Chesani, M. Gavanelli, A. Guerri, E. Lamma, P. Mello, and P. Torroni. Expressing interaction in combinatorial auction through social integrity constraints. Intelligenza Artificiale, II(1):22-29.
3. Alberti, M., A. Ciampolini, M. Gavanelli, E. Lamma, P. Mello, and P. Torroni. 2003. A social ACL semantics by deontic constraints. In Multi-Agent Systems and Applications III, Proceedings of the 3rd International Central and Eastern European Conference on Multi-Agent Systems (CEEMAS 2003), volume 2691 of Lecture Notes in Artificial Intelligence, pages 204-213, Prague, Czech Republic; Springer-Verlag.
4. Alberti, M., M. Gavanelli, E. Lamma, P. Mello, and P. Torroni. 2003. An abductive interpretation for open societies. In Advances in Artificial Intelligence, Proceedings of the 8th Congress of the Italian Association for Artificial Intelligence, (AI*IA 2003), volume 2829 of Lecture Notes in Artificial Intelligence, pages 287-299. Piso, Italy: Springer-Verlag.
5. Alberti, M., M. Gavanelli, E. Lamma, P. Mello, and P. Torroni. 2004. Specification and verification of agent interactions using social integrity constraints. Electronic Notes in Theoretical Computer Science 85(2).
6. Alberti, M., M. Gavanelli, E. Lamma, P. Mello, and P. Torroni. 2003. Specification and Verification of Interaction Protocols: A Computational Logic Approach Based on Abduction. Technical Report CS-2003-03, Dipartimento di Ingegneria di Ferrara, Ferrara, Italy, http://www.ing.unife.it/informatica/tr/.
7. Artikis, A., J. Pitt, and M. Sergot. 2002. Animated specifications of computational societies. In Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-2002), Part III, pages 1053-1061, Bologna, Italy: ACM Press.
8. Bellifemine, F., A. Poggi, and G. Rimassa. 2001. Developing multi-agent systems with a FIPA-compliant agent framework. Software-Practice and Experience 31(2)103-128.
9. Bracciali, A., N. Demetriou, U. Endriss, A Kakas, W. Lu, and K. Stathis. 2005. Crafting the mind of PROSOCS agents. Applied Artificial Intelligence 20 (2-4): 105-131.
10. Caire, G., M. Cossentino, A. Negri, A. Poggi, and P. Turci. 2004. Multi-agent systems implementation and testing. In: Cybernetics and Systems 2004 - Volume II, pages 612-617, Vienna, Austria: Austrian Society for Cybernetics Studies.
11. Davidsson, P. 2001. Categories of artificial societies. In: Engineering Societies in the Agents World II, eds. A. Omicini, P. Petta, and R. Tolksdorf, volume 2203 of Lecture Notes in Artificial Intelligence, 1-9, Springer-Verlag.
12. d'Inverno, M., D. Kinny, and M. Luck. 1998. Interaction protocols in Agentis. In Proceedings of the Third International Conference, on Multiagent Systems, pages 261-268, Paris, France.
13. Esteva, M., D. de la Cruz, and C. Sierra, 2002, ISLANDER: An electronic institutions editor. In Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-2002), Part, III, pages 1045-1052, Bologna, Italy: ACM Press.
14. Fornara, N. and M. Colombetti. 2002. Operational specification of a commitment-based agent communication language. In Proceedings of the. First International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-2002), Part II, pages 535-542, Bologna, Italy: ACM Press.
15. Fornara, N. and M. Colombetti. 2003. Defining interaction protocols using a commitment-based agent communication language. In Proceedings of the Second International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-2003), pages 520-527, Melbourne, Victoria: ACM Press.
16. Frühwirth, T. 1998. Theory and practice of constraint handling rules. Journal of Logic Programming 37(1-3):95-138.
17. Fung, T. H. and R. A. Kowalski, 1997. The IFF proof procedure for abductive logic programming. Journal of Logic Programming 35(2):151-165.
18. Gelernter, D. and N. Carriero. 1992. Coordination languages and their significance. Communications of the ACM. 35(2):97-107.
19. Guerin, F. and J. Pitt. 2002. Guaranteeing properties for e-commerce systems. In: Agent-Mediated Electronic Commerce IV, Designing Mechanisms and Systems, AAMAS 2002 Workshop on Agent Mediated Electronic Commerce, Revised Papers, pages 253-272, Bologna, Italy: Springer-Verlag.
20. Huget, M.-P. 2004. Representing goals in multiagent systems. In: Cybernetics and Systems 2004, ed. R. Trappl, Volume II, pages 588-593, Vienna, Austria: Austrian Society for Cybernetics Studies.
21. Jaffar, J. and M. J. Maher. 1994. Constraint logic programming: a survey. Journal of Logic Programming 19-20:503-582.
22. Kakas, A. C., R. A. Kowalski, and F. Toni. 1993. Abductive logic programming. Journal of Logic and Computation 2(6):719-779.
23. Kakas, A. C., P. Mancarella, F. Sadri, K. Stathis, and F. Toni. 2004, The KGP model of agency. In Proceedings of the Sixteenth European Conference on Artificial Intelligence, (ECAI 2004), Valencia, Italy: IOS Press.
24. Kinny, D., M. Georgeff, and A. S. Rao. 1996. A methodology and modelling technique for systems of BDI agents. In: Agents Breaking Away, Proceeding of the 7th European Workshop on Modelling Autonomous Agents in a Multi-Agent World (MAAMAW'96), volume 1038 of Lecture Notes in Computer Science, pages 42-55, Eindhoren the Netherlands: Springer-Verlag.
25. Kowalski, R. A. and M. Sergot. 1986. A logic-based calculus of events. New Generation Computing 4(1): 67-95.
26. Mantel, H. and A. Sabelfeld. 2003. A unifying approach to the security of distributed and multi-threaded programs. Journal of Computer Security 11(4):615-676.
27. Merz, S. 2001. Model checking: A tutorial overview. In: Modeling and Verification of Parallel Processes, eds. F. Cassez, C. Jard, B. Rozoy, and M. D. Ryan, number 2067 in Lecture Notes in Computer Science, 3-38. New York: Springer-Verlag.
28. Omicini, A. and S. Ossowski. 2003. Objective versus subjective coordination in the engineering of agent systems. In: Intelligent Information Agents: An AgentLink Perspective, eds. M. Klusch, S. Bergamaschi, P. Edwards, and P. Petra, volume 2586 of LNAI: State-of-the-Art Survey, pages 179-202. New York: Springer-Verlag.
29. Ricci, A., A. Omicini, and E. Denti. 2002. Objective vs. subjective coordination in agent-based systems: A case study. In Coordination Languages and Models, eds. F. Arbab and C. Talcott, volume 2315 of LNCS, 291-299. New York: Springer-Verlag.
30. SICStus prolog user manual, release 3.11.0. 2003. http://www.sics.se/isl/ sicstus/.
31. SOCS. 2001. Societies of Computees: A computational logic model for the description, analysis and verification of global and open societies of heterogeneous computees, http://lia.deis.unibo.it/Research/SOCS/.
32. Verdicchio, M. and M. Colombetti. 2003. A logical model of social commitment for agent communication. In Proceedings of the Second International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-2003) pages 528-535, Melbourne, Victoria: ACM Press.
33. Wooldridge, M., N. R. Jennings, and D. Kinny. 2000. The gaia methodology for agent-oriented analysis and design. Autonomous Agents and Multi-Agent Systems 3(3):285-312.
34. Yolum, P. and M. P. Singh. 2002. Flexible protocol specification and execution: applying event calculus planning using commitments. In Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-2002), Part II, pages 527-534, Bologna, Italy: ACM Press.