title: The representation of medical reasoning models in resolution-based theorem provers.
abstract: First-order predicate logic essentially is a language to express knowledge concerning objects and relationships between objects in a domain. Many medical problems can be cast naturally in such terms. In this paper the suitability of logic as a knowledge-representation formalism for building medical expert systems is investigated. In particular, we investigate the logical representation of three typical reasoning models in medicine: diagnostic, anatomical and causal reasoning. It turns out that each of these models has its own characteristic logical structure. Furthermore, the pragmatics of using theorem-proving techniques in consulting such logic-based medical expert systems is discussed. In particular, attention is paid to the use of a meta-level architecture to improve the applicability of theorem-proving techniques in building expert systems.
authors.affiliation: Department of Medical Physics and Informatics, University of Amsterdam, The Netherlands.
authors.forename: P
authors.initials: P
authors.lastname: Lucas
mesh_terms: D000715:Anatomy; D001185:Artificial Intelligence; D001794:Blood Pressure / Q000187:drug effects / Q000502:physiology; D003658:Decision Making, Computer-Assisted; D003662:Decision Theory; D003933:Diagnosis; D005103:Expert Systems; D008128:Logic; D008962:Models, Theoretical; D009626:Terminology as Topic