Using first-order logic to represent clinical practice guidelines and to mitigate adverse interactions

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 8903, Issue , 2014, Pages 45-61

  Wilk, Szymon ^a   Michalowski, Martin ^b   Tan, Xing ^c   Michalowski, Wojtek ^c  

^a POZNAN UNIVERSITY OF TECHNOLOGY   (Poland)

^b Adventium Labs   (United States)

^c UNIVERSITY OF OTTAWA   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

KNOWLEDGE REPRESENTATION; THEOREM PROVING;

CLINICAL PRACTICE GUIDELINES; EVIDENCE-BASED MANAGEMENTS; FIRST ORDER LOGIC; GENERIC CHARACTERISTICS; MODEL FINDING; PRECEDENCE RELATIONSHIPS; RESEARCH INITIATIVES;

FORMAL LOGIC;

EID: 84917674952     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-319-13281-5_4     Document Type: Conference Paper

References (20)

1. Duftschmid, G., Miksch, S.: Knowledge-based verification of clinical guidelines by detection of anomalies. Artif. Intell. Med. 22(1), 23-41 (2001)
2. Fox, J., Glasspool, D., Patkar, V., Austin, M., Black, L., South, M., Robertson, D., Vincent, C.: Delivering clinical decision support services: there is nothing as practical as a good theory. J. Biomed. Inform. 43, 831-843 (2010)
3. Isern, D., Moreno, A., Pedone, G., Sánchez, D., Varga, L.Z.: Home care personalisation with individual intervention plans. In: Riaño, D. (ed.) K4HelP 2008. LNCS (LNAI), vol. 5626, pp. 134-151. Springer, Heidelberg (2009)
4. Jafarpour, B., Abidi, S.S.R.: Merging disease-specific clinical guidelines to handle comorbidities in a clinical decision support setting. In: Peek, N., Marín Morales, R., Peleg, M. (eds.) AIME 2013. LNCS, vol. 7885, pp. 28-32. Springer, Heidelberg (2013)
5. López-Vallverdó, J.A., Riaño, D., Collado, A.: Rule-Based Combination of comorbid treatments for chronic diseases applied to hypertension, diabetes mellitus and heart failure. In: Lenz, R., Miksch, S., Peleg, M., Reichert, M., Riaño, D., ten Teije, A. (eds.) ProHealth 2012 and KR4HC 2012. LNCS (LNAI), vol. 7738, pp. 30-41. Springer, Heidelberg (2013)
6. McCune, W.: Prover9 and Mace4 (2005). http://www.cs.unm.edu/mccune/prover9
7. Michalowski, M., Wilk, S., Lin, D., Michalowski, W., Tan, X., Mohapatra, S.: Procedural approach to mitigating concurrently applied clinical practice guidelines. In: Proceedings of the First Workshop on Expanding the Boundaries of Health Informatics Using Artificial Intelligence (HIAI13) (2013)
8. Michalowski, M., Wilk, S., Michalowski, W., Lin, D., Farion, K., Mohapatra, S.: Using constraint logic programming to implement iterative actions and numerical measures during mitigation of concurrently applied clinical practice guidelines. In: Peek, N., Marín Morales, R., Peleg, M. (eds.) AIME 2013. LNCS, vol. 7885, pp. 17-22. Springer, Heidelberg (2013)
9. National Institute for Health and Clinical Excellence (NICE): NICE pathways (2014). http://pathways.nice.org.uk??
10. Otten, J.: leanCoP 2.0 and ileanCoP 1.2: high performance lean theorem proving in classical and intuitionistic logic (system descriptions). In: Armando, A., Baumgartner, P., Dowek, G. (eds.) IJCAR 2008. LNCS (LNAI), vol. 5195, pp. 283-291. Springer, Heidelberg (2008)
11. Pavlov, V., Schukin, A., Cherkasova, T.: Exploring automated reasoning in firstorder logic: tools, techniques and application areas. In: Klinov, P., Mouromtsev, D. (eds.) KESW 2013. CCIS, vol. 394, pp. 102-116. Springer, Heidelberg (2013)
12. Peleg, M.: Computer-interpretable clinical guidelines: a methodological review. J. Biomed. Inform. 46(4), 744-763 (2013)
13. Peleg, M., Tu, S.W., Leonardi, G., Quaglini, S., Russo, P., Palladini, G., Merlini, G.: Reasoning with effects of clinical guideline actions using OWL: al amyloidosis as a case study. In: Riaño, D., ten Teije, A., Miksch, S. (eds.) KR4HC 2011. LNCS (LNAI), vol. 6924, pp. 65-79. Springer, Heidelberg (2012)
14. Perez, B., Porres, I.: Authoring and verification of clinical guidelines: a model driven approach. J. Biomed. Inform. 43(4), 520-536 (2010)
15. Riaño, D., Real, F., Lopez-Vallverdu, J.A., Campana, F., Ercolani, S., Mecocci, P., Annicchiarico, R., Caltagirone, C.: An ontology-based personalization of healthcare knowledge to support clinical decisions for chronically ill patients. J. Biomed. Inform. 45(3), 429-446 (2012)
16. Rosenfeld, R., Shiffman, R.: Clinical practice guideline development manual: a quality-driven approach for translating evidence into action. Otolaryngol. Head Neck Surg. 140(6), 1-43 (2009)
17. Sittig, D., Wright, A., Osheroff, J., Middleton, B., Teich, J., Ash, J., Campbell, E., Bates, D.: Grand challenges in clinical decision support. J. Biomed. Inform. 41, 387-392 (2008)
18. ten Teije, A., Marcos, M., Balser, M., van Croonenborg, J., Duelli, C., van Harmelen, F., Lucas, P., Miksch, S., Reif, W., Rosenbrand, K., Seyfang, A.: Improving medical protocols by formal methods. Artif. Intell. Med. 36(3), 193-209 (2006)
19. Wilk, S., Michalowski, W., Michalowski, M., Farion, K., Hing, M., Mohapatra, S.: Automatic mitigation of adverse interactions in pairs of clinical practice guidelines using constraint logic programming. J. Biomed. Inform. 46(2), 341-353 (2013)
20. Zhang, H., Zhang, J.: MACE4 and SEM: a comparison of finite model generators. In: Bonacina, M.P., Stickel, M.E. (eds.) Automated Reasoning and Mathematics. LNCS, vol. 7788, pp. 101-130. Springer, Heidelberg (2013)