A Gröbner bases-based shell for rule-based expert systems development

ABSTRACT A Gröbner Basis of a polynomial ideal is a very special kind of basis. It characterises the ideal and can be calculated by an effective algorithm. It has been shown how it is possible to use Gröbner Bases to compute calculations in Boolean and multi-valued logics. We have extended this work to deal with consistency and knowledge extraction in Rule-Based Expert Systems. In this article, we briefly describe the applications already developed (Railway Interlockings, Medical Appropriateness Criteria), the ongoing development projects (Museums Management, Stock Investment Consulting) and research planned for the immediate future (a full Gröbner Bases-Based Shell for Rule-Based Expert System Development)