Violation Contexts and Deontic Independence

In this paper we discuss the role of context and independence in normative reasoning. First, deontic operators - obligations, prohibitions, permissions - referring to the ideal context may conflict with operators referring to a violation (or contrary-to-duty) context. Second, deontic independence is a powerful concept to derive deontic operators from such operators of other violation contexts. These two concepts are used to determine how to proceed once a norm has been violated, a key issue of deontic logic applications in computer science. We also show how violation contexts and deontic independence can be used to give a new analysis of several notorious paradoxes of deontic logic.

[1]  Roel Wieringa,et al.  Applications of deontic logic in computer science: a concise overview , 1994 .

[2]  Leon van der Torre,et al.  An Update Semantics for Defeasible Obligations , 1999, UAI.

[3]  Leon van der Torre,et al.  How to Combine Ordering and Minimizing in a Deontic Logic Based on Preferences , 1996, DEON.

[4]  Leon van der Torre.  Violated Obligations in a Defeasible Deontic Logic , 1994, ECAI.

[5]  Leon van der Torre,et al.  Prohairetic Deontic Logic (PDL) , 1998, JELIA.

[6]  Chen C. Chang,et al.  Model Theory: Third Edition (Dover Books On Mathematics) By C.C. Chang;H. Jerome Keisler;Mathematics , 1966 .

[7]  Lennart Åqvist,et al.  Systematic Frame Constants in Defeasible Deontic Logic , 1997 .

[8]  Leon van der Torre,et al.  An Update Semantics for Prima Facie Obligations , 1998, ECAI.

[9]  L. Thorne McCarty,et al.  Modalities Over Actions, I. Model Theory , 1994, KR.

[10]  R. Hilpinen.  Deontic Logic: Introductory and Systematic Readings , 1981 .

[11]  Richmond H. Thomason,et al.  Deontic Logic as Founded on Tense Logic , 1981 .

[12]  Yao-Hua Tan,et al.  An update semantics for deontic reasoning , 1999 .

[13]  Leendert W. N. van der Toor.  The temporal analysis of Chisholm's paradox , 1998, AAAI 1998.

[14]  Roderick M. Chisholm,et al.  Contrary-To-Duty Imperatives and Deontic Logic , 1963 .

[15]  Werner Stelzner.  Relevant deontic logic , 1992, J. Philos. Log..

[16]  Nicholas Asher,et al.  Prima facie obligation , 1996, Stud Logica.

[17]  Yao-Hua Tan,et al.  The Many Faces of Defeasibility in Defeasible Deontic Logic , 1997 .

[18]  Marvin Belzer.  A Logic of Deliberation , 1986, AAAI.

[19]  Yao-Hua Tan,et al.  Contextual Deontic Logic: violation contexts and factual defeasibility , 2000 .

[20]  B. Hansson.  An analysis of some deontic logics , 1969 .

[21]  Craig Boutilier,et al.  Toward a Logic for Qualitative Decision Theory , 1994, KR.

[22]  Lou Goble.  Murder most gentle: The paradox deepens , 1991 .

[23]  Rino Falcone,et al.  ICMAS '96: Norms, Obligations, and Conventions , 1997, AI Mag..

[24]  Leon van der Torre,et al.  Rights, Duties and Commitments between Agents , 1999, IJCAI.

[25]  Andrew J. I. Jones,et al.  A NEW APPROACH TO CONTRARY-TO-DUTY OBLIGATIONS , 1997 .

[26]  Jérôme Lang,et al.  Conditional Desires and Utilities: an Alternative Logical Approach to Qualitative Decision Theory , 1996, ECAI.

[27]  Leon van der Torre,et al.  The Temporal Analysis of Chisholm's Paradox , 1998, AAAI/IAAI.

[28]  Luis Fariñas del Cerro,et al.  Qualitative Relevance and Independence: A Roadmap , 1997, IJCAI.

[29]  Leendert van der Torre,et al.  Towards a formal analysis of control systems , 1998 .

[30]  Leendert van der Torre.  The logic of reusable propositional output with the fulfillment constraint , 2000 .

[31]  Judea Pearl,et al.  From Conditional Oughts to Qualitative Decision Theory , 1993, UAI.

[32]  Sven Ove Hansson,et al.  Review of Deontic Logic in Computer Science: Normative System Specification, John-Jules Ch. Meyer and Roel J. Wieringa (eds.), John Wiley & Sons, Chichester 1993 , 1994, Bull. IGPL.

[33]  James William Forrester,et al.  Gentle Murder, or the Adverbial Samaritan , 1984 .

[34]  C. E. Alchourrón,et al.  The Expressive Conception of Norms , 1981 .

[35]  Leon van der Torre,et al.  Cancelling and Overshadowing: Two Types of Defeasibility in Defeasible Deontic Logic , 1995, IJCAI.

[36]  Michael Morreau,et al.  Prima facie and seeming duties , 1996, Stud Logica.

[37]  Henry Prakken,et al.  Contrary-to-duty obligations , 1996, Stud Logica.

[38]  Fahiem Bacchus,et al.  Utility Independence in a Qualitative Decision Theory , 1996, KR.

[39]  Stephen D. Schwarz.  The Right and the Good , 1992 .

[40]  Henry Prakken,et al.  Dyadic Deontic Logic and Contrary-to-Duty Obligations , 1997 .