An algebraic approach to rule based expert systems

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 Gröbner bases theory. A shell, including a graphic user interface and inference engines for different logics (both...

Full description

Saved in:
Bibliographic Details
Published in:Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Serie A, Matemáticas Físicas y Naturales. Serie A, Matemáticas, 2010-03, Vol.104 (1), p.19-40
Main Authors: Roanes-Lozano, Eugenio, Laita, Luis M., Hernando, Antonio, Roanes-Macías, Eugenio
Format: Article
Language:English
Subjects:
Algebra
Applications of Mathematics
Mathematical and Computational Physics
Mathematics
Mathematics and Statistics
Studies
Theoretical
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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 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.
ISSN:1578-7303
1579-1505
DOI:10.5052/RACSAM.2010.04