Temporal Aspects of a Knowledge Based System for the Management of Hospital Patients

  • Paul Soper
  • Geetha Abeysinghe
  • Charles Ranaboldo


This paper considers temporal aspects of a knowledge based system which holds information on patients as they progress through their treatment in a vascular surgery department. It is argued that there are advantages to be gained by adopting a general temporal reasoning framework because it can be extended to support various medical and administrative tasks. It is shown how Kowalski and Sergot’s event calculus, a formalisation of time and events in first order logic, can be used to describe a simple model of the clinical pathway. The resulting formalisation can be executed as a logic program. Medical knowledge about investigation and treatment options is added to the model so that the resulting system can recommend the options which are appropriate at any particular time. The additional detail needed to develop a system of realistic scale is outlined in relation to current audit practice.


Clinical Pathway Order Logic Temporal Aspect Occlusive Arterial Disease Event Description 
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. [1]
    Gallaire H, Minker J and Nicolas J M Logic and databases: A deductive approach Computing Surveys, June 1984, pp 153–185Google Scholar
  2. [2]
    Lloyd J W and Topor R W A basis for deductive database systems J. Logic Programming, Vol 2, No. 2, 1985, pp 93–109MathSciNetMATHCrossRefGoogle Scholar
  3. [3]
    Lloyd J W and Topor R W A basis for deductive database systems II J. Logic Programming, Vol 3, No. 1, 1986, pp 55–67MathSciNetMATHCrossRefGoogle Scholar
  4. [4]
    Kowalski R A and Sergot M J A logic-based calculus of events New Generation Computing Vol 4, No. 1, 1986, pp 67–95Google Scholar
  5. [5]
    Snodgrass R and Ahn I A taxonomy of time in databases in Proceedings of ACM SIGMOD International Conference on Data, Ed Navathe S. Association of Computing Machinery, Austin, Texas, May 1985, pp 236–246Google Scholar
  6. [6]
    Snodgrass R and Ahn I Temporal databases IEEE Computer, 19, No. 9, September 1986, pp 35–42Google Scholar
  7. [7]
    Allen J F Maintaining knowledge about temporal intervals CACM, Vol. 26, No. 11, 1983, pp 832–834Google Scholar
  8. [8]
    Lee R M, Coelho H and Cotta J C Temporal inferencing on administrative databases Information Systems, Vol. 10, No. 2, 1985, pp. 197–206Google Scholar
  9. [9]
    Sadri F Three recent approaches to temporal reasoning Department of Computing, Imperial College, DoC 86/23, revised 1986Google Scholar
  10. [10]
    Gabbay D The declarative past and imperative future: executable temporal logic for interactive systems in Baneieqbal B, Barringer H and Pneuli A (eds), Temporal Logic Specifications, LNCS 398, pp 409–448, Springer, 1989Google Scholar
  11. [11]
    O’Neil M, Glowinski A and Fox JA symbolic theory of decisionmaking applied to several medical tasks Imperial Cancer Research Fund, London; to be published in Proceedings of AIME, Lecture Notes in Medical Informatics, Springer-Verlag, 1989Google Scholar
  12. [12]
    Sripada S M A logical framework for temporal deductive databases Proceedings of VLDB, Morgan Kaufmann, 1988, pp 171–182Google Scholar
  13. [13]
    Bedford J M, Kowalski R A and Rosser B L Representing change in air traffic flow management using the event calculus in Colloquium on Temporal Reasoning, IEE, London, Digest No. 1990/24, pp 2/1–3, 1990Google Scholar
  14. [14]
    Kowalski R A and Sadri F Knowledge representation without integrity constraints Department of Computing, Imperial College, December 1988Google Scholar
  15. [15]
    Eshghi K and Kowalski R A Abduction compared with negation by failure Fifth International Conference on Logic Programming, MIT Press, 1989Google Scholar
  16. [16]
    Kowalski R A, Sadri F and Soper P Integrity checking in deductive databases Proceedings of VLDB, Morgan Kaufmann, 1987, pp 61–70Google Scholar
  17. [17]
    Hammond P and Sergot M APES: augmented prolog for expert systems Logic Based Systems Ltd, London, 1984Google Scholar
  18. [18]
    Edinburgh Surgical Audit available from Department of Vascular Surgery, Royal South Hampshire Hospital, SouthamptonGoogle Scholar
  19. [19]
    Kowalski R A Database updates in the event calculus Department of Computing, Imperial College, DoC 86/12 (revised 1989 )Google Scholar

Copyright information

© Springer-Verlag/Wien 1990

Authors and Affiliations

  • Paul Soper
    • 1
  • Geetha Abeysinghe
    • 1
  • Charles Ranaboldo
    • 2
  1. 1.Department of Electronics and Computer ScienceUniversity of SouthamptonUK
  2. 2.Department of Vascular Surgery, Royal South Hampshire HospitalUniversity of SouthamptonUK

Personalised recommendations