A new algebraic model for implementing expert systems represented under the `concept-attribute-value' paradigm

DOI10.1016/j.matcom.2010.06.020zbMath1246.68227OpenAlexW2017954246MaRDI QIDQ417951

Antonio Hernando

Publication date: 14 May 2012

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

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

zbMATH Keywords

Gröbner baseslogic and symbolic computingrule based expert systems

Mathematics Subject Classification ID

Knowledge representation (68T30) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)

Related Items (2)

An algebraic model for implementing expert systems based on the knowledge of different experts ⋮ An algebraic approach for detecting nearly dangerous situations in expert systems

Uses Software

• CoCoA
• Maple

Cites Work

• Unnamed Item
• Refutational theorem proving using term-rewriting systems
• Multi-valued logic and Gröbner bases with applications to modal logic
• 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 expert system for managing medical appropriateness criteria based on computer algebra techniques
• 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 new algebraic model for implementing expert systems represented under the `concept-attribute-value' paradigm