Obligations and Permissions
ثبت نشده
چکیده
4 Utterances and statements that are concerned with obligations and per5 missions are known as deontic expressions. They can present something of 6 a challenge when it comes to formalising their meaning and behaviour. The 7 content of these expressions can appear to support entailment relations similar 8 to those of classical propositions, but such behaviour can sometimes lead to 9 counter-intuitive outcomes. Historically, much of the descriptive work in 10 this area has been philosophical in outlook, concentrating on questions of 11 morality and jurisprudence. Some additional contributions have come from 12 computer science, in part due to the need to specify normative behaviour. 13 There are a number of formal proposals that seek to account for obligations 14 and permissions, such as Standard Deontic Logic. In the literature, there has 15 also been discussion of various conundrums and dilemmas that need to be re16 solved, such as the Good Samaritan, the Knower, the Gentle Murderer, Contrary 17 to Duty Obligations, Ross’s Paradox, Jørgensen’s Dilemma, Sartre’s Dilemma, and 18 Plato’s Dilemma. Despite all this work, there still appears to be no definite 19 consensus about how these kinds of expressions should be analysed, or how 20 all the deontic dilemmas should be resolved. It is possible that obligations 21 themselves, as opposed to their satisfaction criteria, do not directly support a 22 conventional logical analysis. It is also possible that a linguistically informed 23 analysis of obligations and permissions may help to resolve some of the deontic 24 dilemmas, and clarify intuitions about how best to formulate a logic of deontic 25 expressions. 26 ∗Language & Linguistics Compass invited submission. Copyright c © 2011 The Author. 1
منابع مشابه
The Logic of Normative Systems
Logical architectures combine several logics into a more complex logical system. In this paper we study logical architectures using input/output operations corresponding to the functionality of logical components. We propose a logic of normative systems, based on an architecture of counts-as conditionals, institutional constraints, obligations and permissions. For counts-as conditionals and ins...
متن کاملA Logical Architecture of a Normative System
Logical architectures combine several logics into a more complex logical system. In this paper we study a logical architecture using input/output operations corresponding to the functionality of logical components. We illustrate how the architectural approach can be used to develop a logic of a normative system based on logics of counts-as conditionals, institutional constraints, obligations an...
متن کاملObligations and Permissions
4 Utterances and statements concerning obligations and permissions are 5 known as deontic expressions. They can present something of a challenge 6 when it comes to formulating their meaning and behaviour. The content 7 of these expressions can appear to support entailment relations similar to 8 those of classical propositions, but such behaviour can sometimes lead to 9 counter-intuitive outcome...
متن کاملContract Driven Agents
We propose, as part of an agent architecture, a system where contracts are represented as first-class entities to allow the relationships between agents to be specified and developed separately from their built-in capabilities. The contracts allow the agent’s problem-solving ability to be augmented by the potential of outsourcing tasks and obligations to other agents. The contracts also allow t...
متن کاملNoA - A Normative Agent Architecture
NoA is an agent architecture that supports the development of agents motivated by norms: obligations, permissions and prohibitions. Obligations motivate a normative agent to act: a motive to achieve a state of affairs or to perform some action. Prohibitions restrict an agent's behaviour, whereas permissions allow an agent to pursue certain activities. To test the architecture, NoA agents arc ap...
متن کاملAn Architecture For Contract-based Communicating Agents
We extend AgentSpeak (L), a belief-desires-intentions architecture, to reason about and plan with contracts between communicating agents. Our architecture is hybrid in the sense that it incorporates both immediate reaction rules and a more complex planning component. We represent contracts as first-class entities to allow the relationships between agents to be specified and developed separately...
متن کامل