Consistency-based Diagnosis And( Orl G() LE O Andl Out(=In1( AND In20 l11 U0) ALL components have Or3 unknown mode”U, Whose assignment is never mentioned inC Diagnosis=AlG, A2=U 01=G, 02=U, 03=G Obs Assignment to O Candidate C;: Assignment of modes to X Diagnosis D;: A candidate such that DA Obs A c(X,Y) is satisfiable 10/03/03 copyright Brian Williams, 200310/03/03 copyright Brian Williams, 2003 3 Consistency-based Diagnosis And(i): ƒ G(i): Out(i) = In1(i) AND In2(i) ƒ U(i): ƒ Obs: Assignment to O ƒ Candidate Ci: Assignment of modes to X ƒ Diagnosis Di : A candidate such that Di š Obs š C(X,Y) is satisfiable. 1 1 1 1 0 Or1 Or3 And1 A B C D E F G X Y Z 0 1 Diagnosis = {A1=G, A2=U O1=G, O2=U, O3=G} ALL components have “unknown Mode” U, Whose assignment is never mentioned in C