Abstract
Most approaches to model-based diagnosis describe a diagnosis for a system as a set of failing components that explains the symptoms. In order to characterize the typically very large number of diagnoses, usually only the minimal such sets of failing components are represented. This method of characterizing all diagnoses is inadequate in general, in part because not every superset of the faulty components of a diagnosis necessarily provides a diagnosis. In this paper we analyze the notion of diagnosis in depth exploiting the notions of implicate/implicant and prime implicate/implicant. We use these notions to propose two alternative approaches for addressing the inadequacy of the concept of minimal diagnosis. First, we propose a new concept, that of kernel diagnosis, which is free of the problems of minimal diagnosis. Second, we propose to restrict the axioms used to describe the system to ensure that the concept of minimal diagnosis is adequate.
Corrected (as of June 29, 1988) version of the AAAI-90 paper.
Preview
Unable to display preview. Download preview PDF.
References
Brayton, R.K., Hachtel, G.D., McMullen, C.T. and Sangiovanni-Vincentelli, A.L., Logic minimization algorithms for VLSI Synthesis, (Kluwer, 1984).
Brown, J.S., Burton, R. R. and de Kleer, J., Pedagogical, natural language and knowledge engineering techniques in SOPHIE I, II and III, in: D. Sleeman and J.S. Brown (Eds.), Intelligent Tutoring Systems, (Academic Press, New York, 1982) 227–282.
Davis, R., Diagnostic Reasoning based on structure and behavior, Artificial Intelligence 24 (1984) 347–410.
Davis, R., and Hamscher, W., Model-based reasoning: Troubleshooting, in Exploring artificial intelligence, edited by H.E. Shrobe and the American Association for Artificial Intelligence, (Morgan Kaufmann, 1988), 297–346.
de Kleer, J. and Williams, B.C., Diagnosing multiple faults, Artificial Intelligence 32 (1987) 97–130. Also in Readings in NonMonotonic Reasoning, edited by Matthew L. Ginsberg, (Morgan Kaufmann, 1987), 372–388.
de Kleer, J. and Williams, B.C, Diagnosis with behavioral modes, in: Proceedings IJCAI-89, Detroit, MI (1989) 1324–1330.
de Kleer, J., Mackworth, A.K. and Reiter, R., Characterizing Diagnoses and Systems, SSL Paper P89-00193, Xerox PARC, 1990. Also available as University of British Columbia Department of Computer Science TR90-8.
Dressler, O., and Farquhar, A., Focusing ATMS-based problem solvers, Siemens Report INF-2-ARM 13, 1989.
Genesereth, M.R., The use of design descriptions in automated diagnosis, Artificial Intelligence 24 (1984) 411–436.
Hamscher, W.C., Model-based troubleshooting of digital systems, Artificial Intelligence Laboratory, TR-1074, Cambridge: M.I.T., 1988.
Hill, F.J. and Peterson, G.R., Introduction to Switching Theory and Logical Design (John Wiley and Sons, New York, 1974).
Kohavi, Z., Switching and Finite Automata Theory (McGraw-Hill, 1978).
Kean, A. and Tsiknis, G., An incremental method for generating prime implicants/implicates, University of British Columbia Technical Report TR88-16, 1988.
Kohavi, Z., Switching and Finite Automata Theory (McGraw-Hill, 1978).
Poole, D., Representing knowledge for logic-based diagnosis, Proc. Int. Conf. on Fifth Generation Computer Systems (1988) 1282–1290.
Raiman, O., Diagnosis as a trial: The alibi principle, IBM Scientific Center, 1989.
Reiter, R., A theory of diagnosis from first principles, Artificial Intelligence 32 (1987) 57–95. Also in Readings in Non-Monotonic Reasoning, edited by Matthew L. Ginsberg, (Morgan Kaufmann, 1987), 352–371.
Reiter, R. and de Kleer, J., Foundations of Assumption-Based Truth Maintenance Systems: Preliminary Report, Proceedings of the National Conference on Artificial Intelligence, Seattle, WA (July, 1987), 183–188.
Slagle, J.R., C.L. Chang, and Lee, R.C.T., A new algorithm for generating prime implicants, IEEE Transactions on Computers C-19 (1970) 304–310.
Struss, P., Extensions to ATMS-based Diagnosis, in: J.S. Gero (ed.), Artificial Intelligence in Engineering: Diagnosis and Learning (Elsevier, Amsterdam, 1988) 3–28.
Struss, P., and Dressler, O., “Physical negation” — Integrating fault models into the general diagnostic engine, in: Proceedings IJCAI-89 Detroit, MI (1989) 1318–1323.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1990 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
de Kleer, J., Mackworth, A.K., Reiter, R. (1990). Characterizing diagnoses. 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_27
Download citation
DOI: https://doi.org/10.1007/3-540-53104-1_27
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