Figure 1: Model-based diagnosis has a general-purpose diagnostic procedure that works on a class of system models.