Abstract
Knowledge bases of medical expert systems have grown to such an extent that formal methods to verify their consistency seem highly desirable; otherwise, decision results of such expert systems are not reliable and contradictory entries in the knowledge base may even cause totally erroneous conclusions.
This paper presents a new formalization of the finding/finding, finding/disease, and disease/disease relationships of the medical expert system Cadiag-1. This formalization also helps to clarify the differences between the application of propositional logic and of quantificational logic to capture the meaning of some fundamental categorical relationships in the area of medical diagnostics. Moreover, this formalization leads to a very simple yet provable correct and complete algorithm to check the consistency of a medical knowledge base containing a set of these relationships.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
K.-P. Adlassnig, G. Kolarz, G. Scheithauer, W. Effenberger, and G. Grabner. CADIAG: Approaches to Computer-Assisted Medical Diagnosis. Comp. Biol. Med., 15: 315–335, 1985.
R.A. Bankowitz, M.A. McNeil, S.M. Challinor, R.C Parker, W.N. Kapoor, and R.A. Miller. A Computer-Assisted Medical Diagnostic Consultation Service. Annals of Internal Medicine, 110: 824–832, 1989.
F. Barachini and K.-P. Adlassnig. CONSDED: Medical Knowledge Base Consistency Checking. In Proc. Medical Informatics Europe 87, Rome, 974–980, 1987.
T.H. Cormen, C.E. Leiserson, and R.L. Rivest. Introduction to Algorithms. The MIT Press, Cambridge, Massachusetts, 1990.
W. Moser. Konsistenzprufung einer medizinischen Wissensbasis. Diplomarbeit, Studien-gang Medizinische Informatik, Universität Heidelberg und Fachhochschule Heilbronn, Heilbronn, 1990.
W.V.O. Quine. Methods of Logic. Holt, Rinehart and Wilson, New York, 1964.
W. Spindelberger and G. Grabner. Ein Computer-Verfahren zur diagnostischen Hilfestellung. In K. Fellinger (Hrsg.) Computer in der Medizin — Probleme, Erfahrungen, Projekte. Brüder Hollinek, Wien, 189–221, 1968.
L. Sterling and E. Shapiro. The Art of Prolog. The MIT Press, Cambridge, Massachusetts, 1986.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Moser, W., Adlassnig, KP. (1991). Medical Knowledge Base Consistency Checking and Its Application to Cadiag-1/Bin . In: Adlassnig, KP., Grabner, G., Bengtsson, S., Hansen, R. (eds) Medical Informatics Europe 1991. Lecture Notes in Medical Informatics, vol 45. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-93503-9_61
Download citation
DOI: https://doi.org/10.1007/978-3-642-93503-9_61
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-54392-3
Online ISBN: 978-3-642-93503-9
eBook Packages: Springer Book Archive