Basics of Parsimonious Covering Theory
In this chapter we start the task of formalizing abductive diagnostic problem-solving. As revealed by examples in Chapter 2, such formalization will involve diagnostic entities (disorders, manifestations, intermediate states), the causal associations relating these entities, the notion of diagnostic explanation, and very importantly, the process of hypothesize-and- test reasoning. Our ultimate goal is to derive a formal model that captures a significant part of the causal knowledge and inference method described in the previous chapters.
KeywordsDiagnostic Problem Minimum Cardinality Causal Network Division Operation Present Manifestation
Unable to display preview. Download preview PDF.