Observatorio de I+D+i UPM

Memorias de investigación
Communications at congresses:
An algebraic Approach to detect Logical inconsistencies in medical appropriateness criteria
Research Areas
  • Artificial intelligence,
  • Programming language
In this paper, we present a computerized approach to detect inconsistencies in medical knowledge bases. The method has been applied to a set of medical appropriateness criteria developed for the review of coronary artery disease management. One of the main problems associated to medical appropriateness criteria is to detect logical inconsistencies in the criteria set, a process often manually carried out by health services specialists. In our approach, appropriateness criteria are automatically translated to rules containing propositional variables, using three-valued Łukasiewiczs logic augmented with modal operators to manage uncertainty. The method assigns a polynomial to each of the rules, integrity constraints, and facts from the rule-based set. This rule set is then checked for inconsistencies. The problem of determining if a formula is a tautological consequence of a set of formulae is reduced by our method into an ideal membership problem in computer algebra. Finally, the set of medical appropriateness criteria is represented in a flowchart format that can be disseminated and remotely accessed over Internet, and can be prospectively used for patient care and management. The method reported in this paper can be applied to other knowledge bases represented by means of IF-THEN rules.
Conf Proc IEEE Eng Med Biol Soc. 2007
Lyon (France)
Start Date
End Date
From page
To page
  • Participante: L Laíta
  • Autor: Miguel Garcia Remesal (UPM)
  • Autor: Victor Manuel Maojo Garcia (UPM)
  • Participante: E Roanes-Lozano
  • Autor: Jose Crespo Del Arco (UPM)
Research Group, Departaments and Institutes related
  • Creador: Grupo de Investigación: Grupo de Informática Biomédica (LIA)
  • Departamento: Inteligencia Artificial
  • Departamento: Lenguajes y Sistemas Informáticos e Ingeniería de Software
S2i 2020 Observatorio de investigación @ UPM con la colaboración del Consejo Social UPM
Cofinanciación del MINECO en el marco del Programa INNCIDE 2011 (OTR-2011-0236)
Cofinanciación del MINECO en el marco del Programa INNPACTO (IPT-020000-2010-22)