Home | Quick Search | Advanced Search | Bibliography submission | Bibliography submission using bibtex | Bibliography submission using bibtex file | Links | Help | Internal


TitleAn algebraic approach to rule based expert systems.
Author(s) Antonio Hernando, Luis M. Laita, Eugenio Roanes-Lozano, Eugenio Roanes-Macías
TypeArticle in Journal
AbstractThis 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 Gröbner 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.
KeywordsRule based expert systems, logic and symbolic computing, Groebner bases
ISSN1578-7303; 1579-1505/e
URL http://link.springer.com/article/10.5052%2FRACSAM.2010.04
JournalRev. R. Acad. Cienc. Exactas F
PublisherSpringer, Milan; Real Academia de Ciencias Exactas, F
Translation No
Refereed No