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.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
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)
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)
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)
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)
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)
Sandholm, T., Lesser, W.: Leveled commitment contracts and strategic breach. Games and Economic Behavior 35, 212–270 (2001)
Singh, M.P.: An ontology for commitments in multiagents systems: Toward a unification of normative concepts. Artificial Intelligence and Law 7, 97–113 (1999)
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)
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)
Cox, B., Tygar, J., Sirbu, M.: Netbill security and transaction protocol. In: 1st USENIX Workshop on Electronic Commerce, New York, pp. 77–88 (1995)
Grosof, B.: Representing E-Commerce rules via situated courteous logic programs in RuleML. Electronic Commerce Research and Applications 3(1), 2–20 (2004)
Governatori, G.: Representing business contracts in RuleML. Journal of Cooperative Information Systems 14(2–3), 181–216 (2005)
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)
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)
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)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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)