2009 | OriginalPaper | Buchkapitel
Quality Checking of Medical Guidelines Using Interval Temporal Logics: A Case-Study
verfasst von : Guido Sciavicco, Jose M. Juarez, Manuel Campos
Erschienen in: Bioinspired Applications in Artificial and Natural Computation
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
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.