Sciweavers

Share
IWINAC
2009
Springer

Quality Checking of Medical Guidelines Using Interval Temporal Logics: A Case-Study

12 years 2 months ago
Quality Checking of Medical Guidelines Using Interval Temporal Logics: A Case-Study
Computer-based decision support in health-care is becoming more and more important in recent years. Clinical Practise Guidelines are documents supporting health-care professionals in managing a disease in a patient, in order to avoid non-standard practices or outcomes. In this paper, we consider the problem of formalizing a guideline in a logical language. The target language is an interval-based temporal logic interpreted over natural numbers, namely the Propositional Neighborhood Logic, which has been shown to be expressive enough for our objective, and for which the satisfiability problem has been shown to be decidable. A case-study of a real guideline is presented.
Guido Sciavicco, José M. Juárez, Man
Added 27 May 2010
Updated 27 May 2010
Type Conference
Year 2009
Where IWINAC
Authors Guido Sciavicco, José M. Juárez, Manuel Campos
Comments (0)
books