A Temporal Model for Clinical and Resource Management in Vascular Surgery

  • Paul Soper
  • Charles Ranaboldo
  • Geetha Abeysinghe


A general formalism for temporal reasoning, the event calculus, is being applied to the development of medical knowledge bases and decision support tools in the domain of vascular surgery. After reviewing our initial feasibility study, the extensions we are undertaking are outlined: to model the patient record system in the event calculus; to devlop the event calculus for modes of temporal reasoning which occur; and to implement a prototype with improved retrieval for treatment planning. The resulting system, because it will provide an interface of sufficient flexibility, has the potential for widespread uptake in hospital practice and as a result may facilitate the collection of high quality clinical data. It is argued that such data is paramount for effective resource management and that therefore installation of the system will be attractive to hospital management as well as clinicians.


Clinical Audit Temporal Reasoning Knowledge Base System Event Calculus Logic Database 
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]
    P. Soper and G. Abeysinghe and C. Ranaboldo, Temporal aspects of a knowledge based system for the management of hospital patients, DEXA 90, Springer-Verlag, 1990, 354–359Google Scholar
  2. [2]
    P.Clifford and M.Chan and D. Hewett, The acute abdomen: management with microcomputer aid, Ann. R. Coll. Surg., 68, 1986, 182–184Google Scholar
  3. [3]
    H. Lundsgaarrde, Evaluating medical expert systems, Soc. Sci. Med., 24, 10, 1987, 805–819CrossRefGoogle Scholar
  4. [4]
    H. Gallaire and J. Minker and ‘J.M. Nicolas, Logic and databases: A deductive approach, Computing Surveys, June, 1984, 153–185Google Scholar
  5. [5]
    R. Snodgrass and I.A. Ahn, A taxonomy of time in databases, Proceedings of ACM SIGMOD International Conference on Data, ACM, Austin, Texas, May, 1985, 236–246Google Scholar
  6. [6]
    R.A. Kowalski and M.J. Sergot, A logic-based calculus of events, New Generation Computing, 4, 1, 1986, 67–95CrossRefGoogle Scholar
  7. [7]
    D. Gabbay, The declarative past and imperative future: executable temporal logic for interactive systems,Temporal Logic Specifications, LNCS 398, Springer-Verlag, 1989, 409448Google Scholar
  8. [8]
    J.F. Allen, Maintaining knowledge about temporal intervals, CACM, 26, 11, 1983, 832–834MATHCrossRefGoogle Scholar
  9. [9]
    F. Sadri, Three recent approaches to temporal reasoning, Department of Computing, Imperial College, DoC 86 /23, 1986Google Scholar
  10. [10]
    S. M. Sripada, A logical framework for temporal deductive databases, Proceedings of VLDB, Morgan Kaufmann, 1988, 171–182Google Scholar
  11. [11]
    K. Eshghi and R.A. Kowalski, Abduction compared with negation by failure, Fifth International Conference on Logic Programming, MIT Press, 1989Google Scholar
  12. [12]
    J. M. Bedford and R.A. Kowalski and B.L. Rosser, Representing change in air traffic flow management using the event calculus, Colloquium on Temporal Reasoning, IEE, London, Digest No. 1990/024, 2/1–3, 1990Google Scholar
  13. [13]
    M. O’Neil and A. Glowinski and J.A. Fox, A symbolic theory of decision-making applied to several medical tasks, Lecture Notes in Medical Informatics, Proceedings of AIME, Springer-Verlag, 1989, 62–71Google Scholar
  14. [14]
    P. Hammond and M. Sergot, APES: augmented prolog for expert systems, Logic Based Systems Ltd, London, 1984Google Scholar
  15. [15]
    A. Glowinski and M. O’Neil and J. Fox, Design of a generic information system and its application to primary care, Lecture Notes in Informatics, AI in Medicine 89, Springer-Verlag, 1989, 221–233Google Scholar

Copyright information

© Springer-Verlag Wien 1991

Authors and Affiliations

  • Paul Soper
    • 1
  • Charles Ranaboldo
    • 2
  • Geetha Abeysinghe
    • 1
  1. 1.Department of Electronics and Computer ScienceUniveristy of SouthamptonUK
  2. 2.Department of Vascular SurgeryRoyal South Hampshire HospitalSouthamptonUK

Personalised recommendations