FORMALIZATION FOR DECISION-SUPPORT IN ANESTHESIOLOGY

This paper reports on research for decision support for anaesthesiolog ists at the University Hospital in Groningen, the Netherlands. Based o n CAROLA, an existing automated operation documentation system, we des igned a support environment that will assist in real-time diagnosis. T he core of the work presented here consists of a knowledge base (conta ining anaesthesiological knowledge) and a diagnosis system. The knowle dge base is specified in the logic-based formal specification language AFSL. This leads to a powerful and precise treatment of knowledge str ucturing and data abstraction. (C) 1997 Elsevier Science B.V.