A new algebraic model for implementing expert systems represented under the `concept-attribute-value' paradigm
The paper introduces a new knowledge representation paradigm based on computing Gröbner bases. It takes an existing knowledge base in a ``concept-attribute-value format and converts it into an algebraic model which represents knowledge by means of polynomials. It is advocated that this transformation results in more straightforward, intuitive, and efficient way for knowledge processing.NEWLINENEWLINE Section 2 presents an overview of the ``concept-attribute-value representation, and Section 3 defines the algebraic model for it. It is shown how, by using this model, the following two problems can be tackled in algebraic terms: (1) determine whether a formula is derivable from a knowledge base, and (2) determine whether there is no possible state in a given knowledge base. The proofs are given in Section 6. An extended example in Section 4 illustrates the proposed algebraic paradigm. The example compares the implementation of an abstract expert system according to the algebraic model based on propositional logic and the algebraic model presented in the paper. Both implementations use the algebraic software CoCoA.NEWLINENEWLINE In Section 5, the author advocates the advantages of the proposed model for computing a polynomial-based knowledge representation over the one based on propositional logic, namely: (i) more natural way to represent knowledge, (ii) a simpler way to generate algebraic models, and (iii) a faster performance.
- 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
- A Groebner Bases Based Many-Valued Modal Logic Implementation in Maple
- 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
- scientific article; zbMATH DE number 4065140 (Why is no real title available?)
- Multi-valued logic and Gröbner bases with applications to modal logic
- Refutational theorem proving using term-rewriting systems
- 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
- A Groebner bases-based approach to backward reasoning in rule based expert systems
- A Knowledge Representation Tool for Autonomous Machine Learning Based on Concept Algebra
- An algebraic approach to rule based expert systems
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)
