• Bernard Kamsu-Foguem, Germaine Tchuenté-Foguem, and Clovis Foguem.
• Laboratory of Production Engineering (LGP), EA 1905, ENIT-INPT University of Toulouse, 47 Avenue d'Azereix, BP 1629, 65016, Tarbes Cedex, France. Electronic address: Bernard.Kamsu-Foguem@enit.fr.
• J Crit Care. 2014 Aug 1;29(4):690.e1-9.

ObjectiveOur 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 MethodsFormal 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.ResultsAn 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, increase morbidity and mortality 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.DiscussionAs 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.ConclusionThe proposed approach allows for the visual modeling 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.Copyright © 2014 Elsevier Inc. All rights reserved.

19 keywords...

hide…