论文信息 - A Methodology for Constructing Expert Systems for Medical Diagnosis

A Methodology for Constructing Expert Systems for Medical Diagnosis

We propose a methodology, based on Computer Algebra and implemented in CoCoA language, for constructing rule based expert systems, that can be applied to the diagnosis of some illnesses. For the sake of clarity, our proposal uses a simplified description of depression, assuming that our aim is the proposal of a general methodology rather than the study of this particular illness.

[1] Emilio Briales Morales,et al. Multi-Valued Logic and Gröbner Bases with Applications to Modal Logic , 1991, J. Symb. Comput..

[2] L. M. Laita,et al. A polynomial model for multi-valued logics with a touch of algebraic geometry and computer algebra , 1998 .

[3] Ralf Fröberg,et al. An introduction to Gröbner bases , 1997, Pure and applied mathematics.

[4] L. O'carroll. AN INTRODUCTION TO GRÖBNER BASES (Graduate Studies in Mathematics 3) , 1996 .

[5] E. Roanes-Lozano,et al. A computer algebra approach to verification and deduction in many-valued knowledge systems , 1999, Soft Comput..