Modeling diagnostic reasoning: a summary of parsimonious covering theory

Parsimonious covering theory is a formal model of diagnostic reasoning. Diagnostic knowledge is represented in the theory as a network of causal associations, and problem-solving is represented in algorithms that support a hypothesize-and-test inference process. This paper summarizes in informal terms the basic ideas in parsimonious covering theory.