Modern Care Journal
Tue, Feb 24, 2026
[Archive]
Volume 17, Issue 1 (1-2020)
Mod Care J 2020, 17(1): 0-0 |
Back to browse issues page
Download citation:
BibTeX | RIS | EndNote | Medlars | ProCite | Reference Manager | RefWorks
Send citation to:
BibTeX | RIS | EndNote | Medlars | ProCite | Reference Manager | RefWorks
Send citation to:
Sanati M Y, Asadi A. Satisfiability Checking of Clinical Practice Guidelines Using an Analyzer. Mod Care J 2020; 17 (1)
URL: http://mcj.bums.ac.ir/article-1-162-en.html
URL: http://mcj.bums.ac.ir/article-1-162-en.html
1- Computer Engineering Department, Bu-Ali Sina University, Shahid Mostafa Ahmadi Roshan St., Postal Code: 6516738695, Hamedan, Iran. Tel: +98-8138292505 Email: mysanati@basu.ac.ir
2- Computer Engineering Department, Bu-Ali Sina University, Hamedan, Iran
2- Computer Engineering Department, Bu-Ali Sina University, Hamedan, Iran
Abstract: (14 Views)
A clinical practice guideline consists of the best practices required for managing a particular disease. Designing a consistent guideline is difficult and error-prone; hence, checking the consistency of guidelines is crucial. Due to the complexity of guidelines, a formal language is an appropriate choice for modeling and analyzing a guideline. IMPNL has been introduced as a metric interval-based temporal logic to model such guidelines. Moreover, a sound and complete tableau-based algorithm has been designed for checking the satisfiability of an IMPNL formula. In this paper, we introduced a clinical practice guideline analyzer suitable for modeling and checking the consistency of a guideline. The analyzer can also determine points, in which inconsistencies occur, and help designers to quickly and easily fix a guideline. Moreover, physicians can use the output of the analyzer (the calendar model) to check whether a patient is coherently treated with a specific guideline.
Article Types: Research Article |
Subject:
General
Received: 2026/01/10 | Accepted: 2020/01/15 | Published: 2020/01/15
Received: 2026/01/10 | Accepted: 2020/01/15 | Published: 2020/01/15
| Rights and permissions | |
 |
This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License. |
