Format

Send to

Choose Destination
See comment in PubMed Commons below
Artif Intell Med. 1997 Nov;11(3):189-214.

Formalisation for decision support in anaesthesiology.

Author information

1
Department of Computing Science, University of Groningen, The Netherlands. grl@cs.rug.nl

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.

PMID:
9413606
[Indexed for MEDLINE]
PubMed Commons home

PubMed Commons

0 comments
How to join PubMed Commons

    Supplemental Content

    Full text links

    Icon for Elsevier Science
    Loading ...
    Support Center