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)
Rulebased systems constitute a powerful tool for specification of knowledge in design and implementa...
ABSTRACT This article presents the development of an expert system for managing medical appropria...
Dissertation (MSc (Mathematics))--University of Pretoria, 2023.In this dissertation we explore the t...
Abstract This article presents a survey of the authors ’ research on knowledge extraction and verifi...
The idea of the Gröbner basis first appeared in a 1927 paper by F. S. Macaulay, who succeeded in cre...
A basis for an ideal is such that every element in the ideal can be expressed as a linear combinatio...
Gröbner basis is a particular kind of a generating set of an ideal in the polynomial ring S = K[x1, ...
Designing the knowledge database of an expert system is a difficult task that requires a close coop...
Gröbner bases are special sets of polynomials, which are useful to solve problems in many fields suc...
Boolean Gröbner bases are studied mainly in connection with cryptanalysis and formal verifica— tion ...
Gröbner bases can be used to answer fundamental questions concerning certain sets of polynomials. Fo...
AbstractComprehensive Gröbner bases for parametric polynomial ideals were introduced, constructed, a...
AbstractGröbner bases are distinguished sets of generators of ideals in polynomial rings. They can b...
AbstractRefining deep (multilayer) rule bases of an expert system with uncertainty to cover a set of...
AbstractThis work presents a new framework for Gröbner-basis computations with Boolean polynomials. ...
Rulebased systems constitute a powerful tool for specification of knowledge in design and implementa...
ABSTRACT This article presents the development of an expert system for managing medical appropria...
Dissertation (MSc (Mathematics))--University of Pretoria, 2023.In this dissertation we explore the t...
Abstract This article presents a survey of the authors ’ research on knowledge extraction and verifi...
The idea of the Gröbner basis first appeared in a 1927 paper by F. S. Macaulay, who succeeded in cre...
A basis for an ideal is such that every element in the ideal can be expressed as a linear combinatio...
Gröbner basis is a particular kind of a generating set of an ideal in the polynomial ring S = K[x1, ...
Designing the knowledge database of an expert system is a difficult task that requires a close coop...
Gröbner bases are special sets of polynomials, which are useful to solve problems in many fields suc...
Boolean Gröbner bases are studied mainly in connection with cryptanalysis and formal verifica— tion ...
Gröbner bases can be used to answer fundamental questions concerning certain sets of polynomials. Fo...
AbstractComprehensive Gröbner bases for parametric polynomial ideals were introduced, constructed, a...
AbstractGröbner bases are distinguished sets of generators of ideals in polynomial rings. They can b...
AbstractRefining deep (multilayer) rule bases of an expert system with uncertainty to cover a set of...
AbstractThis work presents a new framework for Gröbner-basis computations with Boolean polynomials. ...
Rulebased systems constitute a powerful tool for specification of knowledge in design and implementa...
ABSTRACT This article presents the development of an expert system for managing medical appropria...
Dissertation (MSc (Mathematics))--University of Pretoria, 2023.In this dissertation we explore the t...