An algebraic approach to rule based expert systems
DOI10.5052/RACSAM.2010.04zbMATH Open1197.68078OpenAlexW1500802888MaRDI QIDQ981968FDOQ981968
Eugenio Roanes Macías, Eugenio Roanes-Lozano, Luis M. Laita, A. 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
[https://portal.mardi4nfdi.de/w/index.php?title=+Special%3ASearch&search=Gr%EF%BF%BD%EF%BF%BDbner+bases&go=Go Gr��bner bases]algebraic inference engines
Symbolic computation and algebraic computation (68W30) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10)
Cites Work
- Some features of \(CoCoA 3\)
- Polynomial algorithms in computer algebra
- The Theory of Representation for Boolean Algebras
- 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
- Automatic discovery of theorems in elementary geometry
- Wu's method and its application to perspective viewing
- 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
- An accelerated-time simulation of departing passengers' flow in airport terminals
- A Groebner bases-based approach to backward reasoning in rule based expert systems
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (10)
- An algebraic approach to DC railway electrification verification
- A logic-algebraic tool for reasoning with knowledge-based systems
- An algebraic model for implementing expert systems based on the knowledge of different experts
- A prototype of a RBES for personalized menus generation
- 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 expert system for managing medical appropriateness criteria based on computer algebra techniques
- The Logics' Explorer: a Maple package for exploring finite many-valued propositional logics
- A portable knowledge-based system for car breakdown evaluation
- Revisiting four-valued logics from \textit{Maple} using the \textit{Logics Explorer} package
Uses Software
This page was built for publication: An algebraic approach to rule based expert systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q981968)
