Defeasible logic graphs: II. Implementation

摘要

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.