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.
authors.affiliation: Department of Computing Science, University of Groningen, The Netherlands. grl@cs.rug.nl
authors.forename: G R
authors.initials: GR
authors.lastname: Renardel de Lavalette
authors.forename: R
authors.initials: R
authors.lastname: Groenboom
authors.forename: E
authors.initials: E
authors.lastname: Rotterdam
authors.forename: F
authors.initials: F
authors.lastname: van Harmelen
authors.forename: A
authors.initials: A
authors.lastname: ten Teije
authors.forename: F
authors.initials: F
authors.lastname: de Geus
mesh_terms: D000776:Anesthesiology / Q000706:statistics & numerical data*; D001185:Artificial Intelligence; D001830:Body Surface Area; D001831:Body Temperature; D003661:Decision Support Techniques; D006400:Hematocrit; D006801:Humans; D008962:Models, Theoretical