Compact Encoding Kernel Diagnoses MI Kernel diagnosis A1-上10 {A2=U,M2=U} G12 MhZ Partial Diagnosis: A set of component modes P all of whose extensions are diagnoses Pi removes all symptoms Pi entails P(X,Y)A Obs (implicant) Kernel Diagnosis: A minimal partial diagnosis K Ki is a prime implicant of y(, Y)A Obs Diagnoses Found by Mapping Conflicts to Kernels 12 M3 Conflict: A set of component modes Ci that are inconsistent with the model and observations p(X,Y)A Obs entails not C Kernel Diagnosis: A minimal set of component modes Ki that eliminate all symptoms Ki is a prime impli Ki is a prime implicant of all(minimal)conflicts5 ? 3 ? 2 2 3 3 M1 M3 A1 A B C D E F G X Y Z 10 12 ? Kernel Diagnosis = {A2=U, M2=U} Compact Encoding: Kernel Diagnoses Partial Diagnosis: A set of component modes Pi all of whose extensions are diagnoses. • Pi removes all symptoms • Pi entails Ȍ(X,Y) š Obs (implicant) Kernel Diagnosis: A minimal partial diagnosis Ki • Ki is a prime implicant of Ȍ(X,Y) š Obs 6 Diagnoses Found by Mapping Conflicts to Kernels Conflict: A set of component modes Ci that are inconsistent with the model and observations. • Ȍ(X,Y) š Obs entails not Ci Kernel Diagnosis: A minimal set of component modes Ki that eliminate all symptoms. • Ki is a prime implicant of Ȍ(X,Y) š Obs • Ki is a prime implicant of all (minimal) conflicts M1 M2 A1 A B C D E 3 2 2 3 F G X Y Z 10 6 6 12 M3 A2 ? 3 ? 2 2 3 3 M1 M3 A1 A B C D E F G X Y Z 10 12 ?