Constraint Suspension
n
Inefficient
n
Scales poorly to multiple faults
n
Informal
What follows are formal definitions of the
basic concepts of model-based diagnosis for
multiple faults