Refutational theorem proving using term-rewriting systems
Artificial Intelligence
Applications of Gro¨bner bases in non-linear computational geometry
Mathematical aspects of scientific software
Multi-valued logic and Gröner bases with applications to modal logic
Journal of Symbolic Computation
A polynomial model for multi-valued logics with a touch of algebraic geometry and computer algebra
Selected papers from the 1996 or 1997 IMACS-ACA conference on Non-standard applications of computer algebra
A logic and computer algebra-based expert system for diagnosis of anorexia
Mathematics and Computers in Simulation
A Framework for Representing Knowledge
A Framework for Representing Knowledge
Expert Systems with Applications: An International Journal
A Groebner Bases Based Many-Valued Modal Logic Implementation in Maple
Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics
An equational approach to theorem proving in first-order predicate calculus
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 2
Hi-index | 0.00 |
This paper is concerned with expounding a new representation paradigm for modeling expert systems based on computing Groebner Bases. Previous research on Groebner Bases expert systems has so far been connected to modeling expert systems based on propositional logics. Our approach instead is based on the well-known Artificial Intelligence 'Concept-Attribute-Value' paradigm for representing knowledge. More precisely, our research is based on translating an already existent expert system described in terms of the 'Concept-Attribute-Value' paradigm to a new algebraic model which represents knowledge by means of polynomials. In this way, issues about consistence and inference within this expert system will be, through this new model, transformed into algebraic problems involving calculating Groebner Bases. By using this new model of ours, some interesting advantages ensue: on the one hand, knowledge representation may be performed in a more straightforward and intuitive way; on the other, calculating the Groebner Bases associated to our algebraic model is usually faster adopting this new 'Concept-Attribute-Value'-based paradigm than it was in previous propositional logic-based expert systems.