Knowledge base debugging, measurement selection, model-based diagnosis, Problem reduction, query generation, sequential diagnosis.