0000000000600169
AUTHOR
Germaine Tchuenté-foguem
Verifying a medical protocol with temporal graphs: the case of a nosocomial disease.
Abstract 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 h…
Conceptual graph operations for formal visual reasoning in the medical domain
International audience; Objective - Conceptual graphs (CGs) are used to represent clinical guidelines because they support visual reasoning with a logical background, making them a potentially valuable representation for guidelines.Materials and methods - Conceptual graph formalism has an essential and basic component: a formal vocabulary that drives all of the other mechanisms, notably specialization and projection. The graph's theoretical operations, such as projection, rules, derivation, constraints, probabilities and uncertainty, support diagrammatic reasoning.Results - A conceptual graph's graphical user interface includes a multilingual vocabulary management, some query and decision-m…
Experienced knowledge for the description of maintenance packages
International audience; The presented work is included in the research theme that specifies some means of capitalization andexploitation of knowledge from experience feedback processes in the context of industrial maintenancemanagement. Our research on it is a more precise definition of the proposed project, built with a problemasking how to handle the management of repair packages. Upstream, the knowledge of various expertsare materialized in the form of expert reports. Downstream maintenance wants to quickly repair productsbased on symptoms or change parts in advance. For this, we propose a methodology by analysing thefeedback to improve the response time for maintenance services. This is…