A logic-algebraic tool for reasoning with knowledge-based systems
From MaRDI portal
Publication:1994361
Abstract: A detailed exposition of foundations of a logic-algebraic model for reasoning with knowledge bases specified by propositional (Boolean) logic is presented. The model is conceived from the logical translation of usual derivatives on polynomials (on residue rings) which is used to design a new inference rule of algebro-geometric inspiration. Soundness and (refutational) completeness of the rule are proved. Some applications of the tools introduced in the paper are shown.
Recommendations
- scientific article; zbMATH DE number 1278710
- scientific article; zbMATH DE number 60119
- Algebraic Logic and Knowledge Bases
- scientific article; zbMATH DE number 1241674
- Logic versus Approximation
- The logic of knowledge bases
- scientific article; zbMATH DE number 4112075
- scientific article; zbMATH DE number 1418279
- Building a Knowledge Base System for an Integration of Logic Programming and Classical Logic
- scientific article; zbMATH DE number 4114591
Cites work
- scientific article; zbMATH DE number 3684932 (Why is no real title available?)
- scientific article; zbMATH DE number 1946872 (Why is no real title available?)
- scientific article; zbMATH DE number 2243387 (Why is no real title available?)
- A Groebner bases-based approach to backward reasoning in rule based expert systems
- A Gröbner bases-based rule based expert system for fibromyalgia diagnosis
- A multi-criteria computer package for power transformer fault detection and diagnosis
- A polynomial model for logics with a prime power number of truth values
- A prototype of a RBES for personalized menus generation
- An algebraic approach to rule based expert systems
- An algebraic model for implementing expert systems based on the knowledge of different experts
- Conditional independence in propositional logic.
- Conservative Extensions in the Lightweight Description Logic $\mathcal{EL}$
- Conservative Retractions of Propositional Logic Theories by Means of Boolean Derivatives: Theoretical Foundations
- Faster Multiplication in GF(2)[x]
- Forgetting Literals with Varying Propositional Symbols
- Formal verification of a generic framework to synthesize SAT-provers
- Formally verified tableau-based reasoners for a description logic
- Hasse-Schmidt derivations and coefficient fields in positive characteristics.
- Ideals, varieties, and algorithms. An introduction to computational algebraic geometry and commutative algebra
- Knowledge forgetting: properties and applications
- Minimal sets on propositional formulae. Problems and reductions
- Multi-valued logic and Gröbner bases with applications to modal logic
- On polynomial semantics for propositional logics
- Partition-based logical reasoning for first-order and propositional theories
- Polynomial algorithms in computer algebra
- Reasoning under inconsistency: a forgetting-based approach
- Refutational theorem proving using term-rewriting systems
- Semantic forgetting in answer set programming
- Variable Forgetting in Reasoning about Knowledge
Cited in
(11)- An algebraic approach to DC railway electrification verification
- An inference engine for propositional two-valued logic based on the radical membership problem
- An algebraic model of relevant backward inference based on equation solving
- A polynomial model for multi-valued logics with a touch of algebraic geometry and computer algebra
- An algebraic approach to revising propositional rule-based knowledge bases
- scientific article; zbMATH DE number 1684386 (Why is no real title available?)
- scientific article; zbMATH DE number 60119 (Why is no real title available?)
- Building a Knowledge Base System for an Integration of Logic Programming and Classical Logic
- A model of three-way decisions for knowledge harnessing
- A formal model for verification of dynamic consistency of KBSs
- Knowledge representation and reasoning based on computability logic
This page was built for publication: A logic-algebraic tool for reasoning with knowledge-based systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1994361)
