Reason-based logic: a logic for reasoning with rules and reasons

Abstract The main claim of this paper is that reasoning with rules, especially rules of law, is different from reasoning with statements that are true or false. This difference is, amongst others, reflected in the defeasibility of arguments in which rules play a role. Reason‐based logic is a logic that has special facilities for dealing with rules and with reasons based on rules. In particular it allows arguments in which conclusions are derived by ‘weighing’ the reasons that plead for and against them. In this article we illustrate some characteristics of reasoning with rules, and show how reason‐based logic deals with these characteristics. The article is concluded with some general considerations concerning reason‐based logic and a comparison with some other logics for defeasible reasoning.

[1]  Jaap Hage,et al.  Monological reason-based logic: a low level integration of rule-based reasoning and case-based reasoning , 1993, ICAIL '93.

[2]  Alan R. White,et al.  Taking Rights Seriously. , 1977 .

[3]  Guillermo Ricardo Simari,et al.  A Mathematical Treatment of Defeasible Reasoning and its Implementation , 1992, Artif. Intell..

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

[5]  Lon L. Fuller,et al.  Positivism and Fidelity to Law: A Reply to Professor Hart , 1958 .

[6]  Ronald Dworkin,et al.  Taking Rights Seriously. , 1978 .

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

[8]  Witold Łukaszewicz.  Non-monotonic reasoning : formalization of commonsense reasoning , 1990 .

[9]  Robert C. Moore.  Semantical Considerations on Nonmonotonic Logic , 1985, IJCAI.

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

[11]  Peter M. S. Hacker,et al.  Law, Morality and Society , 1978 .

[12]  H. Hart.  XI.—The Ascription of Responsibility and Rights , 1949 .

[13]  Witold Lukaszewicz,et al.  Non-monotonic reasoning - formalization of commonsense reasoning , 1990 .

[14]  S. P. Schwartz.  Naming, necessity, and natural kinds , 1977 .

[15]  T. Gordon,et al.  How to Buy a Porsche: An Approach to Defeasible Decision Making , 1994 .

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

[17]  Hector Geffner,et al.  Conditional Entailment: Bridging two Approaches to Default Reasoning , 1992, Artif. Intell..

[18]  Michael Reinfrank,et al.  Non-Monotonic Reasoning , 1989, Lecture Notes in Computer Science.

[19]  Gerhard Brewka.  Cumulative Default Logic: In Defense of Nonmonotonic Inference Rules , 1991, Artif. Intell..

[20]  Giovanni Sartor.  A simple computational model for nonmonotonic and adversarial legal reasoning , 1993, ICAIL '93.

[21]  John McCarthy,et al.  Circumscription - A Form of Non-Monotonic Reasoning , 1980, Artif. Intell..

[22]  John L. Pollock,et al.  Defeasible Reasoning , 2020, Synthese Library.