Skip to main content
SpringerLink
Log in
Book cover

International Workshop on Declarative Agent Languages and Technologies

DALT 2012: Declarative Agent Languages and Technologies X pp 190–196Cite as

Some Thoughts about Commitment Protocols

(Position Paper)

  • Conference paper

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

Abstract

From the seminal paper by Singh [22], commitment protocols have been raising a lot of attention. The key feature of commitment protocols is their declarative nature, which allows specifying them in a way which abstracts away from any reference to the actual behavior of the agents. By doing so, commitment protocols respect the autonomy of agents. After more than ten years from the introduction of commitments, it is time to ask (i) if a “commitment to do something” is the only kind of regulative norm, that we need in order to give a social semantics to a physical action, and (ii) if they realize what they promised. In this position paper we discuss these points.

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   54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   72.00
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. Alberti, M., Gavanelli, M., Lamma, E., Chesani, F., Mello, P., Torroni, P.: Compliance verification of agent interaction: a logic-based software tool. Applied Artificial Intelligence 20(2-4), 133–157 (2006)

    Article  Google Scholar 

  2. Baldoni, M., Baroglio, C., Chopra, A.K., Desai, N., Patti, V., Singh, M.P.: Choice, Interoperability, and Conformance in Interaction Protocols and Service Choreographies. In: Proc. of AAMAS 2009, pp. 843–850. IFAAMAS (2009)

    Google Scholar 

  3. Baldoni, M., Baroglio, C., Marengo, E.: Behavior-Oriented Commitment-based Protocols. In: Proc. of ECAI, pp. 137–142. IOS Press (2010)

    Google Scholar 

  4. Baldoni, M., Baroglio, C., Marengo, E.: Constraints among Commitments: Regulative Specification of Interaction Protocols. In: Proc. of Int. Workshop on Agent Communication, AC 2010, Toronto, Canada, pp. 2–18 (May 2010)

    Google Scholar 

  5. Baldoni, M., Baroglio, C., Marengo, E.: Commitment-Based Protocols with Behavioral Rules and Correctness Properties of MAS. In: Omicini, A., Sardina, S., Vasconcelos, W. (eds.) DALT 2010. LNCS (LNAI), vol. 6619, pp. 60–77. Springer, Heidelberg (2011)

    Chapter  Google Scholar 

  6. Baldoni, M., Baroglio, C., Marengo, E., Patti, V.: Constitutive and Regulative Specifications of Commitment Protocols: a Decoupled Approach. ACM TIST, Spec. Iss. on Agent Communication 4(2) (2013)

    Google Scholar 

  7. Baldoni, M., Baroglio, C., Marengo, E., Patti, V., Ricci, A.: Back to the future: An interaction-oriented framework for social computing. In: First Int. Workshop on Req. Eng. for Social Computing, RESC, pp. 2–5. IEEE (2011)

    Google Scholar 

  8. Bentahar, J., Meyer, J.-J.C., Wan, W.: Model checking communicative agent-based systems. Knowl.-Based Syst. 22(3), 142–159 (2009)

    Article  Google Scholar 

  9. Castelfranchi, C.: Commitments: From Individual Intentions to Groups and Organizations. In: Proc. of ICMAS, pp. 41–48 (1995)

    Google Scholar 

  10. Chesani, F., Mello, P., Montali, M., Torroni, P.: Commitment Tracking via the Reactive Event Calculus. In: Proc. of IJCAI, pp. 91–96 (2009)

    Google Scholar 

  11. Chopra, A.K., Singh, M.P.: An Architecture for Multiagent Systems: An Approach Based on Commitments. In: Proc. of ProMAS. LNCS (LNAI), vol. 5919, pp. 148–162. Springer, Heidelberg (2009)

    Google Scholar 

  12. Chopra, A.K.: Commitment Alignment: Semantics, Patterns, and Decision Procedures for Distributed Computing. PhD thesis, NCSU, Raleigh, NC (2009)

    Google Scholar 

  13. Desai, N., Chopra, A.K., Singh, M.P.: Amoeba: A methodology for modeling and evolving cross-organizational business processes. ACM TSEM 19(2) (2009)

    Google Scholar 

  14. El-Menshawy, M., Bentahar, J., Dssouli, R.: Verifiable Semantic Model for Agent Interactions Using Social Commitments. In: Dastani, M., El Fallah Segrouchni, A., Leite, J., Torroni, P. (eds.) LADS 2009. LNCS, vol. 6039, pp. 128–152. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  15. El-Menshawy, M., Bentahar, J., Dssouli, R.: Symbolic Model Checking Commitment Protocols Using Reduction. In: Omicini, A., Sardina, S., Vasconcelos, W. (eds.) DALT 2010. LNCS (LNAI), vol. 6619, pp. 185–203. Springer, Heidelberg (2011)

    Chapter  Google Scholar 

  16. Fornara, N.: Interaction and Communication among Autonomous Agents in Multiagent Systems. PhD thesis, Univ. della Svizzera italiana (June 2003)

    Google Scholar 

  17. Fornara, N., Colombetti, M.: Defining Interaction Protocols using a Commitment-based Agent Communication Language. In: Proc. of AAMAS, pp. 520–527. ACM (2003)

    Google Scholar 

  18. Mallya, A., Singh, M.: An algebra for commitment protocols. Autonomous Agents and Multi-Agent Systems 14(2), 143–163 (2007)

    Article  Google Scholar 

  19. Marengo, E., Baldoni, M., Baroglio, C., Chopra, A.K., Patti, V., Singh, M.P.: Commitments with Regulations: Reasoning about Safety and Control in REGULA. In: Proc. of AAMAS, pp. 467–474 (2011)

    Google Scholar 

  20. Singh, M.P.: An Ontology for Commitments in Multiagent Systems. Artificial Intelligence and Law 7(1), 97–113 (1999)

    Article  Google Scholar 

  21. Singh, M.P.: Community Standards for Agent Communication. Unpublished Draft (July 2010), http://www.csc.ncsu.edu/faculty/mpsingh/papers/drafts/Singh-AC-Manifesto.pdf

  22. Singh, M.P.: Agent communication languages: Rethinking the principles. IEEE Computer 31(12), 40–47 (1998)

    Article  Google Scholar 

  23. Singh, M.P.: Formalizing Communication Protocols for Multiagent Systems. In: Proc. of IJCAI, pp. 1519–1524 (2007)

    Google Scholar 

  24. 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 (LNAI), vol. 5948, pp. 228–243. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  25. Winikoff, M., Liu, W., Harland, J.: Enhancing Commitment Machines. In: Leite, J., Omicini, A., Torroni, P., Yolum, P. (eds.) DALT 2004. LNCS (LNAI), vol. 3476, pp. 198–220. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  26. Yolum, P.: Design time analysis of multiagent protocols. Data Knowl. Eng. 63(1), 137–154 (2007)

    Article  Google Scholar 

  27. Yolum, P., Singh, M.P.: Designing and Executing Protocols Using the Event Calculus. In: Agents, pp. 27–28. ACM, New York (2001)

    Chapter  Google Scholar 

  28. Yolum, p., Singh, M.P.: Commitment Machines. In: Meyer, J.-J.C., Tambe, M. (eds.) ATAL 2001. LNCS (LNAI), vol. 2333, pp. 235–247. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dipartimento di Informatica, Università degli Studi di Torino, c.so Svizzera 185, I-10149, Torino, Italy

    Matteo Baldoni & Cristina Baroglio

Authors
  1. Matteo Baldoni
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Cristina Baroglio
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Dipartimento di Informatica, Università degli Studi di Torino, via Pessinetto 12, 10149, Torino, Italy

    Matteo Baldoni

  2. Department of Computer Science, University of Liverpool, Ashton Building, L69 3 BX, Liverpool, UK

    Louise Dennis

  3. DIBRIS, Dipartimento di Informatica, Bioingegneria, Robotica e Ingegneria dei Sistemi, Università degli Studi di Genova, Via Dodecaneso 35, 16146, Genova, Italy

    Viviana Mascardi

  4. Department of Computing Science, University of Aberdeen, Meston Building, AB24 3UE, Aberdeen, UK

    Wamberto Vasconcelos

Rights and permissions

Reprints and permissions

Copyright information

© 2013 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Baldoni, M., Baroglio, C. (2013). Some Thoughts about Commitment Protocols. In: Baldoni, M., Dennis, L., Mascardi, V., Vasconcelos, W. (eds) Declarative Agent Languages and Technologies X. DALT 2012. Lecture Notes in Computer Science(), vol 7784. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-37890-4_11

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-37890-4_11

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-37889-8

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

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation