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.
['Begoña Herrero', 'Luis M. Laita', 'Eugenio Roanes-Lozano', 'Victor Maojo', 'Luis de Ledesma', 'José Crespo', 'Laura Laita']
A Symbolic Computation-Based Expert System for Alzheimer's Disease Diagnosis