A theory of measurement in diagnosis from first principles

摘要

Reiter and de Kleer have independently developed a theory of diagnosis from first principles. Reiter's approach to computing all diagnoses for a given faulty system is based upon the computation of all minimal hitting sets for the collection of conflict sets for (sd,components,obs). Unfortunately, his theory does not include a theory of measurement. De Kleer and Williams have developed GDE—general diagnostic engine. Their procedure computes all minimal conflict sets resulting from a measurement before discriminating the candidate space. However, they do not provide a formal justification for their theory.