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


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
Issue number3
Publication statusPublished - Nov 1997


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


Dive into the research topics of 'Formalisation for decision support in anaesthesiology'. Together they form a unique fingerprint.

Cite this