Automatic verification of CPGs

Researchers of the company RAND-UCLA have proposed that the main methodological problem of the Clinical Practice Guidelines (GPCs) are inconsistencies. For example, following a GPC can propose two different diagnostic measures or even contradictory. To avoid it, the GIB has been working on a method of verification of logical consistency, based on computational algebra and a set of tools to store directories, check their consistency and view them as a flowchart.

Automatic Verification of CPGs



  1. García-Remesal M, Maojo V, Laita L, Roanes-Lozano E, Crespo J. An algebraic approach to detect logical inconsistencies in medical appropriateness criteria. Proceedings of the IEEE Eng Med Biol Soc. 2007:5148-51.
  2. Laita, L., Roanes-Lozano, E., Ledesma, L. Maojo, V., Laita, L. A Methodology for Constructing Expert Systems for Medical Diagnosis. Lecture Notes in Computer Science 2199, 2001, pp.146-152.
  3. Laita, L.M., Roanes-Lozano, E., Maojo, V., Roanes-Macías, E., Ledesma, L., and Laita, L. An Expert System for Managing Medical Appropriateness Criteria Based on Computer Algebra Techniques. Computers & Mathematics with Applications. 2001. pp. 1505-1522.
  4. Roanes-Lozano, E.; Laita, L., Roanes-Macías E.; Maojo, V., Corredor, V.; de la Vega, A.; Zamora, A. A Gröbner Bases-Based Shell for Rule-Based Expert Systems Development. Expert systems with applications 18 (3), 2000, pp. 221-230.