Consistency Checking of Clinical Practice Guidelines with MITDL

سال انتشار: 1395
نوع سند: مقاله کنفرانسی
زبان: انگلیسی
مشاهده: 558

فایل این مقاله در 7 صفحه با فرمت PDF قابل دریافت می باشد

استخراج به نرم افزارهای پژوهشی:

لینک ثابت به این مقاله:

شناسه ملی سند علمی:

ICIKT08_025

تاریخ نمایه سازی: 5 بهمن 1395

چکیده مقاله:

Since a Clinical Practice Guideline describes thediagnosis and treatment process of a disease, designers of suchguidelines should ensure their logical consistency. A formalapproach for modeling them provides a basis for some usefulreasoning (e.g., satisfiability checking). In this paper, we describea metric interval-based temporal description logic, which issuitable for modeling the dynamic aspect of a domain and the themedical ontologies. We also propose a tableau-based algorithmfor checking the satisfiability of such guidelines, to assure theirlogical consistency. We explain the process of encoding a reallifeguideline, the Treatment of Tuberculosis , and presenta situation where designers can use our logic and associatedsatisfiability algorithm to detect an inconsistency in the guidelinefor patients with Cirrhosis disease.

کلیدواژه ها:

نویسندگان

Morteza Yousef Sanati

Computer Engineering Department Engineering Faculty Bu-Ali Sina University Hamedan, Iran

Wendy MacCaull

Department of Mathematics, Statistics and Computer Science, St. Francis Xavier University, Antigonish, Canada

Tom Maibaum

Department of Computing and Software, McMaster University, Hamilton, Canada

Mohammad Mahdi Majzoobi

Department of Infection Diseases, Hamedan University of Medical Science, Hamedan, Iran