Fundamental of Model-Based Diagnosis

decreasing posterior

D1 D2 D3 D4 D5 D6

best

tentative

best

upper bound

Best-first search

based on prior,

avoiding conflicts

Focus inference.

Stop on first

conflict

Compute posterior

From inference

Data base

Record diagnosis

leading diagnosis

CONFLICT

cliff criteria met