Skip to main content
SpringerLink
Log in

Hypothesis classification, abductive diagnosis and therapy

  • Model-Based Diagnosis
  • Conference paper
  • First Online:
Book cover Expert Systems in Engineering Principles and Applications (ESE 1990)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 462))

Included in the following conference series:

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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. Randall Davis. Diagnostic reasoning based on structure and behaviour. Artificial Intelligence, 224:347–410, 1984.

    Google Scholar 

  3. Johan de Kleer and Brian C. Williams. Diagnosing multiple faults. Artificial Intelligence, 32:97–130, 1987.

    Google Scholar 

  4. Michael R. Garey and David S. Johnson. Computers and Intractability. W. H. Freeman and Company, New York, 1979.

    Google Scholar 

  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. 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. 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. 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. Raymond Reiter. A theory of diagnosis from first principles. Artificial Intelligence, 32:57–95, 1987.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institut für Angewandte Informatik, Technical University of Vienna, Austria

    Gerhard Friedrich (Christian Doppler Laboratory for Expert Systems), Georg Gottlob & Wolfgang Nejdl

Authors
  1. Gerhard Friedrich
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Georg Gottlob
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Wolfgang Nejdl
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Georg Gottlob Wolfgang Nejdl

Rights and permissions

Reprints and permissions

Copyright information

© 1990 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Friedrich, G., Gottlob, G., Nejdl, W. (1990). Hypothesis classification, abductive diagnosis and therapy. In: Gottlob, G., Nejdl, W. (eds) Expert Systems in Engineering Principles and Applications. ESE 1990. Lecture Notes in Computer Science, vol 462. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-53104-1_32

Download citation

  • DOI: https://doi.org/10.1007/3-540-53104-1_32

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-53104-3

  • Online ISBN: 978-3-540-46711-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation