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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Reiter, R.: A Theory of Diagnosis from First Principles. Artificial Intelligence 32(1987) 57–95.
Davis, R.: Diagnostic reasoning based on structure and behavior. Artificial Intelligence 24(1984) 347–410.
Kleer, J. D.: Local methods for localizing faults in electronic circuits. MIT AI Memo 394, Cambridge, MA, 1976.
Kleer, J.D., Williams, B. C.: Diagnosing multiple faults. Artificial Intelligence 32(1987) 97–130
Genesereth, M.R.: The use of design descriptions in automated diagnosis. Artificial Intelligence 24(1984) 411–436.
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.
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.
Kleer, J.D., Mackworth, A.K., Reiter, R.: Charactering diagnoses and systems. Artificial Intelligence 56 (1992) 197–222.
Friedrich, G., Stumptner, M., Wotawa, F.: Model-Based Diagnosis of Hardware Designs. Artificial Intelligence Vol.111 No.2(1999) 3–39.
Haenni, R.: Generating Diagnoses from Conflict Sets. In: Cook D.J. ed. Proceedings of the FLAIRS-98 Conference, AAAI Press, 1998, 120–124.
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.
Darwiche, A.: Model-based Diagnosis Using Structured System Descriptions. Journal of Artificial Intelligence Research 8(1998) 165–222.
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.
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.
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.
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.
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).
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.
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.
Stumptner, M., Wotawa, F.: Diagnosing Tree-structured Systems. Artificial Intelligence 127(2001) 1–29.
Nilsson, N.J.: Artificial Intelligence: A new Synthesis. Morgan Kaufmann: San Fransisco, 1999.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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