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.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have