An algebraic model for implementing expert systems based on the knowledge of different experts

DOI10.1016/j.matcom.2014.05.003OpenAlexW2060454088MaRDI QIDQ2228552

Antonio Hernando, Eugenio Roanes-Lozano

Publication date: 19 February 2021

Published in: Mathematics and Computers in Simulation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.matcom.2014.05.003

zbMATH Keywords

Groebner basessymbolic computingmultivalued logics

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Related Items

An algebraic approach for detecting nearly dangerous situations in expert systems, A logic-algebraic tool for reasoning with knowledge-based systems, A model of three-way decisions for knowledge harnessing

Uses Software

• CoCoA
• PolyBoRi

Cites Work

• Unnamed Item
• A new algebraic model for implementing expert systems represented under the `concept-attribute-value' paradigm
• Refutational theorem proving using term-rewriting systems
• Multi-valued logic and Gröbner bases with applications to modal logic
• An algebraic approach to rule based expert systems
• Polybori: A framework for Gröbner-basis computations with Boolean polynomials
• A logic and computer algebra-based expert system for diagnosis of anorexia
• A polynomial model for multi-valued logics with a touch of algebraic geometry and computer algebra
• A Gröbner bases-based rule based expert system for fibromyalgia diagnosis
• A polynomial model for logics with a prime power number of truth values
• Bruno Buchberger's PhD thesis 1965: An algorithm for finding the basis elements of the residue class ring of a zero dimensional polynomial ideal. Translation from the German