Logic engineering and clinical dilemmas

  • John Fox
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 636)


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.


Decision Support System Decision Procedure Deductive Database Decision Option Logic Engineering 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 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
  2. 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
  3. Fox J, Krause P and Ambler S“Arguments, contradictions and practical reasoning” Proc. European Conference on Artificial Intelligence, 1992.Google Scholar
  4. 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
  5. Haack S Philosophy of Logics, Cambridge: Cambridge University Press, 1978Google Scholar
  6. Krause, P Ambler S and Fox “The development of a logic of argumentation” Proceedings of IPMU '92, Majorca, 1992.Google Scholar
  7. Lindley D V Making decisions (2nd edition) Wiley, 1985.Google Scholar
  8. O'Neil M and Glowinski A J “Evaluating and validating very large knowledge based systems” Medical Informatics, 1990.Google Scholar
  9. 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
  10. 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

Copyright information

© Springer-Verlag Berlin Heidelberg 1992

Authors and Affiliations

  • John Fox
    • 1
  1. 1.Advanced Computation LaboratoryImperial Cancer Research FundLondon

Personalised recommendations