会 Diagnosis as conflict-directed MERS Best first search Increasin Cost Conflict 1 Infeasible Conflict 2 Feasible Enumerating Probable Candidates MERS Leading CandidateGenerate Based on priors Candidate Test Candidate Yes eep Consistent Extract Conflict Posterior p Yes No Done Below Threshold Sherlock: [de Kleer Williams]9 Increasing Cost Feasible Infeasible Conflict 3 Conflict 2 Conflict 1 Diagnosis as Conflict-directed Best First Search 10 Enumerating Probable Candidates Generate Candidate Test Candidate Keep Consistent? Compute Posterior p Below Threshold? Extract Conflict Done Yes No Yes No Leading Candidate Based on Priors Sherlock: [de Kleer & Williams, 89]