DEFEASIBLE LOGIC GRAPHS - II - IMPLEMENTATION

Authors
NUTE D HUNTER Z HENDERSON C
Citation
D. Nute et al., DEFEASIBLE LOGIC GRAPHS - II - IMPLEMENTATION, Decision support systems, 22(3), 1998, pp. 295-306
Citations number
5
Categorie Soggetti
Computer Science Artificial Intelligence","Computer Science Information Systems","Operatione Research & Management Science","Computer Science Artificial Intelligence","Operatione Research & Management Science","Computer Science Information Systems
Journal title
Decision support systems → ACNP
ISSN journal
01679236
Volume
22
Issue
3
Year of publication
1998
Pages
295 - 306
Database
ISI
SICI code
0167-9236(1998)22:3<295:DLG-I->2.0.ZU;2-3
Abstract
We propose development of an argument based decision support system ut ilizing 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 mean s 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 lo gic and complete for finite, consistent theories with acyclic d-graphs . (C) 1998 Elsevier Science B.V. All rights reserved.