{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,5]],"date-time":"2026-01-05T18:29:52Z","timestamp":1767637792658,"version":"3.48.0"},"reference-count":106,"publisher":"Maximum Academic Press","issue":"2","license":[{"start":{"date-parts":[[2009,7,7]],"date-time":"2009-07-07T00:00:00Z","timestamp":1246924800000},"content-version":"unspecified","delay-in-days":5150,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["The Knowledge Engineering Review"],"published-print":{"date-parts":[[1995,6]]},"abstract":"<jats:title>Abstract<\/jats:title>\n                  <jats:p>The safety-critical nature of the application of knowledge-based systems to the field of medicine requires the adoption of reliable engineering principles with a solid foundation for their construction. Logical languages with their inherent, precise notions of consistency, soundness and completeness provide such a foundation, thus promoting scrupulous engineering of medical knowledge. Moreover, logic techniques provide a powerful means for getting insight into the structure and meaning of medical knowledge used in medical problem solving. Unfortunately, logic is currently only used on a small scale for building practical medical knowledge-based systems. In this paper, the various approaches proposed in the literature are reviewed, and related to the various types of knowledge and problem solving employed in the medical field. The appropriateness of logic for building medical knowledge-based expert systems is further motivated.<\/jats:p>","DOI":"10.1017\/s0269888900008134","type":"journal-article","created":{"date-parts":[[2009,7,7]],"date-time":"2009-07-07T09:34:37Z","timestamp":1246959277000},"page":"153-179","source":"Crossref","is-referenced-by-count":16,"title":["Logic engineering in medicine"],"prefix":"10.48130","volume":"10","author":[{"given":"Peter J. F.","family":"Lucas","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"27968","published-online":{"date-parts":[[2009,7,7]]},"reference":[{"key":"S0269888900008134_ref061","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(86)90073-1"},{"volume-title":"Non-monotonic Reasoning: Formalization of Commonsense Reasoning","year":"1990","author":"\u0141ukaszewicz","key":"S0269888900008134_ref065"},{"key":"S0269888900008134_ref052","doi-asserted-by":"publisher","DOI":"10.1109\/MEX.1987.5006538"},{"key":"S0269888900008134_ref095","doi-asserted-by":"publisher","DOI":"10.1007\/BF00297245"},{"key":"S0269888900008134_ref015","doi-asserted-by":"publisher","DOI":"10.1017\/S0269888900006159"},{"key":"S0269888900008134_ref094","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0022681"},{"key":"S0269888900008134_ref087","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-93503-9_1"},{"volume-title":"Artificial Intelligence in Medicine 21\u201355","year":"1982","author":"Kulikowski","key":"S0269888900008134_ref063"},{"key":"S0269888900008134_ref088","doi-asserted-by":"publisher","DOI":"10.1016\/0025-5564(75)90047-4"},{"volume-title":"Logics for Artificial Intelligence","year":"1984","author":"Turner","key":"S0269888900008134_ref100"},{"key":"S0269888900008134_ref050","unstructured":"Jaspers RBM , 1990. Medical Decision Support: an Approach in the Domain of Brachial Plexus Injuries PhD thesis, Delft University of Technology."},{"key":"S0269888900008134_ref025","first-page":"1075","article-title":"Subjective Bayesian methods for rule-based inference systems","volume":"45","author":"Duda","year":"1976","journal-title":"AFIPS Conference Proceedings of the 1976 National Computer Conference"},{"volume-title":"Meta-level Inference Systems","year":"1991","author":"Van Harmelen","key":"S0269888900008134_ref040"},{"key":"S0269888900008134_ref077","first-page":"191","volume-title":"Artificial Intelligence in Medicine","author":"Patil","year":"1992"},{"key":"S0269888900008134_ref011","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(85)90016-5"},{"key":"S0269888900008134_ref005","first-page":"151","volume-title":"Proceedings 9th International Conference on Automated Deduction","author":"Bezem","year":"1986"},{"volume-title":"Non-Standard Logics for Automated Reasoning","year":"1988","author":"Smets","key":"S0269888900008134_ref089"},{"key":"S0269888900008134_ref099","doi-asserted-by":"publisher","DOI":"10.1080\/09528139108915285"},{"key":"S0269888900008134_ref054","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(92)90027-U"},{"key":"S0269888900008134_ref032","doi-asserted-by":"crossref","unstructured":"Futatsugi K , Goguen JA , Jouannaud JP and Meseguer J , 1985. \u201cPrinciples of OBJ2\u201d In: Proceedings of the Symposium on Principles of Programming Languages 52\u201366, ACM.","DOI":"10.1145\/318593.318610"},{"volume-title":"The Art of Prolog","year":"1986","author":"Sterling","key":"S0269888900008134_ref093"},{"key":"S0269888900008134_ref019","doi-asserted-by":"publisher","DOI":"10.1111\/j.1467-8640.1991.tb00388.x"},{"key":"S0269888900008134_ref034","first-page":"198","volume-title":"AIME91: Lecture Notes in Medical Informatics","author":"De Geus","year":"1991"},{"key":"S0269888900008134_ref008","first-page":"25","volume-title":"Knowledge Representation","author":"Bylander","year":"1992"},{"key":"S0269888900008134_ref046","first-page":"114","article-title":"A temporal extension of Prolog","volume":"16","author":"Hrycej","year":"1993","journal-title":"J. Logic Programming"},{"volume-title":"Meta-level Architectures and Reflection","year":"1988","author":"Maes","key":"S0269888900008134_ref069"},{"key":"S0269888900008134_ref081","unstructured":"Pople HE , 1977. \u201cThe formation of composite hypotheses in diagnostic problem solving: an exercise in synthetic reasoning\u201d In: Proceedings 5th International Joint Conference on Artificial Intelligence."},{"key":"S0269888900008134_ref029","doi-asserted-by":"publisher","DOI":"10.1016\/0933-3657(93)90015-U"},{"volume-title":"Control Theory and Biological Systems","year":"1963","author":"Grodins","key":"S0269888900008134_ref035"},{"volume-title":"Logical Foundations of Artificial Intelligence","year":"1987","author":"Genesereth","key":"S0269888900008134_ref033"},{"key":"S0269888900008134_ref047","doi-asserted-by":"publisher","DOI":"10.1016\/0933-3657(93)90034-Z"},{"volume-title":"Automated Reasoning: 33 Basic Research Problems","year":"1988","author":"Wos","key":"S0269888900008134_ref103"},{"key":"S0269888900008134_ref028","doi-asserted-by":"publisher","DOI":"10.1016\/0010-4809(82)90015-5"},{"volume-title":"Automated Reasoning: Introduction andApplications","year":"1992","author":"Wos","key":"S0269888900008134_ref102"},{"volume-title":"The Mathematics of Inheritance Systems","year":"1986","author":"Touretzky","key":"S0269888900008134_ref098"},{"key":"S0269888900008134_ref018","unstructured":"Console L and Torasso P , 1990b. \u201cIntegrating models of correct behaviour into abductive diagnosis\u201d In: Proceedings of ECAI'90 160\u2013166."},{"key":"S0269888900008134_ref068","doi-asserted-by":"publisher","DOI":"10.1016\/0933-3657(93)90033-Y"},{"key":"S0269888900008134_ref064","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-83189-8"},{"key":"S0269888900008134_ref096","doi-asserted-by":"publisher","DOI":"10.3109\/14639239409025328"},{"key":"S0269888900008134_ref072","doi-asserted-by":"publisher","DOI":"10.1056\/NEJM198208193070803"},{"key":"S0269888900008134_ref031","doi-asserted-by":"publisher","DOI":"10.1016\/0933-3657(90)90007-E"},{"volume-title":"Logic for Problem Solving","year":"1979","author":"Kowalski","key":"S0269888900008134_ref056"},{"key":"S0269888900008134_ref001","doi-asserted-by":"publisher","DOI":"10.1016\/0010-4825(85)90014-9"},{"key":"S0269888900008134_ref104","unstructured":"Wrobel S , 1990. Application of MOBAL to the Medical Domains of ICS\/FORTH. Technical Note, GMD, P2154\/31\/l\/"},{"key":"S0269888900008134_ref002","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(93)90043-G"},{"key":"S0269888900008134_ref003","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(86)90013-0"},{"key":"S0269888900008134_ref016","unstructured":"Console L , Dupr\u00e9 DT and Torasso P , 1989. \u201cA theory of diagnosis for incomplete causal models\u201d In: Proceedings 10th International Joint Conference on Artificial Intelligence 1311\u20131317."},{"volume-title":"KARDIO: A Study in Deep and Qualitative Knowledge for Expert Systems","year":"1989","author":"Bratko","key":"S0269888900008134_ref006"},{"volume-title":"Rule-based Expert Systems: the MYCIN Experiments of the Stanford Heuristic Programming Project","year":"1984","author":"Buchanan","key":"S0269888900008134_ref007"},{"volume-title":"Symbolic Logic and Mechanical Theorem Proving","year":"1973","author":"Chang","key":"S0269888900008134_ref009"},{"key":"S0269888900008134_ref012","first-page":"57","volume-title":"Contemporary Issues in Decision Making","author":"Clark","year":"1990"},{"key":"S0269888900008134_ref045","doi-asserted-by":"publisher","DOI":"10.7326\/0003-4819-103-6-928"},{"volume-title":"Heuristic Reasoning about Uncertainty: An Artificial Intelligence Approach","year":"1985","author":"Cohen","key":"S0269888900008134_ref013"},{"key":"S0269888900008134_ref014","doi-asserted-by":"publisher","DOI":"10.1016\/0933-3657(90)90044-R"},{"key":"S0269888900008134_ref017","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1002\/int.1990.5.1.83","article-title":"Hypothetical reasoning in causal models","volume":"5","author":"Console","year":"1990","journal-title":"International Journal of Intelligent Systems"},{"key":"S0269888900008134_ref020","doi-asserted-by":"publisher","DOI":"10.1016\/0933-3657(91)90002-S"},{"volume-title":"Proceedings 8th International Joint Conference on Artificial Intelligence 190\u2013193","year":"1983","author":"Kim","key":"S0269888900008134_ref053"},{"key":"S0269888900008134_ref021","unstructured":"Das SK , Clarke M and Fox J , 1993. \u201cA logic for reasoning about safety in decision support systems\u201d In: 2nd European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty Granada."},{"volume-title":"Logic Programming and Database Processing","year":"1990","author":"Van","key":"S0269888900008134_ref022"},{"volume-title":"Proceedings of the International Conference in Fifth Generation Computer Systems","year":"1988","author":"Dicbas","key":"S0269888900008134_ref023"},{"key":"S0269888900008134_ref024","doi-asserted-by":"publisher","DOI":"10.1136\/bmj.302.6791.1495"},{"key":"S0269888900008134_ref027","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-61284-8"},{"key":"S0269888900008134_ref030","doi-asserted-by":"publisher","DOI":"10.1109\/21.52546"},{"key":"S0269888900008134_ref067","doi-asserted-by":"publisher","DOI":"10.3109\/14639239109025300"},{"volume-title":"Logic in Medicine","year":"1988","author":"Macartney","key":"S0269888900008134_ref070"},{"key":"S0269888900008134_ref037","doi-asserted-by":"crossref","first-page":"371","DOI":"10.1055\/s-0038-1635046","article-title":"Safety and decision support in oncology","volume":"33","author":"Hammond","year":"1994","journal-title":"Meth. Inf Med."},{"key":"S0269888900008134_ref038","unstructured":"Hammond P , and Davenport JC , 1995. \u201cEliciting and modelling the design knowledge of multiple experts\u201d submitted for publication."},{"key":"S0269888900008134_ref041","doi-asserted-by":"publisher","DOI":"10.1016\/1042-8143(92)90017-U"},{"volume-title":"The G\u00f6del Programming Language","year":"1994","author":"Hill","key":"S0269888900008134_ref042"},{"volume-title":"Frame Conception and Text Understanding 46\u201361","year":"1979","author":"Hayes","key":"S0269888900008134_ref043"},{"key":"S0269888900008134_ref044","doi-asserted-by":"publisher","DOI":"10.1017\/S0269888900005798"},{"key":"S0269888900008134_ref048","doi-asserted-by":"crossref","unstructured":"Jaffar J and Lassez J-L , 1987. \u201cConstraint Logic Programming\u201d In: Proceedings of the 14th POPL 111\u2013119.","DOI":"10.1145\/41625.41635"},{"key":"S0269888900008134_ref049","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(94)90033-7"},{"key":"S0269888900008134_ref051","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511530128"},{"volume-title":"Proceedings Workshop on Principles of Knowledge Representation and Reasoning","year":"1992","author":"Konolige","key":"S0269888900008134_ref055"},{"key":"S0269888900008134_ref057","doi-asserted-by":"publisher","DOI":"10.1007\/BF03037383"},{"key":"S0269888900008134_ref058","first-page":"1","volume-title":"Computational Logic","author":"Kowaiski","year":"1990"},{"key":"S0269888900008134_ref106","doi-asserted-by":"publisher","DOI":"10.3109\/14639239009025268"},{"key":"S0269888900008134_ref059","doi-asserted-by":"publisher","DOI":"10.1080\/08839519308949987"},{"key":"S0269888900008134_ref083","doi-asserted-by":"crossref","unstructured":"Reggia J , 1978. \u201cA production system for neurological localization\u201d In: Proceedings 2nd Annual Symposium on Computer Applications in Medical Care 254\u2013260.","DOI":"10.1109\/SCAMC.1978.679927"},{"key":"S0269888900008134_ref074","first-page":"434","volume-title":"Artificial Intelligence in Medicine","author":"Morik","year":"1993"},{"volume-title":"Qualitative Reasoning","year":"1994","author":"Kuipers","key":"S0269888900008134_ref062"},{"volume-title":"Principles of Expert Systems","year":"1991","author":"Lucas","key":"S0269888900008134_ref066"},{"key":"S0269888900008134_ref026","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-69962-7"},{"volume-title":"Logic and Objects","year":"1992","author":"McCabe","key":"S0269888900008134_ref071"},{"volume-title":"OTTER 2.0 Users' Guide","year":"1990","author":"McCune","key":"S0269888900008134_ref073"},{"key":"S0269888900008134_ref075","doi-asserted-by":"publisher","DOI":"10.1016\/0933-3657(92)90022-H"},{"key":"S0269888900008134_ref076","first-page":"3","volume-title":"Inductive Logic Programming","author":"Muggleton","year":"1992"},{"volume-title":"Probabilistic Reasoning in Intelligent Systems","year":"1988","author":"Pearl","key":"S0269888900008134_ref078"},{"key":"S0269888900008134_ref079","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-8682-5"},{"key":"S0269888900008134_ref080","unstructured":"Pople HE , 1973. \u201cOn the mechanization of abductive logic\u201d In: Proceedings 3rd International Joint Conference on Artificial Intelligence."},{"key":"S0269888900008134_ref082","first-page":"119","volume-title":"Artificial Intelligence in Medicine","author":"Pople","year":"1982"},{"key":"S0269888900008134_ref036","doi-asserted-by":"publisher","DOI":"10.1016\/0933-3657(93)90035-2"},{"volume-title":"Logic and Databases","year":"1978","author":"Reiter","key":"S0269888900008134_ref084"},{"key":"S0269888900008134_ref085","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(87)90062-2"},{"key":"S0269888900008134_ref086","doi-asserted-by":"publisher","DOI":"10.1287\/opre.34.6.871"},{"volume-title":"MOBAL 3.0 User Guide","year":"1994","author":"Sommer","key":"S0269888900008134_ref090"},{"volume-title":"The Z Notation: A Reference Manual","year":"1989","author":"Spivey","key":"S0269888900008134_ref092"},{"volume-title":"Diagnostic Problem Solving: Combining Heuristic, Approximate and Causal Reasoning","year":"1989","author":"Torasso","key":"S0269888900008134_ref097"},{"key":"S0269888900008134_ref101","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(80)90015-6"},{"key":"S0269888900008134_ref060","doi-asserted-by":"publisher","DOI":"10.1111\/j.1467-8640.1995.tb00025.x"},{"key":"S0269888900008134_ref105","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1016\/0169-2607(91)90002-B","article-title":"A problem decomposition method for efficient diagnosis and interpretation of multiple disorders","volume":"35","author":"TD","year":"1991","journal-title":"Computer Methods and Programs in Biomedicine"},{"volume-title":"Introduction to Artificial Intelligence","year":"1985","author":"Charniak","key":"S0269888900008134_ref010"},{"key":"S0269888900008134_ref004","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-05689-9"},{"key":"S0269888900008134_ref091","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-7091-7555-2_93"},{"key":"S0269888900008134_ref039","doi-asserted-by":"crossref","unstructured":"Hammond P and Sergot M , 1995. \u201cComputer support for protocol-based treatment of cancer\u201d J. Logic Programming, to appear.","DOI":"10.1016\/0743-1066(95)00094-1"}],"container-title":["The Knowledge Engineering Review"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0269888900008134","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,1,5]],"date-time":"2026-01-05T14:42:43Z","timestamp":1767624163000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0269888900008134\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,6]]},"references-count":106,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1995,6]]}},"alternative-id":["S0269888900008134"],"URL":"https:\/\/doi.org\/10.1017\/s0269888900008134","relation":{},"ISSN":["0269-8889","1469-8005"],"issn-type":[{"type":"print","value":"0269-8889"},{"type":"electronic","value":"1469-8005"}],"subject":[],"published":{"date-parts":[[1995,6]]}}}