A Temporal Model for Clinical and Resource Management in Vascular Surgery
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.
KeywordsClinical Audit Temporal Reasoning Knowledge Base System Event Calculus Logic Database
Unable to display preview. Download preview PDF.
- 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
- P.Clifford and M.Chan and D. Hewett, The acute abdomen: management with microcomputer aid, Ann. R. Coll. Surg., 68, 1986, 182–184Google Scholar
- H. Gallaire and J. Minker and ‘J.M. Nicolas, Logic and databases: A deductive approach, Computing Surveys, June, 1984, 153–185Google Scholar
- 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
- D. Gabbay, The declarative past and imperative future: executable temporal logic for interactive systems,Temporal Logic Specifications, LNCS 398, Springer-Verlag, 1989, 409448Google Scholar
- F. Sadri, Three recent approaches to temporal reasoning, Department of Computing, Imperial College, DoC 86 /23, 1986Google Scholar
- S. M. Sripada, A logical framework for temporal deductive databases, Proceedings of VLDB, Morgan Kaufmann, 1988, 171–182Google Scholar
- K. Eshghi and R.A. Kowalski, Abduction compared with negation by failure, Fifth International Conference on Logic Programming, MIT Press, 1989Google Scholar
- 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
- 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
- P. Hammond and M. Sergot, APES: augmented prolog for expert systems, Logic Based Systems Ltd, London, 1984Google Scholar
- 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