Event calculus to support temporal reasoning in a clinical domain
Event calculus to support temporal reasoning in a clinical domain
This work concerns temporal aspects of a knowledge based system which holds information on patients as they progress through their treatment in a vascular surgery department.
Representing and using knowledge about temporal relationships so as to provide decision support to a historical knowledge base of patient data is investigated. Event Calculus, in first order classical logic augmented with negation by failure, provides an effective framework for reasoning about time. From Kowalski and Sergot's original Event Calculus we arrive at a simple and flexible framework which can be used as a temporal support in a medical knowledge based system.
We show how Event Calculus can be used to describe a simple model of the clinical pathway in vascular surgery. Patient information in the medical record is formalised in a structural framework to suit the Event Calculus. 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. It is shown how these recommendations provide decision support by recommending what should be done next, and when to re-evaluate measurements that become unreliable.
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. The extensions available to the Event Calculus, further its suitability as a temporal reasoning framework in the medical domain.
A prototype system, essentially a research workbench over a realistic domain, is built using Prolog to illustrate the temporal reasoning capabilities provided by the Event Calculus framework. Using case studies it is demonstrated how the prototype system fulfils the decision support abilities we aimed to achieve in the knowledge base.
University of Southampton
Abeysinghe, Geetha Kalyani
48cb2152-42ce-4876-ab36-f1cbda96acc7
1993
Abeysinghe, Geetha Kalyani
48cb2152-42ce-4876-ab36-f1cbda96acc7
Abeysinghe, Geetha Kalyani
(1993)
Event calculus to support temporal reasoning in a clinical domain.
University of Southampton, Doctoral Thesis.
Record type:
Thesis
(Doctoral)
Abstract
This work concerns temporal aspects of a knowledge based system which holds information on patients as they progress through their treatment in a vascular surgery department.
Representing and using knowledge about temporal relationships so as to provide decision support to a historical knowledge base of patient data is investigated. Event Calculus, in first order classical logic augmented with negation by failure, provides an effective framework for reasoning about time. From Kowalski and Sergot's original Event Calculus we arrive at a simple and flexible framework which can be used as a temporal support in a medical knowledge based system.
We show how Event Calculus can be used to describe a simple model of the clinical pathway in vascular surgery. Patient information in the medical record is formalised in a structural framework to suit the Event Calculus. 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. It is shown how these recommendations provide decision support by recommending what should be done next, and when to re-evaluate measurements that become unreliable.
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. The extensions available to the Event Calculus, further its suitability as a temporal reasoning framework in the medical domain.
A prototype system, essentially a research workbench over a realistic domain, is built using Prolog to illustrate the temporal reasoning capabilities provided by the Event Calculus framework. Using case studies it is demonstrated how the prototype system fulfils the decision support abilities we aimed to achieve in the knowledge base.
Text
446114.pdf
- Version of Record
More information
Published date: 1993
Identifiers
Local EPrints ID: 462657
URI: http://eprints.soton.ac.uk/id/eprint/462657
PURE UUID: d36c6d93-73a3-4425-b629-ce3ce09aa45c
Catalogue record
Date deposited: 04 Jul 2022 19:36
Last modified: 16 Mar 2024 18:57
Export record
Contributors
Author:
Geetha Kalyani Abeysinghe
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.
View more statistics