An algebraic approach for detecting nearly dangerous situations in expert systems

DOI10.1016/j.matcom.2016.04.001OpenAlexW2341415061MaRDI QIDQ2228856

Antonio Hernando, Eugenio Roanes-Lozano, 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.001

zbMATH Keywords

Gröbner baseslogic and symbolic computingrule based expert systems

Mathematics Subject Classification ID

Computer science (68-XX) Systems theory; control (93-XX)

Uses Software

• CoCoA
• PolyBoRi

Cites Work

• A logic approach to decision taking in a railway interlocking system using Maple
• A new algebraic model for implementing expert systems represented under the `concept-attribute-value' paradigm
• A logic-algebraic approach to decision taking in a railway interlocking system
• 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
• An algebraic model for implementing expert systems based on the knowledge of different experts
• A Groebner bases-based approach to backward reasoning in rule based expert systems
• A polynomial model for logics with a prime power number of truth values