Defeasible logic graphs: I. Theory

Abstract We propose development of an argument-based decision support system utilizing defeasible or nonmonotonic reasoning. Defeasible logic graphs (d-graphs) represent the knowledge contained in a defeasible theory. A method for propagating labels through a d-graph is developed as a means for reasoning about the theory from which the d-graph is generated. This method is proven to be sound with respect to Nute's defeasible logic and complete for finite, consistent theories with acyclic d-graphs.

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

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

[3]  John L. Pollock,et al.  A theory of defeasible reasoning , 1991, Int. J. Intell. Syst..

[4]  Steven O. Kimbrough,et al.  An introduction to the method of sweeping presumptions for modeling nonmonotonic reasoning , 1991, Proceedings of the Twenty-Fourth Annual Hawaii International Conference on System Sciences.

[5]  Katrin Erk,et al.  Defeasible logic graphs for decision support , 1996, Proceedings of HICSS-29: 29th Hawaii International Conference on System Sciences.

[6]  Drew McDermott,et al.  Non-Monotonic Logic I , 1987, Artif. Intell..

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

[8]  Donald Nute,et al.  Defeasible logic graphs: II. Implementation , 1998, Decis. Support Syst..

[9]  Hector Geffner,et al.  Default reasoning - causal and conditional theories , 1992 .

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

[11]  John McCarthy,et al.  Applications of Circumscription to Formalizing Common Sense Knowledge , 1987, NMR.

[12]  Michael L. Begeman,et al.  gIBIS: A tool for all reasons , 1989, JASIS.

[13]  Donald Nute,et al.  d-Graph: an argument-based system incorporating defeasible graphs , 1997, Proceedings of the Thirtieth Hawaii International Conference on System Sciences.