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.

• Type: Conference
• Year: 2009
• Where: IWINAC
• Authors: Guido Sciavicco, José M. Juárez, Manuel Campos
• Keywords: Artificial Intelligence, Clinical Practise Guidelines, Computer-based Decision Support, Documents Supporting Health-care, IWINAC 2009