Skip to main content
Springer Nature Link
Log in

Agreeing on Defeasible Commitments

  • Conference paper
Declarative Agent Languages and Technologies IV (DALT 2006)

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

Included in the following conference series:

Abstract

Social commitments are developed for multi-agent systems according to the current practice in law regarding contract formation and breach. Deafeasible commitments are used to provide a useful link between multi-agent systems and legal doctrines. The proposed model makes the commitments more expressive relative to contract law and it stresses the representational rather than the operational side of the commitment life cycle. As a consequence, the broader semantics helps in modeling different types of contracts (gratuitous promises, unilateral contracts, bilateral contracts, and forward contracts) and negotiation patterns. The semantics of higher-order commitments is useful in deciding whether to sign an agreement or not and to represent a larger variety of protocols and legal contracts.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Pasquier, P., Flores, R., Chaib-draa, B.: Modelling flexible social commitments and their enforcement. In: Gleizes, M.-P., Omicini, A., Zambonelli, F. (eds.) ESAW 2004. LNCS (LNAI), vol. 3451, pp. 139–151. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  2. Mallya, A.U., Singh, M.P.: Modeling exceptions via commitment protocols. In: 4th International Joint Conference on Autonomous Agents and Multiagent Systems, Utrecht, Netherlands, pp. 122–129. ACM Press, New York (2005)

    Chapter  Google Scholar 

  3. Wan, F., Singh, M.: Formalizing and achieving multiparty agreements via commitments. In: 4th International Joint Conference on Autonomous Agents and Multiagent Systems, Utrecht, Netherlands, pp. 770–777. ACM Press, New York (2005)

    Chapter  Google Scholar 

  4. Governatori, G., Rotolo, A., Sartor, G.: Temporalised normative positions in defeasible logic. In:10th International Conference on Artificial Inteligence and Law, Bologna, Italy, pp. 25–34 (2005)

    Google Scholar 

  5. Letia, I.A., Groza, A.: Running contracts with defeasible commitment. In: Ali, M., Dapoigny, R. (eds.) IEA/AIE 2006. LNCS, vol. 4031, pp. 91–100. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  6. Sandholm, T., Lesser, W.: Leveled commitment contracts and strategic breach. Games and Economic Behavior 35, 212–270 (2001)

    Article  MATH  MathSciNet  Google Scholar 

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

    Article  Google Scholar 

  8. Craswell, R.: Contract law: General theories. In: Bouckaert, B., Geest, G.D. (eds.) Encyclopedia of Law and Economics, The Regulation of Contracts, Cheltenham, vol. III, pp. 1–24 (2000)

    Google Scholar 

  9. 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 

  10. Cox, B., Tygar, J., Sirbu, M.: Netbill security and transaction protocol. In: 1st USENIX Workshop on Electronic Commerce, New York, pp. 77–88 (1995)

    Google Scholar 

  11. Grosof, B.: Representing E-Commerce rules via situated courteous logic programs in RuleML. Electronic Commerce Research and Applications 3(1), 2–20 (2004)

    Article  Google Scholar 

  12. Governatori, G.: Representing business contracts in RuleML. Journal of Cooperative Information Systems 14(2–3), 181–216 (2005)

    Article  Google Scholar 

  13. Chopra, A.K., Singh, M.P.: Contextualizing commitment protocols. In: 5th International Joint Conference on Autonomous Agents and Multiagent Systems, Hakodate, Japan, pp. 1345–1352. ACM Press, New York (2006)

    Chapter  Google Scholar 

  14. Yolum, P., Singh, M.P.: Reasoning about commitments in the event calculus: An approach for specifying and executing protocols. Annals of Mathematics and Artificial Intelligence 42(1–3), 227–253 (2004)

    Article  MATH  MathSciNet  Google Scholar 

  15. Verdicchio, M., Colombetti, M.: A commitment-based communicative act library. In: 4th International Joint Conference on Autonomous Agents and Multiagent Systems, Utrecht, Netherlands, pp. 755–761. ACM Press, New York (2005)

    Chapter  Google Scholar 

  16. Udupi, Y.B., Singh, M.P.: Contract enactment in virtual organizations: A commitment-based approach. In: 21st National Conference on Artificial Intelligence, Boston, Massachusetts. AAAI Press, Menlo Park (2006)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, Technical University of Cluj-Napoca, Baritiu 28, RO-3400, Cluj-Napoca, Romania

    Ioan Alfred Letia & Adrian Groza

Authors
  1. Ioan Alfred Letia
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Adrian Groza
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Dipartimento di Informatica, Università di Torino,, Via Pessinetto 12, 10149, Turin, Italy

    Matteo Baldoni

  2. Artificial Intelligence Programme, University of Amsterdam,  

    Ulle Endriss

Rights and permissions

Reprints and permissions

Copyright information

© 2006 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Letia, I.A., Groza, A. (2006). Agreeing on Defeasible Commitments. In: Baldoni, M., Endriss, U. (eds) Declarative Agent Languages and Technologies IV. DALT 2006. Lecture Notes in Computer Science(), vol 4327. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11961536_11

Download citation

  • DOI: https://doi.org/10.1007/11961536_11

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-68959-1

  • Online ISBN: 978-3-540-68961-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics