×

An expert system for managing medical appropriateness criteria based on computer algebra techniques. (English) Zbl 1002.68170

Summary: This article presents the development of an expert system for managing medical appropriateness criteria together with an outline of its theoretical foundations. Techniques borrowed from computer algebra (Gröbner bases) are applied to this field of medicine.
The steps of the expert system construction process are as follows. First, the knowledge provided in table format by experts in coronary diseases is translated into a set of production rules of a rule-based expert system. Kleene’s three-valued logic augmented with modal operators is chosen in order to manage uncertainty.
Once the rules are written, they are automatically translated into polynomials. A result that relates tautological consequences in logic with an ideal membership problem in a polynomial ring is the key for dealing with inference and verification in the RBES. The implementation of the (algebraic) inference engine is made in the CoCoA language. Indeed, the problems detected using CoCoA in the knowledge summarized in the table led to the redesign of the table.

MSC:

68T35 Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence

Software:

CoCoA
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] (Buchanan, B.; Shortliffe, E. H., Rule Based Expert Systems: The MYCIN Experiments of the Stanford Heuristic Programming Project (1984), Addison Wesley: Addison Wesley New York)
[2] (Field, M.; Lohr, M. K., Guidelines for Clinical Practice. From Development to Use (1992), National Academy Press: National Academy Press Washington, D.C)
[3] Bernstein, S.; Kahan, J., Personal Communication (1993), RAND Health Services
[4] Shiffman, R. N.; Greenes, R. A., Improving clinical guidelines with logic and decision-table techniques: Application to hepatitis immunization recommendations, Med. Decision Making, 14, 3, 245-254 (1994)
[5] Capani, A.; Niesi, G., CoCoA User’s Manual, 3.0b (1996), Dept. of Mathematics University of Genova: Dept. of Mathematics University of Genova Genova · Zbl 0920.68060
[6] D. Perkinson, CoCoA 4.0 Online Help (electronic file accompanying CoCoA), Volume 4.0.; D. Perkinson, CoCoA 4.0 Online Help (electronic file accompanying CoCoA), Volume 4.0.
[7] Laita, L. M.; Roanes Lozano, E.; Maojo, V., Inference and verification in medical appropriateness criteria, (Calmet, J.; Plaza, J., Artificial Intelligence and Symbolic Computation, Proc. of AISC’98, LNAI-1476 (1998), Springer-Verlag: Springer-Verlag Berlin), 183-194
[8] Laita, L. M.; Roanes-Lozano, E.; Maojo, V.; de Ledesma, L., Computer algebra based verification and knowledge extraction in RBS. Application to medical fitness criteria, (Vermessan, A.; Coenen, F., Validation and Verification of Knowledge Based Systems, Theory, Tools and Practice, Procs. of Eurovav 99 (1999), Kluwer Academic: Kluwer Academic Boston, MA), 53-66
[9] P. Lázaro and K. Fitch, Criterios de uso apropiado para by-pass coronario, Unpublished Report, Instituto de Salud Carlos III, Madrid.; P. Lázaro and K. Fitch, Criterios de uso apropiado para by-pass coronario, Unpublished Report, Instituto de Salud Carlos III, Madrid.
[10] P. Lázaro and K. Fitch, Criterios de uso apropiado para by-pass coronario, nueva tabla, Unpublished report, Instituto de Salud Carlos III, Madrid.; P. Lázaro and K. Fitch, Criterios de uso apropiado para by-pass coronario, nueva tabla, Unpublished report, Instituto de Salud Carlos III, Madrid.
[11] Laita, L. M.; Roanes-Lozano, E.; de Ledesma, L.; Alonso, J. A., A computer algebra approach to verification and deduction in many-valued knowledge systems, Soft Computing, 3, 1, 7-19 (1999)
[12] S. Corredor and V. Maojo, Aplicación para la creación y verificación de sistemas de conocimiento usando lógica trivalente, unpublished Master Thesis, Dept. of Artificial intelligence, Universidad Politécnica de Madrid.; S. Corredor and V. Maojo, Aplicación para la creación y verificación de sistemas de conocimiento usando lógica trivalente, unpublished Master Thesis, Dept. of Artificial intelligence, Universidad Politécnica de Madrid.
[13] D. Caja, J. Rodríguez and V. Maojo, Una herramienta para la visualización, edición y verificación de la consistencia de criterios de uso apropiado, unpublished Master Thesis, Dept. of Artificial Intelligence, Universidad Politécnica de Madrid.; D. Caja, J. Rodríguez and V. Maojo, Una herramienta para la visualización, edición y verificación de la consistencia de criterios de uso apropiado, unpublished Master Thesis, Dept. of Artificial Intelligence, Universidad Politécnica de Madrid.
[14] Hsiang, J., Refutational theorem proving using term-rewriting systems, Artificial Intelligence, 25, 255-300 (1985) · Zbl 0558.68072
[15] Kapur, D.; Narendran, P., An equational approach to theorem proving in first-order predicate calculus, General electric corporate research and development report, (Proceedings of IJCAI-85 (1985), Schenectady: Schenectady New York), 1156-1446, 1984
[16] Moisil, G. C., The Algebraic Theory of Switching Circuits (1969), Pergamon Press: Pergamon Press Oxford · Zbl 0194.31801
[17] Alonso, J. A.; Briales, E., Lógicas Polivalentes y Bases de Gröbner, (Vide, M., Procs. of the V Congress on Natural Languages and Formal Languages (1989), Barcelona U. Press: Barcelona U. Press Barcelona), 307-315
[18] Chazarain, J.; Riscos, A.; Alonso, J. A.; Briales, E., Multivalued logic and Gröbner bases with applications to modal logic, Journal of Symbolic Computation, 11, 181-194 (1991) · Zbl 0728.03021
[19] Roanes Lozano, E.; Laita, L. M.; Roanes Macías, E., A polynomial model for multivalued logics with a touch of algebraic geometry and computer algebra, Special issue of Mathematics and Computers in Simulation, Non Standard Applications of CA, 45, 1, 83-99 (1998) · Zbl 1017.03509
[20] Winkler, F., Polynomial Algorithms in Computer Algebra (1996), Springer: Springer Vienna · Zbl 0853.12003
[21] Adams, W. W.; Loustaunau, P., An Introduction to Gröbner Bases. Graduate Studies in Mathematics 3 (1994), American Mathematical Society: American Mathematical Society Providence, RI · Zbl 0811.13020
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.