@COMMENT This file was generated by bib2html.pl <https://sourceforge.net/projects/bib2html/> version 0.94
@COMMENT written by Patrick Riley <http://sourceforge.net/users/patstg/>
@COMMENT This file came from Alan K. Mackworth's publication pages at
@COMMENT http://www.cs.ubc.ca/~mack/publications
@InProceedings{AMAI90,
  author =	 {J. de Kleer and Alan K. Mackworth and R. Reiter},
  title =	 {Characterizing Diagnoses},
  year =	 {1990},
  booktitle =	 {Proc. Am. Assoc. for Art. Intell. Ann. Conf.},
  address =      {Boston, MA}
  pages =         {324--330},
  note =         {Also appears in and/or presented at, <I>Proc. of Principles of Diagnosis Workshop</I>, 
                  Stanford, CA, July 1990; <I>Proc. of Model-Based Reasoning Workshop</I>, Boston, MA, July 1990;
                  <I>Proc. of Qualitative Reasoning about Physical Systems Workshop</I>, Vienna, Austria, November 1990.},
  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. },
  bib2html_pubtype ={Refereed Conference Proceeding},
  bib2html_rescat ={},
}