Model-based Diagnosis Given a system with symptomatic behavior and a model of the system, find diagnoses that account for symptoms 6 2、 Symptom MI Ⅹ B 6 Al M2 A2 G12 6 E M3 10/03/03 copyright Brian Williams, 2003
10/03/03 copyright Brian Williams, 2003 6 Model-based Diagnosis Given a system with symptomatic behavior and a model of the system, find diagnoses that account for symptoms. 6 12 Symptom 6 O1 M2 M3 A1 A2 A B C D E F G X Y Z 3 2 2 3 3 10 12 M1 6 12
Model-based Diagnosis Given a system with symptomatic behavior and a model of the system, find diagnoses that account for symptoms 6小 2、 Symptom MI B 6 Al M2 A2 G12 6 E M3 10/03/03 copyright Brian Williams, 2003 7
10/03/03 copyright Brian Williams, 2003 7 Model-based Diagnosis Given a system with symptomatic behavior and a model of the system, find diagnoses that account for symptoms. 6 12 Symptom 6 M1 M2 M3 A1 A2 A B C D E F G X Y Z 3 2 2 3 3 10 12 6 12
Diagnosis as Hypothesis Testing 1. Generate candidates, given symptoms 2. Test if candidates account for all symptoms Set of diagnoses should be complete Set of diagnoses should consider all available information 10/03/03 copyright Brian Williams, 2003
10/03/03 copyright Brian Williams, 2003 8 Diagnosis as Hypothesis Testing 1. Generate candidates, given symptoms. 2. Test if candidates account for all symptoms. • Set of diagnoses should be complete. • Set of diagnoses should consider all available information
Out line Model-based diagnosis Accounting for failures Explaining failures Handling unknown failures 10/03/03 copyright Brian Williams, 2003
10/03/03 copyright Brian Williams, 2003 9 Outline Model-based diagnosis Accounting for failures Explaining failures Handling unknown failures