A polynomial model for multi-valued logics with a touch of algebraic geometry and computer algebra
From MaRDI portal
Publication:1404692
DOI10.1016/S0378-4754(97)00088-8zbMath1017.03509OpenAlexW2088708675MaRDI QIDQ1404692
Luis M. Laita, Eugenio Roanes-Macías, Eugenio Roanes-Lozano
Publication date: 21 August 2003
Published in: Mathematics and Computers in Simulation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s0378-4754(97)00088-8
Mathematical modelsComputational geometrysimulationComputational methodsalgebraPolynomialsComputerKnowledge based systemsFormal logicMultivalued propositional logic
Related Items (20)
A logic and computer algebra-based expert system for diagnosis of anorexia ⋮ A computer algebra approach to the design of routes and the study of their compatibility in a railway interlocking ⋮ A Groebner bases-based approach to backward reasoning in rule based expert systems ⋮ A Gröbner bases-based rule based expert system for fibromyalgia diagnosis ⋮ A new algebraic model for implementing expert systems represented under the `concept-attribute-value' paradigm ⋮ 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 ⋮ An algebraic model for implementing expert systems based on the knowledge of different experts ⋮ A natural language for implementing algebraically expert systems ⋮ An algebraic approach for detecting nearly dangerous situations in expert systems ⋮ Revisiting four-valued logics from \textit{Maple} using the \textit{Logics Explorer} package ⋮ A portable knowledge-based system for car breakdown evaluation ⋮ A prototype of a RBES for personalized menus generation ⋮ The Logics' Explorer: a Maple package for exploring finite many-valued propositional logics ⋮ A logic-algebraic approach to decision taking in a railway interlocking system ⋮ An algebraic approach to rule based expert systems ⋮ An approach from answer set programming to decision making in a railway interlocking system ⋮ Polynomial semantics for modal logics ⋮ A Groebner Bases Based Many-Valued Modal Logic Implementation in Maple ⋮ An expert system for managing medical appropriateness criteria based on computer algebra techniques
Uses Software
Cites Work
This page was built for publication: A polynomial model for multi-valued logics with a touch of algebraic geometry and computer algebra
