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.

• Type: Conference
• Year: 1996
• Where: ICTAI
• Authors: Ofer Arieli, Arnon Avron
• Keywords: Artificial Intelligence, Consistent Data, Efficient Algorithm, ICTAI 1996, Inconsistent Set