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.
Keywords Rule-based expert systems - diagnosis of Alzheimer’s disease - ideal membership problem - Gröbner bases
Partially supported by projects TIC2000-1368-C03-01 and TIC2000-1368-C03-03 (Ministry of Science and Technology, Spain).