Using a general theory of time and change in patient monitoring: Experiment and evaluation

In this paper, we propose to use one of the well-known general theories of time and change, namely the Event Calculus (Kowalski and Sergot, New Generation Computing 4, 67-95, 1986), to represent temporal aspects in intelligent medical monitoring systems. In particular, we explore the application of CEC (Chittaro and Montanari, Computational Intelligence 12, 359-382, 1996) (an efficient implementation of the Event Calculus) to the management of mechanical ventilation. First, we present the prototype we have built, which has been extensively tested on patient's data from real clinical cases. Then, we provide a thorough evaluation of the obtained results, pointing out both strengths and weaknesses of the approach, and identifying a number of extensions which can be extremely useful to scale up the medical application of the approach.

[1]  Luca Chittaro,et al.  Maximizing Temporal Reasoning Performance of the Event Calculus with Mutually-Exclusive-Valued Single-Argument Properties , 1996 .

[2]  Angelo Montanari,et al.  Skeptical and Credulous Event Calculi for Supporting Modal Queries , 1994, ECAI.

[3]  S Uckun,et al.  Intelligent systems in patient monitoring and therapy management. A survey of research projects. , 1994, International journal of clinical monitoring and computing.

[4]  Angelo Montanari,et al.  EFFICIENT TEMPORAL REASONING IN THE CACHED EVENT CALCULUS , 1996, Comput. Intell..

[5]  Cristiana Larizza,et al.  A General Framework for Building Patient Monitoring Systems , 1995, AIME.

[6]  Yuval Shahar,et al.  A knowledge-based method for temporal abstraction of clinical data , 1995 .

[7]  Suryanarayana M. Sripada,et al.  Efficient Implementation of the Event Calculus for Temporal Database Applications , 1995, ICLP.

[8]  Silvia Miksch,et al.  Therapy Planning Using Qualtitative Trend Descriptions , 1995, AIME.

[9]  Leon Sterling.  A Modal Calculus of Partially Ordered Events in a Logic Programming Framework , 1995 .

[10]  Yuval Shahar,et al.  The context-sensitive pattern-matching task , 1995 .

[11]  D A Tong,et al.  Weaning patients from mechanical ventilation. A knowledge-based system approach. , 1990, Computer methods and programs in biomedicine.

[12]  E. Shortliffe.  Clinical decision-support systems , 1990 .

[13]  Chris Evans.  The macro-event calculus: representing temporal granularity , 1990 .

[14]  Michel Dojat,et al.  Three Compatible Mechanisms for Representing Medical Context Implicitly , 1995 .

[15]  F Lau,et al.  Formalized decision-support for cardiovascular intensive care. , 1992, Proceedings. Symposium on Computer Applications in Medical Care.

[16]  Angelo Montanari,et al.  An Integrated Framework For TemporalAggregation And Omission In The Event Calculus , 1970 .

[17]  N. MacIntyre,et al.  Respiratory function during pressure support ventilation. , 1986, Chest.

[18]  G. Rzevski,et al.  Applications of artificial intelligence in engineering X , 1995 .

[19]  Ángel Viña,et al.  Guardian: A Prototype Intelligent Agent for Intensive-Care Monitoring , 1994, AAAI.

[20]  P L Miller,et al.  DYNASCENE: an approach to computer-based intelligent cardiovascular monitoring using sequential clinical "scenes". , 1990, Methods of information in medicine.

[21]  Elpida T. Keravnou,et al.  Temporal diagnostic reasoning based on time-objects , 1996, Artif. Intell. Medicine.

[22]  K Fitzpatrick,et al.  Computer applications in health care. , 1993, Physician assistant.

[23]  M Dojat,et al.  Evaluation of a knowledge-based system providing ventilatory management and decision for extubation. , 1996, American journal of respiratory and critical care medicine.

[24]  Robert A. Kowalski,et al.  The Situation Calculus and Event Calculus Compared , 1994, ILPS.

[25]  Yoav Shoham,et al.  Temporal Logics in AI: Semantical and Ontological Considerations , 1987, Artif. Intell..

[26]  Lindell K. Weaver,et al.  Principles and Practice of Mechanical Ventilation , 1994 .

[27]  Giordano Lanzola,et al.  Knowledge acquisition based on an epistemological model of medical reasoning , 1992, 1992 14th Annual International Conference of the IEEE Engineering in Medicine and Biology Society.

[28]  Robert A. Kowalski,et al.  Variants of the Event Calculus , 1995, ICLP.

[29]  Christian S. Jensen,et al.  Temporal Specialization and Generalization , 1994, IEEE Trans. Knowl. Data Eng..

[30]  Richard T. Snodgrass,et al.  The TSQL2 Temporal Query Language , 1995 .

[31]  M Dojat,et al.  Effective domain-dependent reuse in medical knowledge bases. , 1995, Computers and biomedical research, an international journal.

[32]  D. F. Sitting,et al.  Compas: A computerized patient advice system to direct ventilatory care , 1988 .

[33]  Lawrence M. Fagan.  VM, representing time-dependent relations in a medical setting , 1980 .

[34]  Paul R. Cohen,et al.  A declarative representation of control knowledge , 1989, IEEE Trans. Syst. Man Cybern..

[35]  Jeanette X. Polaschek,et al.  The design and implementation of a ventilator-management advisor , 1993, Artif. Intell. Medicine.

[36]  H Gill,et al.  Adding decision support to a clinical information system. , 1994, Technology and health care : official journal of the European Society for Engineering and Medicine.

[37]  M. Tobin.  Principles and Practice of Mechanical Ventilation , 1994 .

[38]  M. Mathru,et al.  Pressure support. Changes in ventilatory pattern and components of the work of breathing. , 1991, Chest.

[39]  Danny De Schreye,et al.  Combining Situation Calculus and Event Calculus , 1995, ICLP.

[40]  Henk B. Verbruggen,et al.  Artificial Intelligence in Real-Time Control , 1992 .

[41]  Angelo Montanari,et al.  Dealing with Time Granularity in the Event Calculus , 1992, FGCS.

[42]  Michel Dojat,et al.  Realistic Model for Temporal Reasoning in Real-Time Patient Monitoring , 1996, Appl. Artif. Intell..

[43]  Laurent Brochard,et al.  Pressure support ventilation , 1991 .

[44]  P. Tang,et al.  Medical Informatics: Computer Applications in Health Care and Biomedicine , 2002 .

[45]  F Pinciroli,et al.  Managing Different Time Granularities of Clinical Information by an Interval-based Temporal Data Model , 1995, Methods of Information in Medicine.

[46]  M Dojat,et al.  A knowledge-based system for assisted ventilation of patients in intensive care units , 1992, International journal of clinical monitoring and computing.

[47]  William J. Clancey,et al.  Heuristic Classification , 1986, Artif. Intell..

[48]  Donald Michie,et al.  Machine Intelligence 4 , 1970 .