d-Graph: an argument-based system incorporating defeasible graphs

We describe a tool to help users construct and explore graphs representing possibly incomplete or uncertain relations between propositions in a domain of interest selected by the user. The inference engine for this argument-based system (ABS) is derived from defeasible logic. Our prototype ABS implements a modification of an algorithm for reasoning with these graphs first reported in (Nute and Erk, 1996). We also report improved soundness and completeness results of the sort found in (Nute and Erk, 1996).

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

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

[3]  Robert L. Causey,et al.  EVID: A system for interactive defeasible reasoning , 1994, Decis. Support Syst..

[4]  Katrin Erk,et al.  Defeasible logic graphs: I. Theory , 1998, Decis. Support Syst..

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

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

[7]  L. F. D. Cerro,et al.  Intensional logics for programming , 1992 .

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

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

[10]  J. McCarthy.  Circumscription|a Form of Nonmonotonic Reasoning , 1979 .

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

[12]  Steven Orla Kimbrough,et al.  On hypermedia-based argumentation decision support systems , 1993, [1993] Proceedings of the Twenty-sixth Hawaii International Conference on System Sciences.

[13]  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.

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

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

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

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