A logic-algebraic tool for reasoning with Knowledge-Based Systems

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.

[1]  Antonio Hernando,et al.  An algebraic model for implementing expert systems based on the knowledge of different experts , 2015, Math. Comput. Simul..

[2]  Yan Zhang,et al.  Knowledge forgetting: Properties and applications , 2009, Artif. Intell..

[3]  L. Narváez-Macarro,et al.  Hasse-Schmidt derivations and coefficient fields in positive characteristics , 2002, math/0206261.

[4]  Kewen Wang,et al.  Semantic forgetting in answer set programming , 2008, Artif. Intell..

[5]  Franz Winkler,et al.  Polynomial Algorithms in Computer Algebra , 1996, Texts and Monographs in Symbolic Computation.

[6]  W. W. Bledsoe,et al.  Variable Elimination and Chaining in a Resolution-based Prover for Inequalities , 1980, CADE.

[7]  Emilio Briales Morales,et al.  Multi-Valued Logic and Gröbner Bases with Applications to Modal Logic , 1991, J. Symb. Comput..

[8]  Pierre Marquis,et al.  Conditional independence in propositional logic , 2002, Artif. Intell..

[9]  Eugenio Roanes-Lozano,et al.  A prototype of a RBES for personalized menus generation , 2017, Appl. Math. Comput..

[10]  Sheila A. McIlraith,et al.  Partition-based logical reasoning for first-order and propositional theories , 2005, Artif. Intell..

[11]  Antonio Hernando,et al.  An algebraic approach to rule based expert systems , 2010 .

[12]  Carsten Lutz,et al.  Conservative Extensions in the Lightweight Description Logic EL , 2007, CADE.

[13]  María-José Hidalgo-Doblado,et al.  Formally Verified Tableau-Based Reasoners for a Description Logic , 2013, Journal of Automated Reasoning.

[14]  Luis M. Laita,et al.  A computational system for diagnosis of depressive situations , 2006, Expert Syst. Appl..

[15]  G. G. Stokes.  "J." , 1890, The New Yale Book of Quotations.

[16]  Mikolás Janota,et al.  Minimal sets on propositional formulae. Problems and reductions , 2017, Artif. Intell..

[17]  Antonio Hernando,et al.  A Groebner bases-based approach to backward reasoning in rule based expert systems , 2009, Annals of Mathematics and Artificial Intelligence.

[18]  Jieh Hsiang,et al.  Refutational Theorem Proving Using Term-Rewriting Systems , 1985, Artif. Intell..

[19]  Antonio Hernando,et al.  A Gröbner bases-based rule based expert system for fibromyalgia diagnosis , 2012, Revista de la Real Academia de Ciencias Exactas, Fisicas y Naturales. Serie A. Matematicas.

[20]  Francisco-Jesús Martín-Mateos,et al.  Formal verification of a generic framework to synthesize SAT-provers , 2009, Journal of Automated Reasoning.

[21]  Antonio Hernando,et al.  A Polynomial Model for Logics with a Prime Power Number of Truth Values , 2010, Journal of Automated Reasoning.

[22]  David A. Cox,et al.  Ideals, Varieties, and Algorithms: An Introduction to Computational Algebraic Geometry and Commutative Algebra, 3/e (Undergraduate Texts in Mathematics) , 2007 .

[23]  Richard P. Brent,et al.  Faster Multiplication in GF(2)[x] , 2008, ANTS.

[24]  Pierre Marquis,et al.  Reasoning under inconsistency: A forgetting-based approach , 2010, Artif. Intell..

[25]  Juan Carlos Agudelo Agudelo,et al.  On polynomial semantics for propositional logics , 2016, J. Appl. Non Class. Logics.

[26]  Yan Zhang,et al.  Variable Forgetting in Reasoning about Knowledge , 2009, J. Artif. Intell. Res..

[27]  Yves Moinard,et al.  Forgetting Literals with Varying Propositional Symbols , 2007, J. Log. Comput..

[28]  R. Reiter,et al.  Forget It ! , 1994 .

[29]  Javier Larrosa,et al.  On the Practical use of Variable Elimination in Constraint Optimization Problems: 'Still-life' as a Case Study , 2005, J. Artif. Intell. Res..

[30]  E. Roanes-Lozano,et al.  A computer algebra approach to verification and deduction in many-valued knowledge systems , 1999, Soft Comput..

[31]  Carlos Roncero-Clemente,et al.  A multi-criteria computer package for power transformer fault detection and diagnosis , 2018, Appl. Math. Comput..