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

DOI10.1016/J.MATCOM.2010.06.020zbMATH Open1246.68227OpenAlexW2017954246MaRDI QIDQ417951FDOQ417951

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

Recommendations

• A Groebner bases-based approach to backward reasoning in rule based expert systems
• An algebraic approach to rule based expert systems
• An expert system for managing medical appropriateness criteria based on computer algebra techniques
• A polynomial model for multi-valued logics with a touch of algebraic geometry and computer algebra
• A Groebner Bases Based Many-Valued Modal Logic Implementation in Maple

zbMATH Keywords

[https://portal.mardi4nfdi.de/w/index.php?title=+Special%3ASearch&search=Gr%EF%BF%BD%EF%BF%BDbner+bases&go=Go Gr��bner bases]logic 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)

Cites Work

• 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
• Title not available (Why is that?)
• 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
• A Groebner Bases Based Many-Valued Modal Logic Implementation in Maple
• Refutational theorem proving using term-rewriting systems
• Multi-valued logic and Gröbner bases with applications to modal logic

Cited In (3)

• An algebraic model for implementing expert systems based on the knowledge of different experts
• A Knowledge Representation Tool for Autonomous Machine Learning Based on Concept Algebra
• An algebraic approach for detecting nearly dangerous situations in expert systems

Uses Software

• CoCoA
• Maple

This page was built for publication: A new algebraic model for implementing expert systems represented under the `concept-attribute-value' paradigm

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q417951)