NEOANEMIA: a knowledge-based system emulating diagnostic reasoning

Medical diagnosis can be modeled in terms of the classical notions of abduction, deduction, and induction. Abduction is making a preliminary guess that allows one to establish a set of plausible diagnostic hypotheses, followed by deduction for exploring their consequences and induction for testing the hypotheses with available patient data or for planning the acquisition of new data. Such a description of diagnostic reasoning at a knowledge level helps the construction of an expert system by fashioning the adopted expert system building tool to reflect the structure of the problem rather than by fitting the problem to the tool. To this aim, reasoning strategies need to be represented abstractly, separate from medical facts and relations, to make the design more transparent and explainable.