Hypothesis classification, abductive diagnosis and therapy
We discuss several issues in abductive diagnosis. First we define some classes of hypotheses with respect to a diagnosis (necessary, possible and irrelevant) and show some complexity results. Second we describe the standard therapeutic approach which aims at curing a malfunction of a system.
KeywordsPolynomial Time System Description Propositional Variable Horn Clause Diagnostic Reasoning
Unable to display preview. Download preview PDF.
- Tom Bylander, Dean Allemang, Michael C. Tanner, and John R. Josephson. Some results concerning the computational complexity of abduction. In Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning, pages 44–54, Toronto, May 1989. Morgan Kaufmann Publishers, Inc.Google Scholar
- Randall Davis. Diagnostic reasoning based on structure and behaviour. Artificial Intelligence, 224:347–410, 1984.Google Scholar
- Johan de Kleer and Brian C. Williams. Diagnosing multiple faults. Artificial Intelligence, 32:97–130, 1987.Google Scholar
- Michael R. Garey and David S. Johnson. Computers and Intractability. W. H. Freeman and Company, New York, 1979.Google Scholar
- C. L. Luccesi and S. L. Osborne. Candidate keys for relations. Journal of Computing and System Science, 12(2):270–279, 1978.Google Scholar
- David Poole. Normality and faults in logic-based diagnosis. In Proceedings of the International Joint Conference on Artificial Intelligence, pages 1304–1310, Detroit, August 1989. Morgan Kaufmann Publishers, Inc.Google Scholar
- J. Reggia, D. Nau, and P. Wang. A formal model of diagnostic inference. 1. problem formulation and decomposition. Information Sciences, 37:227–256, 1985.Google Scholar
- J. A. Reggia, D. S. Nau, and Y. Wang. Diagnostic expert systems based on a set covering model. International Journal of Man-Machine Studies, 19:437–460, November 1983.Google Scholar
- Raymond Reiter. A theory of diagnosis from first principles. Artificial Intelligence, 32:57–95, 1987.Google Scholar