Generate Kernels from Conflicts al=U or Ml=U or M2=U removes conflict Al=U or A2FU or Ml=U or M3=U removes conflict 2 Kernel Diagnoses= (A2=U, M2=U) MI=U HAl=UI Smallest sets of modes that remove all conflicts Generate ernels from Conflicts Al=U or M1=U or M2-U removes conflict 1 al=U or A2=U or Ml=U or M3=U removes conflict 2 Kernel Diagnoses= M2=U, M3=U (A2=U, M2=U IMI=U IAl=UI " Smallest sets of modes that remove all conflicts
Kernel Diagnoses = {A2=U, M2=U} {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 Kernel Diagnoses = {M2=U, M3=U} {A2=U, M2=U} {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
Out line Conflicts and Kernel Diagnoses Generating Kernels from Conflicts Finding Consistent Modes Estimating Likely Modes Conflict-directed A Diagnosis With Only the Unknown B 0 Inverter( G() Out(= not(In( U(): Isolates surprises Doesnt explain Nominal and Unknown Modes
Outline Conflicts and Kernel Diagnoses Generating Kernels from Conflicts Finding Consistent Modes Estimating Likely Modes Conflict-directed A* Diagnosis With Only the Unknown Inverter(i): G(i): Out(i) = not(In(i)) U(i): X Y AB C 0 0 0 Nominal and Unknown Modes • Isolates surprises • Doesn’t explain
Diagnosis With Only the Known B 0 Inverter() G(0) Out(= not(In() s1():Out()=1 S0():Out()=0 No surprises Explains Exhaustive Fault modes Solution: Diagnosis as Estimating Behavior Modes B 0 Inverter G():Out()=not(n(①) Out( S0() Out(=0 Isolates surprises U() Explains Nominal Fault and Unknown Modes
Diagnosis With Only the Known Inverter(i): G(i): Out(i) = not(In(i)) S1(i): Out(i) = 1 S0(i): Out(i) = 0 X Y AB C 0 0 0 Exhaustive Fault Modes • No surprises • Explains Solution: Diagnosis as Estimating Behavior Modes Inverter(i): G(i): Out(i) = not(In(i)) S1(i): Out(i) = 1 S0(i): Out(i) = 0 U(i): X Y AB C 0 0 0 Nominal, Fault and Unknown Modes • Isolates surprises • Explains
Sherlock Example Diagnoses [de kleer williams, 89) 0 B 0 Diagnosis: [S1(A),G(B), U(C) Sherlock Example Diagnoses Ide kleer &e williams, 89) B 0 Diagnosis: [S1(A), G(B),U(C) Kernel Diagnosis: [U(C)
Example Diagnoses X Y AB C 0 0 1 Diagnosis: [S1(A),G(B),U(C)] 0 0 Sherlock [de Kleer & Williams, 89] Example Diagnoses X Y AB C 0 0 1 Diagnosis: [S1(A),G(B),U(C)] Kernel Diagnosis: [U(C)] X Y AB C 0 0 ? ? 0 0 0 0 Sherlock [de Kleer & Williams, 89]
1. Find Symptoms Conflicts B Conflict not G(A), G(B) and G(C) More Symptoms Conflicts B Not S1(A), G(B), and G(C)
1. Find Symptoms & Conflicts Conflict: not G(A), G(B) and G(C) X Y AB C 0 0 1 0 G G G 0 0 1 0 More Symptoms & Conflicts Not S1(A), G(B), and G(C) X Y AB C 0 0 1 0 S1 G G 0 0 1 0