| Article ID: | iaor20021310 |
| Country: | Netherlands |
| Volume: | 22 |
| Issue: | 3 |
| Start Page Number: | 295 |
| End Page Number: | 306 |
| Publication Date: | Mar 1998 |
| Journal: | Decision Support Systems |
| Authors: | Nute Donald, Hunter Zachary, Henderson Christopher |
| Keywords: | graphs |
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 d-graphs 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.