Sciweavers

Share
ICTAI
1996
IEEE

Automatic Diagnoses for Properly Stratified Knowledge-Bases

9 years 8 months ago
Automatic Diagnoses for Properly Stratified Knowledge-Bases
We present a mechanism for recovering consistent data from inconsistent set of assertions. For a common family of knowledge-bases we also provide an efficient algorithm for doing so automaticly. This method is nonmonotonic and paraconsistent. It is particularly useful for making diagnoses on faulty devices. Subject areas: Knowledge-based systems, Non-standard logics for AI, Reasoning under uncertainty, Model-based diagnosis.
Ofer Arieli, Arnon Avron
Added 07 Aug 2010
Updated 07 Aug 2010
Type Conference
Year 1996
Where ICTAI
Authors Ofer Arieli, Arnon Avron
Comments (0)
books