首页|An algebraic approach to rule based expert systems
An algebraic approach to rule based expert systems
扫码查看
点击上方二维码区域，可以放大扫码查看
原文链接
NETL
NSTL
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.
rule based expert systemslogic and symbolic computinggroebner bases
Eugenio Roanes-Lozano、Luis M. Laita、Antonio Hernando、Eugenio Roanes-Macias
展开 >
Depto. de Algebra Facultad de Educacion Universidad Complutense de Madrid c/ Rector Royo Villanova s/n 28040-Madrid Spain
Depto. CC. de la Computation e I.A. Facultad de Informatica Universidad Politecnica de Madrid Campus de Montegancedo Boadilla del Monte, 28660-Madrid Spain
Depto. de Sistemas Inteligentes Aplicados Escuela Universitaria de Informatica Universidad Politecnica de Madrid Carretera de Valencia km 7 28031-Madrid Spain
NETL
NSTL
