ملخص: Cet article rend compte de la recherche pour le soutien de décision des anaesthesiologists à l'hôpital d'université à Groningue, Hollandes. Basé sur CAROLA, un système de documentation automatisé existant d'opération, nous avons conçu un environnement de soutien qui aidera au diagnostic en temps réel. Le noyau du travail présenté ici se compose d'une base de connaissance (contenant la connaissance anaesthesiological) et d'un système de diagnostic. La base de connaissance est indiquée dans la langue formelle logique-basée AFSL de spécifications. Ceci mène à un traitement puissant et précis de structurer de la connaissance et d'abstraction de données.

لغة: إنجليزية