Modeling medical reasoning with the Event Calculus: an application to the management of mechanical ventilation
Explicit representation of time and change is an essential feature for building systems that are supposed to interact with real-world dynamic environments. In this paper, we propose to use the Cached Event Calculus (CEC), an improved version of the Event Calculus [Ko86], to represent temporal aspects in intelligent medical monitoring systems. In particular, we explore the application of CEC to the management of mechanical ventilation, using it to interpret change in data over time, assess patient status and its evolution, and choose the proper level of mechanical assistance.
KeywordsClinical Decision Support System Pressure Support Ventilation Temporal Reasoning Mechanical Assistance Event Calculus
Unable to display preview. Download preview PDF.
- [Ch94]Chittaro L., Montanari A., Provetti A. Skeptical and Credulous Event Calculi for Supporting Modal Queries, Proc. ECAI '94: 11th European Conference on Artificial Intelligence, Amsterdam, The Netherlands, John Wiley and Sons, 361–365, 1994.Google Scholar
- [Ch96]Chittaro L., Montanari A. Efficient Temporal Reasoning in the Cached Event Calculus, to appear in Computational Intelligence Journal, 1996.Google Scholar
- [Do95]Dojat M. and Sayettat C. A realistic model for temporal reasoning in real-time patient monitoring, to appear in Applied Artificial Intelligence Journal, 1995.Google Scholar
- [Fa80]Fagan L.M. Representing time dependant relations in a medical setting, Ph.D. thesis, Stanford University, 1980.Google Scholar
- [Ko86]Kowalski R.A. and Sergot M.J. A logic-based calculus of events, New generation computing, vol. 4, 67–95, 1986.Google Scholar
- [Ra93]Rasmussen J., Diagnostic reasoning in action, IEEE Transactions on Systems, Man and Cybernetics, vol. 23, 981–992, 1993.Google Scholar
- [Si88]Sittig D.F. A computerized patient advice system to direct ventilatory care, Ph.D. thesis, University of Utah, 1988.Google Scholar
- [Sh90]Shortliffe, E.H. Clinical decision support systems in medical informatics, in Computer applications in health care, eds. E. H. Shortliffe and A. Perrault, Reading: Addison Wesley, 466–501, 1990.Google Scholar
- [St92]Stefanelli M., Lanzola G., and Ramoni M. Knowledge acquisition based on an epistemological model of medical reasoning, Proc. IEEE-EMBS, vol 3, Paris, 880–882, 1992.Google Scholar
- [Uc93]Uckun S. Intelligent systems in patient monitoring and therapy management, Technical Report KSL 93-32, Stanford University, 1993.Google Scholar