A Symbolic Computation-Based Expert System for Alzheimer’s Disease Diagnosis

  • Begoña Herrero
  • Luis M. Laita
  • Eugenio Roanes-Lozano
  • Víctor Maojo
  • Luis de Ledesma
  • José Crespo
  • Laura Laita
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2385)


In this paper we summarize a method of construction of a rule-based expert system (denoted RBES) for Alzheimer’s disease diagnosis. Once the RBES is constructed, Symbolic Computation techniques are applied to automatically both verify (that is, check for consistency) and extract new knowledge to produce a diagnosis.


Rule-based expert systems diagnosis of Alzheimer’s disease ideal membership problem Gröbner bases 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    V. Adams and P. Loustaunau: An Introduction to Gröbner Bases. Graduate Studies in Mathematics 3. American Mathematical Society Press, Providence, RI, 1994.Google Scholar
  2. 2.
    J.A. Alonso and E. Briales: Lógicas polivalentes y bases de Gröbner. In M. Vide (ed.): Proceedings of the V Congress on Natural Languages and Formal Languages. P.P.U. Press, Barcelona, 1989 (307–315).Google Scholar
  3. 3.
    American Psychiatric Association: DSM III-R, Manual diagnóstico estadístico de los transtornos mentales. Masson, Barcelona, 1988.Google Scholar
  4. 4.
    A. Capani and G. Niesi: CoCoA User’s Manual (v. 3.0b). Dept. of Mathematics, University of Genova, Genove, 1996.Google Scholar
  5. 5.
    J. Chazarain, A. Riscos, J.A. Alonso and E. Briales: Multivalued Logic and Gröbner Bases with Applications to Modal Logic. Journal of Symbolic Computation, 11 (1991) 181–194.zbMATHCrossRefMathSciNetGoogle Scholar
  6. 6.
    B. Herrero: Desarrollo de un Sistema Experto para el Diagnóstico del Alzheimer usando CoCoA. Master thesis (advisor: Luis M. Laita), Facultad de Informática, Universidad Politécnica de Madrid, 2002.Google Scholar
  7. 7.
    L.M. Laita, L. de Ledesma, E. Roanes-Lozano and E. Roanes-Macías: An Interpretation of the Propositional Bolean ALgebra as a k-Algebra. IEffective Calculus. In J. Calmet, J.A. Campbell (eds.): Integrating Symbolic Mathematical Computation and Artificial Intelligence. Selected Papers of AIMSC-2. Springer-Verlag LNAI-958, Berlin, 1995 (255–263).Google Scholar
  8. 8.
    L.M. Laita, G. González-Páez, E. Roanes-Lozano, V. Maojo, L. de Ledesma, L. Laita: A Methodology for Constructing Expert Systems for Medical Diagnosis. In: J. Crespo, V. Maojo, F. Martín (eds.): Medical data Analysis. Procs. of IMSDA 2001. Springer-Verlag LNCS-1933, 2001 (212–217).Google Scholar
  9. 9.
    L.M. Laita, E. Roanes-Lozano, L. de Ledesma, J.A. Alonso: A Computer Algebra Approach to Verification and Deduction in Many-valued Expert Systems. Soft Computing, 3/1 (1999) 7–19.CrossRefGoogle Scholar
  10. 10.
    L.M. Laita, E. Roanes-Lozano and V. Maojo: Inference and Verification in Medical Appropriateness Criteria. In J. Calmet, J. Plaza (eds.): Artificial Intelligence and Symbolic Computation, Proceedings of AISC’98. Springer-Verlag LNAI-1476, Berlin, 1998 (183–194).Google Scholar
  11. 11.
    L. M. Laita, E. Roanes-Lozano, V. Maojo, L. de Ledesma, L. Laita: An Expert System for Managing Medical Appropriateness Criteria based on Computer Algebra Techniques. Computers and Mathematics with Applications, 42/12 (2001) 1505–1522.zbMATHCrossRefGoogle Scholar
  12. 12.
    J.J. López-Ibor (ed.): CIE10. Transtornos mentales y del comportamiento. Descripciones clínicas y pautas para el diagnóstico. Organización Mundial de la Salud-Ed. Meditor, 1992.Google Scholar
  13. 13.
    C. Pérez-Carretero, L.M. Laita, E. Roanes-Lozano, L. Lázaro, J. González-Cajal, L. Laita: A Logic and Computer Algebra Based Expert System for Diagnosis of Anorexia. Mathematics and Computers in Simulation, 58/3 (2002) 183–202.zbMATHCrossRefMathSciNetGoogle Scholar
  14. 14.
    D. Perkinson: CoCoA 4.0 Online Help (electronic file), 2000.Google Scholar
  15. 15.
    E. Roanes-Lozano, L.M. Laita and E. Roanes-Macías: A Polynomial Model for Multivalued Logics with a Touch of Algebraic Geometry and Computer Algebra. Mathematics and Computers in Simulation, 45/1 (1998) 83–99.zbMATHCrossRefMathSciNetGoogle Scholar
  16. 16.
    F. Winkler: Polynomial Algorithms in Computer Algebra. Springer, Wien, 1996.zbMATHGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2002

Authors and Affiliations

  • Begoña Herrero
    • 1
  • Luis M. Laita
    • 1
  • Eugenio Roanes-Lozano
    • 2
  • Víctor Maojo
    • 1
  • Luis de Ledesma
    • 1
  • José Crespo
    • 1
  • Laura Laita
    • 3
  1. 1.Depto. de Inteligencia Artificial, Facultad de InformáticaUniversidad Politécnica de MadridMadridSpain
  2. 2.Depto. de ÁlgebraUniversidad Complutense de MadridMadridSpain
  3. 3.Escuela de EnfermeríaUniversidad Complutense de MadridSpain

Personalised recommendations