Logic engineering and clinical dilemmas
There are many challenges to designers wishing to build computer systems to help doctors in their everyday decision making. Systems must be flexible, easy to maintain, robust, sound and safe. It is not easy to meet all these requirements simultaneously. General medical practice exemplifies these problems in quite an extreme form; we discuss how the use of logic programming techniques has facilitated the design and implementation of decision support systems for this medical setting. Although classical logic provides a strong formal foundation for the work, practical decision making requires significant extensions. Principled extensions for constructing arguments under uncertainty, and for framing and taking decisions, are outlined.
KeywordsDecision Support System Decision Procedure Deductive Database Decision Option Logic Engineering
Unable to display preview. Download preview PDF.
- Fox J, Clarke M “Towards a formalisation of arguments in decision making” Proc. Stanford Spring Symposium on Argumentation and Belief, Stanford: AAAI, 1990.Google Scholar
- Fox J, Glowinski A J, Gordon C and O'Neil M “Logic engineering for knowledge engineering: the Oxford System of Medicine” Artificial Intelligence in Medicine, 2, 323–339, 1990.Google Scholar
- Fox J, Krause P and Ambler S“Arguments, contradictions and practical reasoning” Proc. European Conference on Artificial Intelligence, 1992.Google Scholar
- Glowinski A J, Coicra E and O'Neil M “The role of domain models in maintaining consistency of large medical knowledge bases, Lecture notes in Medical Informatics 44, Berlin Springer, 1991Google Scholar
- Haack S Philosophy of Logics, Cambridge: Cambridge University Press, 1978Google Scholar
- Krause, P Ambler S and Fox “The development of a logic of argumentation” Proceedings of IPMU '92, Majorca, 1992.Google Scholar
- Lindley D V Making decisions (2nd edition) Wiley, 1985.Google Scholar
- O'Neil M and Glowinski A J “Evaluating and validating very large knowledge based systems” Medical Informatics, 1990.Google Scholar
- Parsons S and Fox J “Qualitative and interval algebras for robust decision making under uncertainty” in M G Singh and L Trave-Massuyes (ed) Decision support systems and qualitative reasoning. North Holland, 1991.Google Scholar
- Wyatt J and Spiegelhaoter D J “Evaluating medical decisions aids: what to test and how” in J Talmon and J Fox (eds) Knowledge engineering in medicine: Methods, applications and evaluation, Heidelberg: Springer, 1992.Google Scholar