11 Hits in 7.0 sec

A Kelsenian Deontic Logic [chapter]

Agata Ciabattoni, Xavier Parent, Giovanni Sartor
2021 Frontiers in Artificial Intelligence and Applications  
We provide a logic for normative causality, define non-contextual and contextual notions of illicit and duty, and show that the logic of such duties is well-behaved and solves the main deontic paradoxes  ...  Inspired by Kelsen's view that norms establish causal-like connections between facts and sanctions, we develop a deontic logic in which a proposition is obligatory iff its complement causes a violation  ...  Chisholm RM. Contrary-to-Duty Imperatives and Deontic Logic. Analysis. 1963;24:33–6. Kelsen H. On the pure theory of law. Israel Law Review. 1966:193–215. Chellas B. Modal Logic.  ... 
doi:10.3233/faia210330 fatcat:oy7vj7z63rgurjnlqvyubav3hm

Dyadic Deontic Logic and Contrary-to-Duty Obligations [chapter]

Henry Prakken, Marek Sergot
1997 Defeasible Deontic Logic  
The authors wish to thank Andrew Jones, Donald Nute, Mark Ryan and Leon van der Torre for valuable discussions on the topic of this paper.  ...  DYADIC DEONTIC LOGIC AND CONTRARY-TO-DUTY OBLIGATIONS ABSTRACT.  ...  This extension also facilitates a comparison with temporal deontic logics, including the critical observation that the commonly accepted treatment of temporal contrary-to-duty structures neglects some  ... 
doi:10.1007/978-94-015-8851-5_10 fatcat:hhr2ryvlfnd7vbo562q3sxnhmm

Reactive Standard Deontic Logic [chapter]

Dov M. Gabbay
2013 Reactive Kripke Semantics  
The logic can handle contrary-to-duty cases such as several instantiations of the Chisholm set in a paradox-free way by means of using double arrows and annotations to block and give access to ideal worlds  ...  We introduce a reactive variant of SDL (standard deontic logic): SDLR1 (reactive standard deontic logic).  ...  Acknowledgements We are grateful to the referees of Deon 2010 and Deon 60 for most penetrating and useful criticism.  ... 
doi:10.1007/978-3-642-41389-6_11 fatcat:saxuhbxuana7zfbnxxjtby24be

Challenges in the Specification of Full Contracts [chapter]

Gordon J. Pace, Gerardo Schneider
2009 Lecture Notes in Computer Science  
In this paper we discuss the challenges in combining deontic and other relevant logics, in particular focusing on operators for choice, obligations over sequences, contrary-to-duty obligations, and how  ...  We provide different viable interpretations and approaches for the development of such a sound logic and outline challenges for the future.  ...  However, we will limit ourselves to two simple forms of this operator in this paper: to Contrary-To-Duty (CTD) contracts, and Contrary-To-Prohibition (CTP) contracts.  ... 
doi:10.1007/978-3-642-00255-7_20 fatcat:zherzwh2abeohnloqrjq5jjw44

Equivalence of defeasible normative systems

José Júlio Alferes, Ricardo Gonçalves, João Leite
2013 Journal of Applied Non-Classical Logics  
The use of deontic operators and the ability to represent defeasible information are known to be two fundamental ingredients to represent and reason about normative systems.  ...  normative systems using a deontic extension of David Pearce's Equilibrium Logic and its monotonic basis, the logic of Here-and-There.  ...  This should not be confused with the logic programming notion of fact. 2. Note that our aim is not to enter into a philosophical discussion about the notion of permission.  ... 
doi:10.1080/11663081.2013.798996 fatcat:5w32rtmkmjhqbiexmtydivpika

Multiagent Deontic Logic and its Challenges from a Normative Systems Perspective

Gabriella Pigozzi, Leendert W. N. van der Torre
2017 IfColog journal of logics and their applications (FLAP)  
of several challenges studied in deontic logic, with an emphasis on problems of multiagent deontic logic and problems related to normative systems.  ...  We invite the readers to buy the forthcoming handbook for a full view.  ...  Chisholm's Paradox The second contrary-to-duty paradox we consider is Chisholm [4] 's paradox.  ... 
dblp:journals/flap/PigozziT17a fatcat:7z52lqgoxnaqnmxqu3uqmthnja

Obligation as Optimal Goal Satisfaction

Robert Kowalski, Ken Satoh
2017 Journal of Philosophical Logic  
We show how this non-modal approach to the treatment of deontic concepts deals with problems of contrary-to-duty obligations and normative conflicts, and argue that the approach is useful for many other  ...  The main focus in these logics is on inferring logical consequences, for example inferring that the obligation O q is a logical consequence of the obligations O p and O (p  q).  ...  Kowalski also thanks the Japanese Society for the Advancement of Science for its support in the initial phase of this work.  ... 
doi:10.1007/s10992-017-9440-3 fatcat:pcsnnijeorgohj6nddxdhf4q5i

A Note on Directions for Cumulativity

Philippe Besnard
2014 IfColog journal of logics and their applications (FLAP)  
This paper explores models for this setting in terms of dynamic logics for information-driven agency.  ...  Our paradigm will be dynamic-epistemic logics for knowledge and belief, and their current extensions to the statics and dynamics of agents' preferences.  ...  In doing so, we obtained a suggestive framework for the analysis of deontic notions that connects many strands in the literature on agency.  ... 
dblp:journals/flap/Besnard14 fatcat:nwod52qavjbgdhg755t5f276ze

A history of AI and Law in 50 papers: 25 years of the international conference on AI and Law

Trevor Bench-Capon, Michał Araszkiewicz, Kevin Ashley, Katie Atkinson, Floris Bex, Filipe Borges, Daniele Bourcier, Paul Bourgine, Jack G. Conrad, Enrico Francesconi, Thomas F. Gordon, Guido Governatori (+12 others)
2012 Artificial Intelligence and Law  
Fifty papers have been selected from the thirteen conferences and each of them is described in a short subsection individually written by one of the 24 authors. These subsections attempt to place the  ...  We provide a retrospective of 25 years of the International Conference on AI and Law, which was first held in 1987.  ...  The final part of the paper is dedicated to presenting the Deontic Logic of Ideality and Sub-ideality of Jones and Po ¨rn (1985, 1986) and how this logic addresses the issues of Contrary-to-Duty obligations  ... 
doi:10.1007/s10506-012-9131-x fatcat:g4qgrfrwyjcphdghpqlgfarxdy

Board of editorial advisors

1999 Peace Review  
Contrary to Bentham and Austin, who recognise freedom as the state in which there is no obligation towards the holder of a right, for Hofheld, the concept of right is always tied to that of duty, as a  ...  implication; '_pos_' for a possibility operator; '_nec_' for a necessity operator. , the logic of action and deontic logic.  ...  to HTML, with certain conventions in order to represent Greek characters as well as logical and set-theoretic symbols. (9.2) In ASCII or text files all notes must be end-notes, not foot-notes.  ... 
doi:10.1080/10402659908426223 fatcat:jgv2625o6vbyrlrecl4cb6mvjy

Computation and Incentives in Social Choice

Edith Elkind, Christian Klamler, Jeffrey Rosenschein, M Remzi, Sanver, Giulia Andrighetto, Guido Governatori, Pablo Noriega, Leon Van, Torre, Lisbeth Fajstrup, Dmitry Feichtner-Kozlov (+6 others)
2012 unpublished
Temporal deontic logic for the generalised Chisholm set of contrary to duty obligations. In Thomas Agotnes, Jan M. Broersen, and Dag Elgesem, editors, 11th Aditya K.  ...  Reactive Kripke models and contrary to duty obligations.  ...  A d-simplicial complex is a simplicial complex equipped with a suitable relation on the set of its vertices which allows one to define a d-structure on its geometric realization.  ...