DocumentCode
2612962
Title
Automatic diagnoses for properly stratified knowledge-bases
Author
Arieli, Ofer ; Avron, Arnon
Author_Institution
Dept. of Comput. Sci., Tel Aviv Univ., Israel
fYear
1996
fDate
16-19 Nov. 1996
Firstpage
392
Lastpage
399
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Tools with Artificial Intelligence, 1996., Proceedings Eighth IEEE International Conference on
ISSN
1082-3409
Print_ISBN
0-8186-7686-7
Type
conf
DOI
10.1109/TAI.1996.560481
Filename
560481
Link To Document