Automatic diagnoses for properly stratified knowledge-bases

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 diag...

Full description

Saved in:
Bibliographic Details
Main Authors: Arieli, O., Avron, A.
Format: Conference Proceeding
Language:English
Subjects:
Artificial intelligence
Calculus
Circuit faults
Computer science
Cost accounting
Knowledge based systems
Lattices
Logic devices
Nose
Uncertainty
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISSN:1082-3409
2375-0197
DOI:10.1109/TAI.1996.560481