Modelling of diagnostic reasoning

M. Stefanelli, G. Lanzola, G. Barosi, L. Magnani

Research output: Chapter in Book/Report/Conference proceedingConference contribution


Medical diagnosis can be modelled in terms of the classical notions of abduction, deduction and induction. Abduction is making a preliminary guess that allows to establish a set of plausible diagnostic hypotheses, followed by deduction for exploring their consequences and by induction for testing them with available patient data. Such a description of diagnostic reasoning at a knowledge level helps the construction of an expert systems by fashioning the adopted expert system building tool to reflect the structure of the problem rather than force the problem to the tool. To this aim reasoning strategies need to be represented abstractly, separately from medical facts and relations, so making the design more transparent and explainable. This paper describes how an already developed system, ANEMIA, able to provide a rather good diagnostic performance, has been re-implemented taking into account the above mentioned design criteria.

Original languageEnglish
Title of host publicationIFAC Proceedings Series
PublisherPubl by Pergamon Press Inc
Number of pages12
Publication statusPublished - 1989
EventIFAC Symposium on Modelling and Control in Biomedical Systems - Venice, Italy
Duration: Apr 6 1988Apr 8 1988


OtherIFAC Symposium on Modelling and Control in Biomedical Systems
CityVenice, Italy

ASJC Scopus subject areas

  • Engineering(all)


Dive into the research topics of 'Modelling of diagnostic reasoning'. Together they form a unique fingerprint.

Cite this