Agreeing on Defeasible Commitments
نویسندگان
چکیده
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.
منابع مشابه
Running Contracts with Defeasible Commitment
Real life contracts imply commitments which are active during their running window, with effects on both normal runs as well as in the case of exceptions. We have defined defeasible commitment machines (DCMs) to provide more flexibility. As an extension to the task dependency model for the supply chain we propose the commitment dependency network (CDN) to monitor contracts between members of th...
متن کاملDynamic Normative Reasoning Under Uncertainty: How to Distinguish Between Obligations Under Uncertainty and Prima Facie Obligations
The deontic update semantics is a dynamic semantics for prescriptive obligations based on Veltman's update semantics, in which the dynamic evaluation of connicts of hierarchic obligations naturally leads to defeasibility. In this paper we use this dynamic semantics to study the diagnostic problem of defeasible deontic logic. For example, consider a defeasible obligationòught to be done' togethe...
متن کاملThe Humean Theory of Reasons
This paper offers a simple and novel motivation for the Humean Theory of Reasons. According to the Humean Theory of Reasons, all reasons must be explained by some psychological state of the agent for whom they are reasons, such as a desire. This view is commonly thought1 to be motivated by a substantive theory about the power of reasons to motivate known as reason internalism, and a substantive...
متن کاملA Pragmatic and Semantic Unified Framework for Agent Communication
In this thesis, we propose a unified framework for the pragmatics and the semantics of agent communication. Pragmatics deals with the way agents use communicative acts when conversing. It is related to the dynamics of agent interactions and to the way of connecting individual acts while building complete conversations. Semantics is interested in the meaning of these acts. It lays down the found...
متن کاملCosts of Stock Trading by Study on Commitment Components
In this paper, we are examining the relationship between stock trading costs and commitment components and find both abnormal and normal commitments associated with these costs are associated. Moreover, stock trading costs have a greater influence by both abnormal and normal negative commitments more than positive commitments. Further analysis has shown that in general, investors are unable to ...
متن کامل