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

Authors:
Guido Sciavicco;Jose M. Juarez;Manuel Campos
Affiliations:
Department of Information Engineering and Communications, University of Murcia, Spain;Department of Information Engineering and Communications, University of Murcia, Spain;Department of Computer Science and Systems, University of Murcia, Spain
Venue:
IWINAC '09 Proceedings of the 3rd International Work-Conference on The Interplay Between Natural and Artificial Computation: Part II: Bioinspired Applications in Artificial and Natural Computation
Year:
2009

Citing 7
Cited 1

A propositional modal logic of time intervals

Journal of the ACM (JACM)
Temporal logic (vol. 1): mathematical foundations and computational aspects

Temporal logic (vol. 1): mathematical foundations and computational aspects
Maintaining knowledge about temporal intervals

Communications of the ACM
On Decidability and Expressiveness of Propositional Interval Neighborhood Logics

LFCS '07 Proceedings of the international symposium on Logical Foundations of Computer Science
Tableau Systems for Logics of Subinterval Structures over Dense Orderings

TABLEAUX '07 Proceedings of the 16th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
Querying Clinical Workflows by Temporal Similarity

AIME '07 Proceedings of the 11th conference on Artificial Intelligence in Medicine
METHODOLOGICAL REVIEW: Approaches for creating computer-interpretable guidelines that facilitate decision support

Artificial Intelligence in Medicine

Metric Propositional Neighborhood Logics: Expressiveness, Decidability, and Undecidability

Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence

Quantified Score

Hi-index	0.00

Visualization

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 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.