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 条

[1]

Barahona P, 1994, Artif Intell Med, V6, P1, DOI 10.1016/0933-3657(94)90055-8

[2]

Chomsky Noam, 1986, Barriers

[3]

Console L., 1991, Computational Intelligence, V7, P133, DOI 10.1111/j.1467-8640.1991.tb00388.x

[4]

DEGEUS F, 1992, THESIS DEP MED INFOR

[5]

FEIJS LMG, 1992, CAMBRIDGE TRACTS THE, V35

[6]

FENSEL D, 1996, P 12 EUR C ART INT E, P423

[7]

Fensel D., 1995, KNOWLEDGE ACQUISITIO

[8]

FROHLICK M, 1995, DAVINCI V1 4 USER MA

[9]

GROENBOOM R, 1996, FAN FORMALIZING ANAE

[10]

GROENBOOM R, 1996, LECT NOTES COMPUTER, V1051, P120

← 1 2 3 →