A Grobner bases-based shell for rule-based expert systems development

A Grobner Basis of a polynomial ideal is a very special kind of basis. It c haracterises the ideal and can be calculated by an effective algorithm. It has been shown how it is possible to use Grobner Bases to compute calculati ons 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 (Railw ay Interlockings, Medical Appropriateness Criteria), the ongoing developmen t projects (Museums Management, Stock Investment Consulting) and research p lanned for the immediate future (a full Grobner Bases-Based Shell for Rule- Based Expert System Development). (C) 2000 Elsevier Science Ltd. All rights reserved.