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 dis- ease 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.
Quality Checking of Medical Guidelines using Interval Temporal Logics: A Case Study
SCIAVICCO, Guido;
2009
Abstract
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 dis- ease 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.I documenti in SFERA sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
