An algebraic approach to rule based expert systems

作者：Roanes Lozano Eugenio^*; Laita Luis M; Hernando Antonio; Roanes Macias Eugenio

来源：Revista de la Real Academia de Ciencias Exactas Fisicas y Naturales Serie A-Matematicas, 2010, 104(1): 19-40.

DOI：10.5052/RACSAM.2010.04

• Rule based expert systems
• logic and symbolic computing
• Groebner bases

This article presents a survey of the authors' research on knowledge extraction and verification of Rule Based Expert Systems (RBES) using algebraic inference engines and based on Grobner bases theory. A shell, including a graphic user interface and inference engines for different logics (both classic and modal multi-valued) as well as in different computer algebra systems, is also presented here. The shell distinguishes three levels: at the lower level, we provide the computer algebra system code of the algebraic inference engines; at the intermediate level, the RBES developer has to detail the rules and integrity constraints of a certain RBES; and, finally, at the upper level, the final user deals with a simple GUI, where he can perform knowledge extraction or verify the RBES, after choosing the logic and inputing a consistent set of facts. We believe that this shell can be really useful for teaching and quick RBES design.

• 出版日期2010