Defeasible Deontic Reasoning

This paper combines a system of deontic logic with a system for default reasoning to analyze a notorious philosophical problem: Chisholm's Paradox. The basic approach is to write deontic rules with explicit exceptions, but we also consider the extent to which a set of implicit exceptions can be derived from the underlying deontic semantics.

[1]  Raymond Reiter,et al.  A Logic for Default Reasoning , 1987, Artif. Intell..

[2]  Adrian Walker,et al.  Towards a Theory of Declarative Knowledge , 1988, Foundations of Deductive Databases and Logic Programming..

[3]  A. Avramides.  Studies in the Way of Words , 1992 .

[4]  James P. Delgrande,et al.  An Approach to Default Reasoning Based on a First-Order Conditional Logic: Revised Report , 1987, Artif. Intell..

[5]  Raymond Reiter,et al.  On Interacting Defaults , 1981, IJCAI.

[6]  A. Bundy.  Proceedings of the Eighth International Joint Conference on Artificial Intelligence : IJCAI-83, 8-12 August 1983, Karlsruhe, West Germany , 1983 .

[7]  Antonio A. Martino,et al.  Deontic Logic, Computational Linguistics and Legal Information Systems , 1982 .

[8]  Sarit Kraus,et al.  Nonmonotonic Reasoning, Preferential Models and Cumulative Logics , 1990, Artif. Intell..

[9]  L. Thorne McCarty,et al.  Clausal Intuitionistic Logic I - Fixed-Point Semantics , 1988, J. Log. Program..

[10]  Ron van der Meyden,et al.  The Dynamic Logic of Permission , 1990, J. Log. Comput..

[11]  Ron van der Meyden.  A Clausal Logic for Deontic Action Specification , 1991, ISLP.

[12]  Henry Prakken,et al.  A tool in modelling disagreement in law: preferring the most specific argument , 1991, ICAIL '91.

[13]  T. Gordon,et al.  The Importance of Nonmonotonicity for Legal Reasoning , 1988 .

[14]  Bas C. van Fraassen,et al.  The logic of conditional obligation , 1972, J. Philos. Log..

[15]  Craig Boutilier.  Conditional logics for default reasoning and belief revision , 1992 .

[16]  Jaap Hoepelman,et al.  Some Theorems about a “Tree” System of Deontic Tense Logic , 1981 .

[17]  John-Jules Ch. Meyer,et al.  A different approach to deontic logic: deontic logic viewed as a variant of dynamic logic , 1987, Notre Dame J. Formal Log..

[18]  Giovanni Sartor,et al.  The structure of norm conditions and nonmonotonic reasoning in law , 1991, ICAIL '91.

[19]  Hector-Neri Castañeda,et al.  The Paradoxes of Deontic Logic: The Simplest Solution to all of them in one Fell Swoop , 1981 .

[20]  B. V. Fraassen.  Values and the Heart's Command , 1973 .

[21]  Saul A. Kripke,et al.  Semantical Analysis of Intuitionistic Logic I , 1965 .

[22]  Judea Pearl,et al.  System Z: a Natural Ordering of Defaults with Tractable Applications to Nonmonotonic Reasoning^ , 1990 .

[23]  Ronald Prescott Loui,et al.  Defeat among arguments: a system of defeasible inference , 1987, Comput. Intell..

[24]  M. Fitting.  Intuitionistic logic, model theory and forcing , 1969 .

[25]  J. Davenport.  Editor , 1960 .

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

[27]  Risto Hilpinen,et al.  Deontic Logic: An Introduction , 1970 .

[28]  Kenneth A. Ross,et al.  The well-founded semantics for general logic programs , 1991, JACM.

[29]  Ronald M. Lee,et al.  Bureaucracies as deontic systems , 1988, TOIS.

[30]  D. Over,et al.  Studies in the Way of Words. , 1989 .

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

[32]  L. Thorne McCarty,et al.  Permissions and Obligations , 1983, IJCAI.

[33]  L. Thorne McCarty,et al.  Reasoning About Indefinite Actions , 1992, KR.

[34]  Anil Nerode,et al.  An Intuitionistic Interpretation of Finite and Infinite Failure , 1993 .

[35]  Andrew J. I. Jones.  Deontic Logic and Legal Knowledge Representation , 1990 .

[36]  L. Thorne McCarty,et al.  Clausal Intuitionistic Logic II - Tableau Proof Procedures , 1988, J. Log. Program..

[37]  David Poole,et al.  On the Comparison of Theories: Preferring the Most Specific Explanation , 1985, IJCAI.

[38]  John F. Horty,et al.  Moral dilemmas and nonmonotonic logic , 1994, J. Philos. Log..

[39]  L. T. McCarty.  A language for legal discourse , 1989 .

[40]  L. Thorne McCarty,et al.  The Case for Explicit Exceptions , 1994, Methods Log. Comput. Sci..

[41]  L. Thorne McCarty,et al.  A language for legal Discourse I. basic features , 1989, ICAIL '89.

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

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

[44]  L. Thorne McCarty,et al.  EPS II: estate planning with prototypes , 1989, ICAIL '89.

[45]  David Lewis,et al.  Semantic Analyses for Dyadic Deontic Logic , 1974 .

[46]  David Poole,et al.  A Logical Framework for Default Reasoning , 1988, Artif. Intell..

[47]  Layman E. Allen.  Formalizing Hohfeldian Analysis to Clarify the Multiple Senses of 'Legal Right': A Powerful Lens for the Electronic Age , 1974 .