Formalisation for decision support in anaesthesiology

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

doi:10.1016/S0933-3657(97)00031-6

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 Journal › Article › Academic › peer-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 language	English
Pages (from-to)	189-214
Number of pages	26
Journal	Artificial Intelligence in Medicine
Volume	11
Issue number	3
DOIs	https://doi.org/10.1016/S0933-3657(97)00031-6
Publication status	Published - Nov 1997

Keywords

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

UN SDGs

This output contributes to the following UN Sustainable Development Goals (SDGs)

Access to Document

10.1016/S0933-3657(97)00031-6

Cite this

@article{b24000c856414830948c326f9708ff73,

title = "Formalisation for decision support in anaesthesiology",

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.",

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

author = "{Renardel de Lavalette}, {G R} and R. Groenboom and E Rotterdam and {van Harmelen}, F and {ten Teije}, A and {de Geus}, F.",

year = "1997",

month = nov,

doi = "10.1016/S0933-3657(97)00031-6",

language = "English",

volume = "11",

pages = "189--214",

journal = "Artificial Intelligence in Medicine",

issn = "0933-3657",

publisher = "Elsevier",

number = "3",

}

TY - JOUR

T1 - Formalisation for decision support in anaesthesiology

AU - Renardel de Lavalette, G R

AU - Groenboom, R.

AU - Rotterdam, E

AU - van Harmelen, F

AU - ten Teije, A

AU - de Geus, F.

PY - 1997/11

Y1 - 1997/11

N2 - 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.

AB - 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.

KW - Anesthesiology

KW - Artificial Intelligence

KW - Body Surface Area

KW - Body Temperature

KW - Decision Support Techniques

KW - Hematocrit

KW - Humans

KW - Models, Theoretical

KW - Journal Article

U2 - 10.1016/S0933-3657(97)00031-6

DO - 10.1016/S0933-3657(97)00031-6

M3 - Article

C2 - 9413606

VL - 11

SP - 189

EP - 214

JO - Artificial Intelligence in Medicine

JF - Artificial Intelligence in Medicine

SN - 0933-3657

IS - 3

ER -

Formalisation for decision support in anaesthesiology

Abstract

Keywords

UN SDGs

Access to Document

Fingerprint

Cite this