On the efficiency of logic-based diagnosis (original) (raw)
1990, Proceedings of the third international conference on Industrial and engineering applications of artificial intelligence and expert systems - IEA/AIE '90
Diagnosis is a problem in which one must explain the discrepancy between the observed and correct system behavior by assuming some component (possibly multiple components) of the system is functioning abnormally. A diagnostic reasoning system must deal with two issues concerning computational efficiency. The first is efficient search in a complex space for all possible diagnoses for a given set of observations about the faulty system. The second is efficient discrimination amongst multiple competing diagnoses. We consider the problem of diagnosis from the perspective of the Theorist hypothetical reasoning framework which provides a simple and intuitive diagnostic method. We propose an extension to the Theorist framework that modifies the consistency check mechanism to incrementally compute inconsisfencies, sometimes referred to as nogoods, and to identify crucial liter& to perform tests for discriminating among competing diagnoses. A prototype is implimented in Cprolog and its empirical efficiency is shown by considering examples from two different domains of diagnosis. 1 Introduction Diagnosis is a problem in which one must explain discrepancies between observed and correct system behavior. Because of the ubiquity of this problem in real world situations, including failure of a nuclear plant, medical diagnosis, faults in an electronic circuit, etc., Permission to copy without fee all or part of this material is granted provided that the copies are not made or distributed for direct commercial advantage, the ACM copyright notice and the title of the publication and its date appear, and notice is given that copying is by permission of the Association for Computing Machinery. To copy otherwise, or to republish, requires a fee and/or specific permission.
Loading Preview
Sorry, preview is currently unavailable. You can download the paper by clicking the button above.