On the efficiency of logic-based diagnosis

Authors:
Abdul Sattar;Randy Goebel
Affiliations:
Department of Computing Science, University of Alberta, Edmonton, Alberta, Canada T6G 2H1;Department of Computing Science, University of Alberta, Edmonton, Alberta, Canada T6G 2H1
Venue:
IEA/AIE '90 Proceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 1
Year:
1990

Citing 11
Cited 3

Diagnostic reasoning based on structure and behavior

Artificial Intelligence - Special volume on qualitative reasoning about physical systems
The use of design descriptions in automated diagnosis

Artificial Intelligence - Special volume on qualitative reasoning about physical systems
An assumption-based TMS

Artificial Intelligence
Using definite clauses and integrity constraints as the basis for a theory formation approach to diagnostic reasoning

Proceedings on Third international conference on logic programming
A theory of diagnosis from first principles

Artificial Intelligence
Diagnosing multiple faults

Artificial Intelligence
A logical framework for default reasoning

Artificial Intelligence
Algorithmic Program DeBugging

Algorithmic Program DeBugging
The Complexity of Model-Preference Default Theories

Proceedings of the 2nd International Workshop on Non-Monotonic Reasoning
Constraint Satisfaction

Constraint Satisfaction
Automated theorem proving: A logical basis (Fundamental studies in computer science)

Automated theorem proving: A logical basis (Fundamental studies in computer science)

Time, Narratives and Participation Frameworks in Software Troubleshooting

Computer Supported Cooperative Work
Abductive Logic Programming in the Clinical Management of HIV/AIDS

Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Clinical decision support system (DSS) in the diagnosis of malaria: A case comparison of two soft computing methodologies

Expert Systems with Applications: An International Journal

Quantified Score

Hi-index	0.00

Visualization

Abstract

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 inconsistencies, sometimes referred to as nogoods, and to identify crucial literals to perform tests for discriminating among competing diagnoses. A prototype is implemented in Cprolog and its empirical efficiency is shown by considering examples from two different domains of diagnosis.