An algebraic approach to rule based expert systems

DOI10.5052/RACSAM.2010.04zbMath1197.68078OpenAlexW1500802888MaRDI QIDQ981968

Eugenio Roanes-Macías, Eugenio Roanes-Lozano, Luis M. Laita, Antonio Hernando

Publication date: 9 July 2010

Published in: Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Serie A: Matemáticas. RACSAM (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.5052/racsam.2010.04

zbMATH Keywords

Gröbner basesalgebraic inference engines

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)

Related Items (9)

An algebraic model for implementing expert systems based on the knowledge of different experts ⋮ 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 ⋮ A logic-algebraic tool for reasoning with knowledge-based systems ⋮ 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 approach from answer set programming to decision making in a railway interlocking system ⋮ An algebraic approach to DC railway electrification verification

Uses Software

• CoCoA
• Maple

Cites Work

• Refutational theorem proving using term-rewriting systems
• Multi-valued logic and Gröbner bases with applications to modal logic
• Wu's method and its application to perspective viewing
• Some features of \(CoCoA 3\)
• 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
• Automatic discovery of theorems in elementary geometry
• An accelerated-time simulation of departing passengers' flow in airport terminals
• Polynomial algorithms in computer algebra
• A Groebner bases-based approach to backward reasoning in rule based expert systems
• 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
• The Theory of Representation for Boolean Algebras
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: An algebraic approach to rule based expert systems