Hypothesis classification, abductive diagnosis and therapy

  • Gerhard Friedrich
  • Georg Gottlob
  • Wolfgang Nejdl
Model-Based Diagnosis
Part of the Lecture Notes in Computer Science book series (LNCS, volume 462)


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.


Polynomial Time System Description Propositional Variable Horn Clause Diagnostic Reasoning 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    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
  2. [2]
    Randall Davis. Diagnostic reasoning based on structure and behaviour. Artificial Intelligence, 224:347–410, 1984.Google Scholar
  3. [3]
    Johan de Kleer and Brian C. Williams. Diagnosing multiple faults. Artificial Intelligence, 32:97–130, 1987.Google Scholar
  4. [4]
    Michael R. Garey and David S. Johnson. Computers and Intractability. W. H. Freeman and Company, New York, 1979.Google Scholar
  5. [5]
    C. L. Luccesi and S. L. Osborne. Candidate keys for relations. Journal of Computing and System Science, 12(2):270–279, 1978.Google Scholar
  6. [6]
    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
  7. [7]
    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
  8. [8]
    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
  9. [9]
    Raymond Reiter. A theory of diagnosis from first principles. Artificial Intelligence, 32:57–95, 1987.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1990

Authors and Affiliations

  • Gerhard Friedrich
    • 1
  • Georg Gottlob
    • 1
  • Wolfgang Nejdl
    • 1
  1. 1.Institut für Angewandte InformatikTechnical University of ViennaAustria

Personalised recommendations