Find Another Symptom B Al D A2 12 E M3 Symptom G is observed 12. but should be 10 and its Conflict Conflict not just upstream from symptom MI B F10 Al 12 M3 10 mptom G is observed 12. but should be 10 Conflict al=G M2=g& mi-g& m3=G is inconsistent
Find Another Symptom 3 2 3 M1 M3 A1 A2 A B C D E F G X Y Z 10 12 4 6 10 Symptom: G is observed 12, but should be 10 ... 3 2 3 M1 M3 A1 A2 A B C D E F G X Y Z 10 12 4 6 10 Symptom: G is observed 12, but should be 10 Conflict: A1=G & M2=G & M1=G & M3=G is inconsistent Conflict not just upstream from symptom … and its Conflict
and its Conflict Conflict not just upstream from symptom B Al D A2 12 E M3 Symptom G is observed 12. but should be 10 Conflict al=G M2=g& ml-g& m3=G is inconsistent al=U or A2=U or Ml=U or M3=U removes conflict Recap: Conflicts 6 3 MI B F10 2 M2 A2G Conflict E M3 a set of component modes m that are inconsistent with the model and observations Every superset of a conflict is a conflict Only need conflicts that are minimal under subset Logically, not M is an implicate of model obs
3 2 3 M1 M3 A1 A2 A B C D E F G X Y Z 10 12 4 6 10 Symptom: G is observed 12, but should be 10 Conflict: A1=G & M2=G & M1=G & M3=G is inconsistent A1=U or A2=U or M1=U or M3=U removes conflict Conflict not just upstream from symptom … and its Conflict Recap: Conflicts M1 M2 A1 A B C D E 3 2 2 3 F G X Y Z 10 Conflict • A set of component modes M that are inconsistent with the model and observations. • Every superset of a conflict is a conflict • Only need conflicts that are minimal under subset • Logically, not M is an implicate of model & Obs 6 6 12 M3 A2
Recap: Kernel Diagnoses MI Kernel Diagnosis B A1E10 A2=U&M2=U} 」G12 M3 Partial Diagnosis: A set of component modes M all of whose extensions are diagnoses M removes all symptoms · Mentals model&Obs (implicant Kernel Diagnosis: A minimal partial diagnosis K M is a prime implicant of model obs Out line Conflicts and Kernel Diagnoses Generating Kernels from Conflicts Finding Consistent Modes Estimating Likely Modes Conflict-directed a
? 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} Recap: Kernel Diagnoses Partial Diagnosis: A set of component modes M all of whose extensions are diagnoses. • M removes all symptoms • M entails Model & Obs (implicant) Kernel Diagnosis: A minimal partial diagnosis K • M is a prime implicant of model & obs Outline Conflicts and Kernel Diagnoses Generating Kernels from Conflicts Finding Consistent Modes Estimating Likely Modes Conflict-directed A*
Diagnoses Found by Mapping Conflicts to Kernels MI 于10 M2 EM3 M3 Conflict: A set of component modes m that are inconsistent with the model and observations not M is an implicate of Model obs Kernel Diagnosis: a minimal set of component modes k that eliminate all symptoms M is a prime implicant of Model Obs Conflicts map to Kernels by minimal set covering Generate ernels from Conflicts RAl=G, MI=U, M2=U) conflict 1 RAl=U, A2=U, Ml=U, M3=U) conflict 2 al=U or Ml=u or M2=U removes conflict 1 al=U or A2=U or Ml=U or M3=U removes conflict 2 Kernel Diagnoses "Smallest sets of modes that remove all conflicts
Diagnoses Found by Mapping Conflicts to Kernels Conflict: A set of component modes M that are inconsistent with the model and observations. • not M is an implicate of Model & Obs Kernel Diagnosis: A minimal set of component modes K that eliminate all symptoms. •M is a prime implicant of Model & Obs Conflicts map to Kernels by minimal set covering 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 ? Kernel Diagnoses = Generate Kernels From Conflicts A1=U or M1=U or M2=U removes conflict 1. A1=U or A2=U or M1=U or M3=U removes conflict 2 “Smallest” sets of modes that remove all conflicts {A1=G, M1=U, M2=U} conflict 1. {A1=U, A2=U, M1=U, M3=U} conflict 2
Generate Kernels from Conflicts Al U or Ml=U or M2=U removes conflict Al=Uor A2=U or Ml=U or M3=0 removes conflict 2 Kernel Diagnoses= Al=Ui Smallest sets of modes that remove all conflicts Generate ernels from Conflicts Al= u or m1∈UorM2=U removes conflict 1 Al=U or A2=U or Ml=U or M3=U removes conflict 2 Kernel Diagnoses- MI=U HAl=Uj " Smallest sets of modes that remove all conflicts
Kernel Diagnoses = {A1=U} “Smallest” sets of modes that remove all conflicts A1=U or M1=U or M2=U removes conflict 1. A1=U or A2=U or M1=U or M3=U removes conflict 2 Generate Kernels From Conflicts Kernel Diagnoses = {M1=U} {A1=U} “Smallest” sets of modes that remove all conflicts A1=U or M1=U or M2=U removes conflict 1. A1=U or A2=U or M1=U or M3=U removes conflict 2 Generate Kernels From Conflicts