Agreeing on Defeasible Commitments
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, improving the model for the life cycle of the commitments. As a consequence, the broader semantics helps in modelling different types of contracts: gratuitous promises, unilateral contracts, bilateral contracts, and forward contracts. The semantics of higher-order commitments is useful in deciding whether to sign an agreement or not, due to a larger variety of protocols and contracts.
Full citation
"Agreeing on Defeasible Commitments", Letia, Ioan Alfred and Groza, Adrian, Declarative Agent Languages and Technologies IV, 4th International Workshop, DALT 2006, Hakodate, Japan, May 8, 2006, Selected Revised and Invited Papers (Lecture Notes in Computer Science), Springer, Vol. 4327, pp. 98-113, Hakodate, Japan, DOI: http://dx.doi.org/10.1007/11961536_11, ISBN: 3-540-68959-1, 2006.