Modelling interactions via commitments and expectations

Handbook of Research on Multi-Agent Systems: Semantics and Dynamics of Organizational Models

Volumn , Issue , 2009, Pages 263-284

  Torroni, Paolo ^a   Yolum, Pinar ^b   Singh, Munindar P ^c   Alberti, Marco ^d   Chesani, Federico ^a   Gavanelli, Marco ^d   Lamma, Evelina ^d   Mello, Paola ^a  

^a UNIVERSITY OF BOLOGNA   (Italy)

^b BOGAZICI UNIVERSITY   (Turkey)

^c North Carolina State University   (United States)

^d UNIVERSITY OF FERRARA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84901566756     PISSN: None     EISSN: None     Source Type: Book    
DOI: 10.4018/978-1-60566-256-5.ch011     Document Type: Chapter

References (37)

1. Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., & Mello, P. (2006a). A verifiable logic-based agent architecture. In F. Esposito, Z. W. Ras, D. Malerba, G. Semeraro (Eds.), Proceedings of the 16th International Symposium on Foundations of Intelligent Systems, LNAI 4203 (pp. 188-197). Berlin, Germany: Springer.
2. Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P., & Montali, M. (2006b). An abductive framework for a-priori verification of web services. In A. Bossi, M. J. Maher (Eds.), Proceedings of the 8th ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (pp 39-50). New York, NY: ACM Press.
3. Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P., Montali, M., & Torroni, P. (2007a). A rule-based approach for reasoning about collaboration between smart web services. In M. Marchiori, J. Z. Pan, C. de Sainte Marie (Eds.), Proceedings of the 1st International Conference on Web Reasoning and Rule Systems, LNCS 4524 (pp. 279-288). Berlin, Germany: Springer.
4. Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P., Montali, M., & Torroni, P. (2007b). Web service contracting: Specification and reasoning with SCIFF. In E. Franconi, M. Kifer, W. May (Eds.), Proceedings of the 4th European Semantic Web Conference, LNAI 4519 (pp. 68-83). Berlin, Germany: Springer.
5. Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P., & Torroni, P. (2008). Verifiable agent interaction in abductive logic programming: The SCIFF Framework. ACM Transactions on Computational Logic, 9(4), Article 29.
6. Bauer, B., Müller, J. P., & Odell, J. (2001). Agent UML: A formalism for specifying multiagent software systems. International Journal of Software Engineering and Knowledge Engineering, 11(3), 207-230.
7. Bordini, R. H., Fisher, M., Visser, W., & Wooldridge, M. (2004). Model checking rational agents. IEEE Intelligent Systems 19(5), 46-52
8. Bürckert, H. J. (1994). A resolution principle for constrained logics. Artificial Intelligence, 66, 235-271.
9. Castelfranchi, C. (1995) Commitments: From individual intentions to groups and organizations. In V. R. Lesser, L. Gasser (Eds.): Proceedings of the First International Conference on Multiagent Systems (pp. 41-48). Cambridge, MA: The MIT Press.
10. Chesani, F. (2007). Specification, execution and verification of interaction protocols. Unpublished doctoral dissertation, University of Bologna, Department of Computer Engineering (DEIS), Italy.
11. th, 2007. Retrieved May 26, 2008, from http://awesome007.disi.unige.it/proceedings.html
12. Chopra, A. K., & Singh, M. P. (2004). Nonmonotonic commitment machines. Advances in Agent Communication, International Workshop on Agent Communication Languages, LNCS 2922 (pp. 183-200). Berlin, Germany: Springer.
13. Cox, B., Tygar, J. C., & Sirbu, M. (1995). NetBill security and transaction protocol. In D. E. Geer Jr (Ed.): Proceedings of the First USENIX Workshop on Electronic Commerce. Retrieved on May 26, 2008, from http://www.usenix.org/publications/library/proceedings/ec95/cox.html
14. DeLoach, S. A., Wood, M. F., & Sparkman, C. H. (2001). Multiagent systems engineering. International Journal of Software Engineering and Knowledge Engineering, 11(3), 231-258.
15. Desai, N., Chopra, A. K., & Singh, M. P. (2006a). Business process adaptations via protocols. In J. Zhao, M. Blake, P. Hung (Eds.), Proceedings of the Third IEEE International Conference on Services Computing (pp. 103-110). Washington, DC: IEEE Computer Society.
16. Desai N., Mallya, A. U. Chopra, A. K., & Singh, M. P. (2006b). OWL-P: A methodology for business process development. In M. Kolp, P. Bresciani, B. Henderson-Sellers, M. Winikoff (Eds.), Agent-Ori-ented Information Systems III, 7th International Bi-Conference Workshop, LNCS 3529 (pp. 79-94). Berlin, Germany: Springer.
17. Dignum, V., & Dignum, F. (2007). Coordinating tasks in agent organization or: Can we ask you to read this paper? In P. Noriega, J. Vázquez-Salceda, G. Boella, O. Boissier, V. Dignum, N. Fornara, E. Matson (Eds.): Coordination, Organisations, Institutions and Norms in Agent Systems II, LNCS 4386 (pp. 32-47). Berlin, Germany: Springer.
18. Dignum, V., Meyer, J.-J. Ch., Wiegand, H., & Dignum, F. (2002). An organisational-oriented model for agent societies. In: G. Lindemann, D. Moldt, M. Paolucci, B. Yu (Eds.), Proceedings of the RASTA Workshop at AAMAS'02, Communications Vol. 318 (pp. 31-50). Hamburg University, Faculty of Informatics, Germany.
19. Fung, T. H., & Kowalski, R. A. (1997). The IFF proof-procedure for abductive logic programming. Journal of Logic Programming, 33(2), 151-165.
20. Guerin, F., & Pitt, J. (2002) Proving properties of open agent systems. In: C. Castelfranchi, W. Lewis Johnson (Eds.), Proceedings of the First International Joint Conference on Autonomous Agents and Multi-Agent Systems (pp. 557-558). New York, NY: ACM Press.
21. Hartshorne, C., & Weiss, P. (1965). Collected papers of Charles Sanders Peirce, 1931-1958. Cambridge, MA: Harvard University Press.
22. Jaffar, J., & Maher, M.J. (1994). Constraint logic programming: A survey. Journal of Logic Programming, 19-20, 503-582.
23. Kakas, A. C., Kowalski, R. A., & Toni, F. (1993). Abductive logic programming. Journal of Logic and Computation, 2(6), 719-770.
24. Montali, A., Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., & Torroni, P. (2008). Verification from declarative specifications using Logic Programming. In M. Garcia de la Banda & E. Pontelli (Eds.), Proceedings of the 24th International Conference on Logic Programming, LNCS. Berlin, Germany: Springer.
25. Omicini, A., Ricci, A., Viroli, M., Castelfranchi, C., & Tummolini, L. (2004). Coordination artifacts: Environment-based coordination for intelligent agents. In: C. Castelfranchi, W. Lewis Johnson (Eds.), Proceedings of the First International Joint Conference on Autonomous Agents and Multi-Agent Systems (pp. 286-293). New York, NY: ACM Press.
26. Padgham, L., & Winikoff, M. (2004). Developing intelligent systems: A practical guide. Hoboken, NJ: John Wiley & Sons, Inc.
27. Shah Nawaz, S. (2007). Commitment-based analysis of organizations: Dealing with inconsistencies. Unpublished Master Thesis. Boǧaziçi University, Department of Computer Engineering, Istanbul, Turkey.
28. Singh, M. P. (1991). Social and psychological commitments in multiagent systems. In AAAI Fall Symposium on Knowledge and Action at Social and Organizational Levels (pp. 104-106). Menlo Park, CA: AAAI Press.
29. Singh, M. P. (1998). Agent communication languages: Rethinking the principles. IEEE Computer, 31(12), 40-47.
30. Singh, M. P. (1999). An ontology for commitments in multiagent systems: Toward a unification of normative concepts. Artificial Intelligence and Law, 7, 97-113.
31. Singh, M. P., & Huhns., M. N. (2005). Service-Oriented Computing, Hoboken, NJ: John Wiley & Sons, Inc.
32. Venkatraman, M., & Singh, M. P. (1999). Verifying compliance with commitment protocols: Enabling open Web-based multiagent systems. Autonomous Agents and Multi-Agent Systems, 2(3), 217-236.
33. Xing J., & Singh, M. P. (2003). Engineering commitment-based multiagent systems: A temporal logic approach. In: J. S. Rosenschein, T. Sandholm, M. Wooldridge, M. Yokoo (Eds.), Proceedings of the Second International Joint Conference on Autonomous Agents and Multi-Agent Systems (pp. 891-898). New York, NY: ACM Press.
34. Yolum, P. (2007). Design time analysis of multiagent protocols. Data and Knowledge Engineering, 63, 137-154.
35. Yolum, P., & Singh, M. P. (2002a). Commitment machines. In J.-J. Ch. Meyer, M. Tambe (Eds.): Proceedings of the 8th International Workshop on Agent Theories, Architectures, and Languages, LNAI 2333 (pp. 235-247). Berlin, Germany: Springer.
36. Yolum, P., & Singh, M.P. (2002b). Flexible protocol specification and execution: Applying event calculus planning using commitments. In: C. Castelfranchi, W. Lewis Johnson (Eds.), Proceedings of the First International Joint Conference on Autonomous Agents and Multi-Agent Systems (pp. 527-534). New York, NY: ACM Press.
37. Zambonelli, F., Jennings, N. R., & Wooldridge, M. (2003) Developing multiagent systems: The Gaia methodology. ACM Transactions on Software Engineering and Methodology (TOSEM), 12(3), 317-370.