Formalisation for decision support in anaesthesiology

G R Renardel de Lavalette, R. Groenboom, E Rotterdam, F van Harmelen, A ten Teije, F. de Geus

Research output: Contribution to JournalArticleAcademicpeer-review

Abstract

This paper reports on research for decision support for anaesthesiologists at the University Hospital in Groningen, the Netherlands. Based on CAROLA, an existing automated operation documentation system, we designed a support environment that will assist in real-time diagnosis. The core of the work presented here consists of a knowledge base (containing anaesthesiological knowledge) and a diagnosis system. The knowledge base is specified in the logic-based formal specification language AFSL. This leads to a powerful and precise treatment of knowledge structuring and data abstraction.

Original languageEnglish
Pages (from-to)189-214
Number of pages26
JournalArtificial Intelligence in Medicine
Volume11
Issue number3
DOIs
Publication statusPublished - Nov 1997

    Fingerprint

Keywords

  • Anesthesiology
  • Artificial Intelligence
  • Body Surface Area
  • Body Temperature
  • Decision Support Techniques
  • Hematocrit
  • Humans
  • Models, Theoretical
  • Journal Article

Cite this