Skip to main content
SpringerLink
Log in
Book cover

International Workshop on Computational Logic in Multi-Agent Systems

CLIMA 2011: Computational Logic in Multi-Agent Systems pp 171–189Cite as

Social Commitment Delegation and Monitoring

  • Conference paper

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 6814))

Abstract

The success of contract-based multiagent systems relies on agents complying with their commitments. When something goes wrong, it is important to understand what are the commitments’ mutual relations as well as their individual states. Accordingly, we explore how commitments are related through the three-agent commitment delegation operation. We then propose exception monitoring based on such relations, and demonstrate it via a case study.

This paper extends the AAMAS ’11 poster paper [11].

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Chesani, F., Mello, P., Montali, M., Torroni, P.: Commitment tracking via the reactive event calculus. In: IJCAI 2009: 21st International Joint Conference on Artificial Intelligence, pp. 91–96 (2009)

    Google Scholar 

  2. Chesani, F., Mello, P., Montali, M., Torroni, P.: A logic-based, reactive calculus of events. Fundamenta Informaticae 105(1-2), 135–161 (2010)

    MathSciNet  MATH  Google Scholar 

  3. Chopra, A.K., Dalpiaz, F., Giorgini, P., Mylopoulos, J.: Reasoning about agents and protocols via goals and commitments. In: AAMAS 2010: 9th International Conference on Autonomous Agents and Multiagent Systems, pp. 457–464 (2010)

    Google Scholar 

  4. Chopra, A.K., Singh, M.P.: Constitutive interoperability. In: AAMAS 2008: 7th International Conference on Autonomous Agents and Multiagent Systems, pp. 797–804 (2008)

    Google Scholar 

  5. Chopra, A.K., Singh, M.P.: Multiagent commitment alignment. In: AAMAS 2009: 8th International Conference on Autonomous Agents and Multiagent Systems, pp. 937–944 (2009)

    Google Scholar 

  6. Dastani, M., Dignum, V., Dignum, F.: Role-assignment in open agent societies. In: AAMAS 2003: 2nd International Conference on Autonomous Agents and Multiagent Systems, pp. 489–496 (2003)

    Google Scholar 

  7. Friedrich, G.: Repair of service-based processes – an application area for logic programming. The ALP Newsletter (December 2010), http://www.cs.nmsu.edu/ALP

  8. Gelati, J., Rotolo, A., Sartor, G., Governatori, G.: Normative autonomy and normative co-ordination: Declarative power, representation, and mandate. Artificial Intelligence & Law 12(1-2), 53–81 (2004)

    Article  Google Scholar 

  9. Kafalı, Ö., Chesani, F., Torroni, P.: What happened to my commitment? Exception diagnosis among misalignment and misbehavior. In: Dix, J., Leite, J., Governatori, G., Jamroga, W. (eds.) CLIMA XI. LNCS, vol. 6245, pp. 82–98. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  10. Kafalı, Ö., Toni, F., Torroni, P.: Reasoning about exceptions to contracts. In: Leite, F., Torroni, P., Ågotnes, T., Boella, G., van der Torre, L. (eds.) CLIMA XII 2011. LNCS, vol. 6814, pp. 225–242. Springer, Heidelberg (2011)

    Google Scholar 

  11. Kafalı, Ö., Torroni, P.: Diagnosing commitments: Delegation revisited (extended abstract). In: AAMAS 2011: 10th International Conference on Autonomous Agents and Multiagent Systems, pp. 1175–1176 (2011)

    Google Scholar 

  12. Lorini, E.: A logical analysis of commitment dynamics. In: Governatori, G., Sartor, G. (eds.) DEON 2010. LNCS, vol. 6181, pp. 288–305. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  13. van Riemsdijk, M.B., Dastani, M., Winikoff, M.: Goals in agent systems: a unifying framework. In: AAMAS 2008: 7th International Conference on Autonomous Agents and Multiagent Systems, pp. 713–720 (2008)

    Google Scholar 

  14. Singh, M.P.: An ontology for commitments in multiagent systems: Toward a unification of normative concepts. Artificial Intelligence and Law 7, 97–113 (1999)

    Article  Google Scholar 

  15. Singh, M.P.: Semantical considerations on dialectical and practical commitments. In: Fox, D., Gomes, C.P. (eds.) AAAI 2008: 23rd National Conference on Artificial Intelligence, pp. 176–181. AAAI Press, Menlo Park (2008)

    Google Scholar 

  16. Torroni, P., Chesani, F., Mello, P., Montali, M.: Social commitments in time: Satisfied or compensated. In: Baldoni, M., Bentahar, J., van Riemsdijk, M.B., Lloyd, J. (eds.) DALT 2009. LNCS, vol. 5948, pp. 228–243. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  17. Yolum, P., Singh, M.P.: Flexible protocol specification and execution: applying event calculus planning using commitments. In: AAMAS 2002: 1st International Conference on Autonomous Agents and Multiagent Systems, pp. 527–534 (2002)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Engineering, Boğaziçi University, 34342, Bebek, İstanbul, Turkey

    Özgür Kafalı

  2. DEIS, University of Bologna, V.le Risorgimento, 2, 40136, Bologna, Italy

    Paolo Torroni

Authors
  1. Özgür Kafalı
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Paolo Torroni
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia, Departamento de Informática, CENTRIA, Quinta da Torre, 2829-516, Caparica, Portugal

    João Leite

  2. Università di Bologna, Laboratorio di Informatica Avanzata, Dipartimento di Informatica, Elettronica e Sistemistica, Viale Risorgimento 2, 40136, Bologna, Italy

    Paolo Torroni

  3. Department of Information Science and Media Studies, University of Bergen, P.O. Box 7802, 5020, Bergen, Norway

    Thomas Ågotnes

  4. University of Torino, Italy

    Guido Boella

  5. Faculté des Sciences, de la Technologie et de la Communication, Université du Luxembourg, 6 Rue Richard Coudenhove-Kalergi, 1359, Luxembourg, Luxembourg

    Leon van der Torre

Rights and permissions

Reprints and permissions

Copyright information

© 2011 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Kafalı, Ö., Torroni, P. (2011). Social Commitment Delegation and Monitoring. In: Leite, J., Torroni, P., Ågotnes, T., Boella, G., van der Torre, L. (eds) Computational Logic in Multi-Agent Systems. CLIMA 2011. Lecture Notes in Computer Science(), vol 6814. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-22359-4_13

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-22359-4_13

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-22358-7

  • Online ISBN: 978-3-642-22359-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation