Automatic diagnoses for properly stratified knowledge-bases
Ofer Arieli, Arnon Avron · 2005
The authors present a mechanism for recovering consistent data from an inconsistent set of assertions. For a common family of knowledge bases they also provide an efficient algorithm for doing so automatically. This method is nonmonotonic and paraconsistent. It is particularly useful for making diagnoses on faulty devices.