A SHELL FOR RULE-BASED EXPERT SYSTEMS DEVELOPMENT USING GROBNER BASES-BASED INFERENCE ENGINES

摘要

This article continues the research line of the authors on knowledge extraction and verification of Rule Based Expert Systems (RBES) using algebraic inference engines based on Grobner bases theory. Now a shell, that includes a graphic user interface and inference engines for different logics (both classic and modal many-valued), is presented. The shell distinguishes three levels: in the lower level, we provide the computer algebra system code of the algebraic inference engines; in the intermediate level, the RBES developer has to detail the rules and integrity constraints of a certain RBES; and, finally, in the upper level, the end 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 for quick RBES designing.