A natural language for implementing algebraically expert systems

DOI10.1016/j.matcom.2016.04.006OpenAlexW2346832806MaRDI QIDQ2228853

Eugenio Roanes-Lozano, Antonio Hernando, Roberto Maestre-Martínez

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.2016.04.006

zbMATH Keywords

computer algebra, Gröbner bases, rule based expert systems

Mathematics Subject Classification ID

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

Uses Software

• CoCoA
• Maple
• PolyBoRi

Cites Work

• Unnamed Item
• Refutational theorem proving using term-rewriting systems
• Multi-valued logic and Gröbner bases with applications to modal logic
• 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 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
• A Groebner Bases Based Many-Valued Modal Logic Implementation in Maple

This page was built for publication: A natural language for implementing algebraically expert systems