Specification and verification of agent interaction using social integrity constraints

Electronic Notes in Theoretical Computer Science

Volumn 85, Issue 2, 2004, Pages 94-116

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

^a UNIVERSITY OF FERRARA   (Italy)

^b UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

AGENTS; COMPUTATIONAL LINGUISTICS; COMPUTATIONAL METHODS; FORMAL LOGIC; MULTI AGENT SYSTEMS; NETWORK PROTOCOLS; SEMANTICS; SOCIAL ASPECTS;

AGENT COMMUNICATION LANGUAGES (ACL); LOGIC BASED FORMALISM; SOCIAL INTEGRITY; SOCIAL SEMANTICS;

COMPUTER SCIENCE;

EID: 18744390835     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(05)82605-2     Document Type: Conference Paper

References (20)

1. Alberti, M., M. Gavanelli, E. Lamma, P. Mello and P. Torroni, An abductive interpretation for open societies, in: A. Cappelli and F. Turini, editors, AI*IA 2003: Advances in Artificial Intelligence, number 2829 in Lecture Notes in Artificial Intelligence (2003), pp. 287-299
2. Artikis, A., J. Pitt and M. Sergot, Animated specifications of computational societies, in: C. Castelfranchi and W. Lewis Johnson, editors, Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-2002), Part III (2002), pp. 1053-1061.
3. Colombetti M., Fornara N., Verdicchio M. The role of institutions in multiagent systems. Proceedings of the Workshop on Knowledge based and reasoning agents, VIII Convegno AI*IA 2002. 2002;Siena, Italy
4. Cox, B., J. Tygar and M. Sirbu, Netbill security and transaction protocol, in: Proceedings of the First USENIX Workshop on Electronic Commerce, New York, 1995
5. Denecker M., Schreye D.D. SLDNFA: an abductive procedure for abductive logic programs. Journal of Logic Programming. 34:1998;111-167
6. Finin T., Labrou Y., Mayfield J. KQML as an agent communication language. Bradshaw J. Software Agents. 1997;MIT Press, Cambridge
7. FIPA Communicative Act Library Specification (2001), published on August 10th, 2001, available for download from the FIPA website. URL http://www.fipa.org
8. Fornara, N. and M. Colombetti, Operational specification of a commitment-based agent communication language, in: C. Castelfranchi and W. Lewis Johnson, editors, Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-2002), Part II (2002), pp. 535-542.
9. Frühwirth T. Theory and practice of constraint handling rules. Journal of Logic Programming. 37:1998;95-138
10. Fung T.H., Kowalski R.A. The IFF proof procedure for abductive logic programming. Journal of Logic Programming. 33:1997;151-165
11. Guerin, F. and J. Pitt, Proving properties of open agent systems, in: C. Castelfranchi and W. Lewis Johnson, editors, Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-2002), Part II (2002), pp. 557-558.
12. Jaffar J., Maher M. Constraint logic programming: a survey. Journal of Logic Programming. 19-20:1994;503-582
13. Mello, P., P. Torroni, M. Gavanelli, M. Alberti, A. Ciampolini, M. Milano, A. Roli, E. Lamma, F. Riguzzi and N. Maudet, A logic-based approach to model interaction amongst computees, Technical report, SOCS Consortium (2003), deliverable D5.
14. Pitt, J. and F. Guerin, Guaranteeing properties for e-commerce systems, Technical Report TRS020015, Department of Electrical and Electronic Engineering, Imperial College, London, UK (2002). URL http://www.iis.ee.ic.ac.uk/reports
15. Sadri, F., F. Toni and P. Torroni, An abductive logic programming architecture for negotiating agents, in: S. Greco and N. Leone, editors, Proceedings of the 8th European Conference on Logics in Artificial Intelligence (JELIA), Lecture Notes in Computer Science 2424 (2002), pp. 419-431.
16. Singh M. Agent communication language: rethinking the principles. IEEE Computer. 1998;40-47
17. Singh M.P. A social semantics for agent communication languages. Dignum F., Greaves M. Issues in Agent Communication. 2000;31-45 Springer-Verlag
18. Torroni, P., P. Mello, N. Maudet, M. Alberti, A. Ciampolini, E. Lamma, F. Sadri and F. Toni, A logic-based approach to modeling interaction among computees (preliminary report), in: UK Multi-Agent Systems (UKMAS) Annual Conference, Liverpool, UK, 2002.
19. Yolum P., Singh M. Commitment machines. Lecture Notes in Artificial Intelligence. 2333:2002;235-247
20. Yolum, P. 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 International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-2002), Part II (2002), pp. 527-534.