Modeling medical reasoning with the Event Calculus: an application to the management of mechanical ventilation

  • Luca Chittaro
  • Marco Del Rosso
  • Michel Dojat
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 934)


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.


Clinical Decision Support System Pressure Support Ventilation Temporal Reasoning Mechanical Assistance Event Calculus 
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. [Br87]
    Brochard L., Pluskwa F., Lemaire F. Improved efficacy of spontaneous breathing with inspiratory pressure support, American Review of Respiratory Disease, vol.136, 411–415, 1987.PubMedGoogle Scholar
  2. [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
  3. [Ch96]
    Chittaro L., Montanari A. Efficient Temporal Reasoning in the Cached Event Calculus, to appear in Computational Intelligence Journal, 1996.Google Scholar
  4. [Co90]
    Cohn A.I., Rosenbaum S., Factor M. and Miller P.L., DYNASCENE: An approach to computer-based intelligent cardiovascular monitoring using sequential clinical “scenes”, Methods of Information in Medicine, vol. 29, 122–131, 1990.PubMedGoogle Scholar
  5. [De91]
    Dechter R., Meiri I. and Judea P. Temporal constraints networks, Artificial Intelligence, vol. 4, 61–95, 1991.CrossRefGoogle Scholar
  6. [Do92]
    Dojat M., Brochard L., Lemaire F. and Harf A. A knowledge-based system for assisted ventilation of patients in intensive care, International Journal of Clinical Monitoring and Computing, vol. 9, 239–250, 1992.PubMedGoogle Scholar
  7. [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
  8. [Fa80]
    Fagan L.M. Representing time dependant relations in a medical setting, Ph.D. thesis, Stanford University, 1980.Google Scholar
  9. [Ha92]
    Hayes-Roth B., et al. Guardian: a prototype intelligent agent for intensive-care monitoring, Artificial Intelligence in Medicine, vol. 4, 165–185, 1992.CrossRefGoogle Scholar
  10. [Ko86]
    Kowalski R.A. and Sergot M.J. A logic-based calculus of events, New generation computing, vol. 4, 67–95, 1986.Google Scholar
  11. [La93]
    Lau F., and Vincent D. D. Formalized decision support for cardiovascular intensive care, Computers and Biomedical Research, vol. 26, 294–309, 1993.PubMedGoogle Scholar
  12. [Ma86]
    MacIntyre N.R. Respiratory function during pressure support ventilation, Chest, vol. 89, 677–683, 1986.PubMedGoogle Scholar
  13. [Ra93]
    Rasmussen J., Diagnostic reasoning in action, IEEE Transactions on Systems, Man and Cybernetics, vol. 23, 981–992, 1993.Google Scholar
  14. [Ru93]
    Rutledge G.W. Thomsen G.E., Farr B.R., Tovar M.A., et al., The design and implementation of a ventilator-management advisor, Artificial Intelligence in Medicine, vol. 5, 67–82, 1993.PubMedGoogle Scholar
  15. [Si88]
    Sittig D.F. A computerized patient advice system to direct ventilatory care, Ph.D. thesis, University of Utah, 1988.Google Scholar
  16. [Sh87]
    Shoham Y. Temporal logic in AI: semantical and onthological considerations, Artificial Intelligence, vol. 33, 89–104, 1987.CrossRefGoogle Scholar
  17. [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
  18. [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
  19. [To91]
    Tong, D.A. Weaning patients from mechanical ventilation. A knowledge-based approach. Computer methods and programs in biomedicine, 35, 2677–278, 1991.CrossRefGoogle Scholar
  20. [Uc93]
    Uckun S. Intelligent systems in patient monitoring and therapy management, Technical Report KSL 93-32, Stanford University, 1993.Google Scholar
  21. [Va92]
    Van Beek P. Reasoning about qualitative temporal information, Artificial Intelligence, vol. 58, 297–326, 1992.CrossRefGoogle Scholar
  22. [Va91]
    Van de Graaff W.B., et al. Pressure support. Changes in ventilatory pattern and components of the work of breathing, Chest, vol. 100, 1082–89, 1991.PubMedGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1995

Authors and Affiliations

  • Luca Chittaro
    • 1
  • Marco Del Rosso
    • 1
  • Michel Dojat
    • 2
  1. 1.Dipartimento di Matematica ed InformaticaUniversità di UdineUdineItaly
  2. 2.Faculté de MédecineINSERM U.296Créteil CedexFrance

Personalised recommendations