OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Verifying a medical protocol with temporal graphs: The case of a nosocomial disease

Kamsu-Foguem, Bernard and Foguem, Clovis and Tchuenté Foguem, Germaine Verifying a medical protocol with temporal graphs: The case of a nosocomial disease. (2014) Journal of Critical Care, 29 (4). 690 e1-690 e9. ISSN 0883-9441

(Document in English)

PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader

Official URL: http://dx.doi.org/10.1016/j.jcrc.2014.02.006


Objective: Our contribution focuses on the implementation of a formal verification approach for medical protocols with graphical temporal reasoning paths to facilitate the understanding of verification steps. Materials and methods: Formal medical guideline specifications and background knowledge are represented through conceptual graphs, and reasoning is based on graph homomorphism. These materials explain the underlying principles or rationale that guide the functioning of verifications. Results: An illustration of this proposal is made using a medical protocol defining guidelines for the monitoring and prevention of nosocomial infections. Such infections, which are acquired in the hospital, increasemorbidity andmortality and add noticeably to economic burden. An evaluation of the use of the graphical verification found that this method aids in the improvement of both clinical knowledge and the quality of actions made. Discussion: As conceptual graphs, representations based on diagrams can be translated into computational tree logic. However, diagrams are much more natural and explicitly human, emphasizing a theoretical and practical consistency. Conclusion: The proposed approach allows for the visualmodeling of temporal reasoning and a formalization of knowledge that can assist in the diagnosis and treatment of nosocomial infections and some clinical problems. This is the first time that one emphasizes the temporal situation modeling in conceptual graphs. It will also deliver a formal verification method for clinical guideline analyses.

Item Type:Article
Additional Information:Thanks to Elsevier editor. The definitive version is available at : http://www.sciencedirect.com/science/journal/08839441
HAL Id:hal-01070512
Audience (journal):International peer-reviewed journal
Uncontrolled Keywords:
Institution:French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Université de Toulouse > Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)
Other partners > Université de Bourgogne - UB (FRANCE)
Other partners > Université de Yaoundé I (CAMEROON)
Laboratory name:
Deposited On:03 Jul 2014 15:42

Repository Staff Only: item control page