Skip to main content
SpringerLink
Log in
Book cover

International Conference on Computational Science and Its Applications

ICCSA 2003: Computational Science and Its Applications — ICCSA 2003 pp 695–704Cite as

An Algorithm for Diagnosing System with Structured Description

  • Conference paper
  • First Online:

  • 665 Accesses

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2668))

Abstract

The model-based approach to diagnosis is one of the important approach to the system diagnosis, and the main problem for the approach is that how to generate the diagnoses. In this paper, an algorithm for computing all minimal conflicts using structured description system is introduced, then the diagnoses can be generated from all the minimal conflicts. Furthermore, an algorithm for computing diagnoses straightforwardly from the structured description is presented. The correctness of the algorithm is proved, and the time complexity of the algorithm is also analyzed. At last, the algorithms are compared with related works. The algorithms will terminate in polynomial time for some special system.

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

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Reiter, R.: A Theory of Diagnosis from First Principles. Artificial Intelligence 32(1987) 57–95.

    Article  MATH  MathSciNet  Google Scholar 

  2. Davis, R.: Diagnostic reasoning based on structure and behavior. Artificial Intelligence 24(1984) 347–410.

    Article  Google Scholar 

  3. Kleer, J. D.: Local methods for localizing faults in electronic circuits. MIT AI Memo 394, Cambridge, MA, 1976.

    Google Scholar 

  4. Kleer, J.D., Williams, B. C.: Diagnosing multiple faults. Artificial Intelligence 32(1987) 97–130

    Article  MATH  Google Scholar 

  5. Genesereth, M.R.: The use of design descriptions in automated diagnosis. Artificial Intelligence 24(1984) 411–436.

    Article  Google Scholar 

  6. Reggia, J.A., Nau, D.S., Wang, Y.: Diagnostic expert systems based on a set covering model. International Journal of Man-Machine Studies 19 (1983) 437–460.

    Article  Google Scholar 

  7. Reggia, J.A., Nau, D.S., Wang, Y.: A formal model of diagnostic inference I: Problem formulation and decomposition. Information Science 37 (1985) 227–256.

    Article  MATH  Google Scholar 

  8. Kleer, J.D., Mackworth, A.K., Reiter, R.: Charactering diagnoses and systems. Artificial Intelligence 56 (1992) 197–222.

    Article  MATH  MathSciNet  Google Scholar 

  9. Friedrich, G., Stumptner, M., Wotawa, F.: Model-Based Diagnosis of Hardware Designs. Artificial Intelligence Vol.111 No.2(1999) 3–39.

    Article  MATH  MathSciNet  Google Scholar 

  10. Haenni, R.: Generating Diagnoses from Conflict Sets. In: Cook D.J. ed. Proceedings of the FLAIRS-98 Conference, AAAI Press, 1998, 120–124.

    Google Scholar 

  11. Fattah, Y.E., Dechter, R.: Diagnosing Tree-Decomposable Circuits. In: International Joint Conference on Artificial Intelligence(1995), Montreal, Canada, Morgan Kaufmann: San Fransisco, 572–578.

    Google Scholar 

  12. Darwiche, A.: Model-based Diagnosis Using Structured System Descriptions. Journal of Artificial Intelligence Research 8(1998) 165–222.

    MATH  MathSciNet  Google Scholar 

  13. Darwiche, A.: Model-based Diagnosis Using Causal Networks. In: Proceedings of International Joint Conference on Artificial Intelligence(1995), Montreal, Canada, Morgan Kaufmann: San Fransisco, 211–217.

    Google Scholar 

  14. Val, A.D.: The complexity of restricted consequence finding and abduction. In: Proceedings of 17th American Association on Artificial Intelligence(2000),Austin, Texas, AAAI Press: California, 337–342.

    Google Scholar 

  15. Simon L., Val, A.D.: Efficient Consequence Finding. In: Nebel B. Ed. Proceedings of International Joint Conference on Artificial Intelligence(2001), Seattle, USA, Morgan Kaufmann: San Fransisco, 359–370.

    Google Scholar 

  16. Eiter, T., Lukasiewicz, T.: Complexity Results for Structure-Based Causality. In: Nebel B. Ed. Proceedings of International Joint Conference on Artificial Intelligence(2001), Seattle, USA, Morgan Kaufmann: San Fransisco, 35–42.

    Google Scholar 

  17. Coste-Marquis, S.: Characterizing Consistency-Based Diagnoses. In: Proceedings of 5th International Symposium on Artificial Intelligence and Mathematics (1998), Fort Lauderdale (http://rutcor.rutgers.edu/amai/aimath98/Tuesday.html).

  18. Mozetic, I.: A Polynomial-Time Algorithm for Model-based Diagnosis. In Neumann B. ed. Proceedings of the Tenth European Conference on Artificial Intelligence (ECAI1992), Chichester, UK, John Wiley & Sons, 729–733.

    Google Scholar 

  19. Childress, R.L., Valtorta, M.: Polynomial-Time Model-based Diagnosis with the Critical Set Algorithm. In: Proceedings of Fourth International Workshop on Principles of Diagnosis(1993), University of Wales, Aberystwith, 166–177.

    Google Scholar 

  20. Stumptner, M., Wotawa, F.: Diagnosing Tree-structured Systems. Artificial Intelligence 127(2001) 1–29.

    Article  MATH  MathSciNet  Google Scholar 

  21. Nilsson, N.J.: Artificial Intelligence: A new Synthesis. Morgan Kaufmann: San Fransisco, 1999.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute of Software, Chinese Academy of Sciences, P.R. of China

    Shangmin Luan & Guozhong Dai

Authors
  1. Shangmin Luan
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Guozhong Dai
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Army High Performance Computing Research Center, USA

    Vipin Kumar

  2. Department of Computer Science and Engineering, University of Minessota, MN, 55455, USA

    Vipin Kumar

  3. Department of Computer Science, University of Calgary, Calgary, AB, T2N1N4, Canada

    Marina L. Gavrilova

  4. Heuchera Technologies Inc., 122 9251-8 Yonge Street, Richmond Hill, ON, Canada, L4C 9T3

    Chih Jeng Kenneth Tan

  5. School of Computer Science, The Queen’s University of Belfast, Belfast, BT7 1NN, Northern Ireland, UK

    Chih Jeng Kenneth Tan

  6. Département d’informatique et de recherche opérationelle, Université de Montréal, Montréal, Québec, H3C 3J7, Canada

    Pierre L’Ecuyer

Rights and permissions

Reprints and permissions

Copyright information

© 2003 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Luan, S., Dai, G. (2003). An Algorithm for Diagnosing System with Structured Description. In: Kumar, V., Gavrilova, M.L., Tan, C.J.K., L’Ecuyer, P. (eds) Computational Science and Its Applications — ICCSA 2003. ICCSA 2003. Lecture Notes in Computer Science, vol 2668. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44843-8_76

Download citation

  • DOI: https://doi.org/10.1007/3-540-44843-8_76

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-40161-2

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

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation