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

Journal of Critical Care

Volumn 29, Issue 4, 2014, Pages 690.e1-690.e9

  Kamsu Foguem, Bernard ^a   Tchuenté Foguem, Germaine ^b   Foguem, Clovis ^c  

^a UNIVERSITÉ DE TOULOUSE   (France)

^b UNIVERSITY OF YAOUNDÉ I   (Cameroon)

^c CENTRE DES SCIENCES DU GOÛT ET DE L ALIMENTATION   (France)

Author keywords

Conceptual graphs; Medical protocol; Model checking; Nosocomial diseases; Visual information

Indexed keywords

ANTIBIOTIC AGENT;

ANTIBIOTIC RESISTANCE; ARTICLE; CLINICAL PROTOCOL; CONCEPTUAL FRAMEWORK; HEALTH CARE QUALITY; HEALTH ECONOMICS; HOSPITAL INFECTION; HUMAN; INFECTION PREVENTION; MATHEMATICAL COMPUTING; MEDICAL DECISION MAKING; MORBIDITY; MORTALITY; PRACTICE GUIDELINE; PROFESSIONAL KNOWLEDGE; PUBLIC HEALTH PROBLEM; VALIDATION STUDY; ALGORITHM; CATHETER-RELATED INFECTIONS; COMPLICATION; CROSS INFECTION; DISEASE PREDISPOSITION; HETEROZYGOTE; MICROBIOLOGY; PROBLEM SOLVING; THEORETICAL MODEL;

ALGORITHMS; CARRIER STATE; CATHETER-RELATED INFECTIONS; CLINICAL PROTOCOLS; CROSS INFECTION; DISEASE SUSCEPTIBILITY; DRUG RESISTANCE, BACTERIAL; HUMANS; MODELS, THEORETICAL; PROBLEM SOLVING;

EID: 84902270808     PISSN: 08839441     EISSN: 15578615     Source Type: Journal    
DOI: 10.1016/j.jcrc.2014.02.006     Document Type: Article

References (31)

1. Samuel S.O., Kayode O.O., Musa O.I., Nwigwe G.C., Aboderin A.O., Salami T.A.T., et al. Nosocomial infections and the challenges of control in developing countries. Afr J Clin Exp Microbiol 2010, 11(2):102-110.
2. Control of communicable diseases manual 1995, The. American Public Health Association, Washington (USA). 16th ed. A.S. Benenson (Ed.).
3. Horan T.C., Gaynes R.P. Surveillance of nosocomial infections. Hospital Epidemiology and Infection Control 2004, 1659-1702. Lippincott Williams & Wilkins, Philadelphia. 3rd ed. C.G. Mayhall (Ed.).
4. WHO/CDS/CSR/EPH Prevention of hospital-acquired infections. A practical guide 12 2002, World Health Organization Department of Communicable Disease, Surveillance and Response. 2nd ed.
5. Pérez B., Porres I. Authoring and verification of clinical guidelines: a model driven approach. J Biomed Inform 2010, 43:520-536.
6. Scheckler W.E., Brimhall D., Buck A.S., Farr B.M., Friedman C., Garibaldi R.A., et al. Requirements for infrastructure and essential activities of infection control and epidemiology in hospitals: a consensus panel report. Am J Infect Control February 1998, 26(1):47-60.
7. Grumberg O., Veith H. 25 years of model checking: history, achievements, perspectives 2008, VII. Springer, [231 pages].
8. Sowa J.F. Conceptual structures: information processing in mind and machine. The Systems Programming Series (Hardcover) 1984, 481. Addison-Wesley Longman Publishing Co., Inc., Boston, Massachusetts, USA.
9. Baget J.-F., Mugnier M.-L. Extensions of simple conceptual graphs: the complexity of rules and constraints. J Artif Intell Res 2002, 16:425-465.
10. Sowa J.F. Knowledge representation: logical, philosophical, and computational foundations 2000, Brooks Cole Publishing Co, Pacific Grove, California (U.S.A), [608 pages].
11. Chein M., Mugnier M.-L. Graph-based knowledge representation: computational foundations of conceptual graphs. Series: Advanced Information and Knowledge Processing October 2008, Springer, London (United Kingdom), [445 pp.].
12. Baader F., Calvanese D., McGuinness D.L., Nardi D., Patel-Schneider P.F. The description logic handbook: theory, implementation, applications 2003, Cambridge University Press, Cambridge, UK.
13. Yao H., Etzkorn L. Automated conversion between different knowledge representation formats. Knowl-Based Syst 2006, 19(6):404-412.
14. Argüello Casteleiro M., Des Diz J.J. Clinical practice guidelines: a case study of combining OWL-S, OWL, and SWRL. Knowl-Based Syst April 2008, 21(3):247-255.
15. Horrocks I., Patel-Schneider P.F., Bechhofer S., Tsarkov D. OWL rules: a proposal and prototype implementation. Web Semantics: Science Services and Agents on the, World Wide Web July 2005, Vol. 3, Issue 1:23-40.
16. Shadbolt N., Hall W., Berners-Lee T. The semantic web revisited. IEEE Intell Syst 2006, 21(3):96-101.
17. Dau F., Eklund P. A diagrammatic reasoning system for the description logic. J Vis Lang Comput 2008, 19:539-573.
18. Clarke E.M., Emerson E.A., Sistla A.P. Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Trans Program Lang Syst 1986, 8(2):244-263. 10.1145/5397.5399.
19. Moulin B. Temporal contexts for discourse representation: an extension of the conceptual graph approach. Appl Intell 1997, 7:227-255.
20. López-Cuadrado J.L., Colomo-Palacios R., González-Carrasco I., García-Crespo A., Ruiz-Mezcua B. SABUMO: towards a collaborative and semantic framework for knowledge sharing. Expert Syst Appl August 2012, 39(10):8671-8680.
21. Musen M.A. The knowledge acquisition workshops: a remarkable convergence of ideas. Int J Hum Comput Stud February 2013, 71(2):195-199.
22. Luger G.F. Artificial intelligence: structures and strategies for complex problem solving March 7 2008, Addison Wesley, [Hardcover: 784 pages]. 6th ed.
23. Russell S., Norvig P. Artificial intelligence: a modern approach Décembre 1 2009, [1152 pages]. Third edition. Prentice Hall (Ed.).
24. Allwein G., Barwise J. Logical reasoning with diagrams (studies in logic and computation) July 18 1996, OUP USA. First ed.
25. Kamsu-Foguem B, Tchuenté-Foguem G, Foguem C. Using conceptual graphs for clinical guidelines representation and knowledge visualization. Information Systems Frontiers. http://dx.doi.org/10.1007/s10796-012-9360-2.
26. Kamsu-Foguem B., Diallo G., Foguem C. Conceptual graph-based knowledge representation for supporting reasoning in African traditional medicine. Engineering Applications of Artificial Intelligence April 2013, 26(4):1348-1365.
27. Kamsu-Foguem B., Tchuenté-Foguem G., Allart L., Zennir Y., Vilhelm Y., Mehdaoui H., Zitouni D., Hubert H., Lemdani M., Ravaux P. User-centered visual analysis using a hybrid reasoning architecture for intensive care units. Decision Support Systems December 2012, 54(1):496-509.
28. Kamsu-Foguem B. Knowledge-based support in Non-Destructive Testing for health monitoring of aircraft structures. Advanced Engineering Informatics October 2012, 26(4):859-869.
29. Kamsu-Foguem B., Rigal F., Mauge F. Mining association rules for the quality improvement of the production process. Expert Systems with Applications March 2013, 40(4):1034-1045.
30. Kamsu-Foguem B., Mathieu Y. Software architecture knowledge for intelligent light maintenance. dvances in Engineering Software January 2014, 67:125-135.
31. Kamsu-Foguem B., Flammang A. Knowledge description for the suitability requirements of different geographical regions for growing wine. Land Use Policy 2014, 38C:719-731.