Formalisation for decision support in anaesthesiology

被引：2

作者：

deLavalette, GRR

Groenboom, R

Rotterdam, E

vanHarmelen, F

tenTeije, A

deGeus, F

机构：

[1] SYLLOGIC, HOUTEN, NETHERLANDS

[2] FREE UNIV AMSTERDAM, DEPT COMP SCI, AMSTERDAM, NETHERLANDS

[3] UNIV GRONINGEN HOSP, GRONINGEN, NETHERLANDS

来源：

ARTIFICIAL INTELLIGENCE IN MEDICINE | 1997年 / 11卷 / 03期

关键词：

anaesthesiology; formalisation of knowledge; data abstraction; diagnostic reasoning;

D O I：

10.1016/S0933-3657(97)00031-6

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

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. (C) 1997 Elsevier Science B.V.

引用

页码：189 / 214

页数：26

共 26 条

[21]

TENTEIJE A, 1994, P DX 94

[22] MODEL-BASED DIAGNOSIS IN INTENSIVE-CARE MONITORING - THE YAQ APPROACH [J].