Title :
Automatic diagnoses for properly stratified knowledge-bases
Author :
Arieli, Ofer ; Avron, Arnon
Author_Institution :
Dept. of Comput. Sci., Tel Aviv Univ., Israel
Abstract :
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.
Keywords :
diagnostic expert systems; model-based reasoning; multivalued logic; nonmonotonic reasoning; uncertainty handling; automatic diagnoses; consistent data recovery; efficient algorithm; faulty device diagnosis; inconsistent assertions; nonmonotonic method; paraconsistent method; properly stratified knowledge bases; Artificial intelligence; Calculus; Circuit faults; Computer science; Cost accounting; Knowledge based systems; Lattices; Logic devices; Nose; Uncertainty;
Conference_Titel :
Tools with Artificial Intelligence, 1996., Proceedings Eighth IEEE International Conference on
Print_ISBN :
0-8186-7686-7
DOI :
10.1109/TAI.1996.560481
