A Polynomial Model for Logics with a Prime Power Number of Truth Values

This paper is concerned with a polynomial model (residue class ring) for a given q-valued propositional logic (where q is a power of a prime integer). This model allows to transfer logic problems into algebraic terms, resulting in an immediate computational approach to Knowledge Based Systems based on multi-valued logics. By means of this new approach, we have extended an already existent algebraic model to logics with a prime power number of truth values, while also getting more straightforward proofs and a more direct enunciation of the central theorem of this model.

[1]  David A. Cox,et al.  Ideals, Varieties, and Algorithms , 1997 .

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

[3]  John R. Rice,et al.  Mathematical aspects of scientific software , 1988 .

[4]  임종인,et al.  Gröbner Bases와 응용 , 1995 .

[5]  Luis M. Laita,et al.  A logic and computer algebra-based expert system for diagnosis of anorexia , 2002, Math. Comput. Simul..

[6]  Bruno Buchberger,et al.  Applications of Gro¨bner bases in non-linear computational geometry , 1988 .

[7]  L. M. Laita,et al.  A polynomial model for multi-valued logics with a touch of algebraic geometry and computer algebra , 1998 .

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

[9]  E. Roanes-Lozano,et al.  An Algebraic Approach to Detect Logical Inconsistencies in Medical Appropriateness Criteria , 2007, 2007 29th Annual International Conference of the IEEE Engineering in Medicine and Biology Society.

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

[11]  Bruno Buchberger,et al.  Applications of Gröbner Bases in Non-linear Computational Geometry , 1987, Trends in Computer Algebra.

[12]  Luis M. Laita,et al.  Knowledge representation for diagnosis of care problems through an expert system: Model of the auto-care deficit situations , 2008, Expert Syst. Appl..

[13]  W. W. Adams,et al.  An Introduction to Gröbner Bases , 2012 .

[14]  Bruno Buchberger,et al.  Bruno Buchberger's PhD thesis 1965: An algorithm for finding the basis elements of the residue class ring of a zero dimensional polynomial ideal , 2006, J. Symb. Comput..

[15]  José Antonio Alonso Jiménez,et al.  Lógicas polivalentes y bases de Gröbner , 1990 .

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

[17]  Luis M. Laita,et al.  An Inference Engine for Propositional Two-valued Logic Based on the Radical Membership Problem , 1996, AISMC.

[18]  Victor Maojo,et al.  An Expert System for Managing Medical Appropriateness Criteria Based on Computer Algebra Techniques , 2001 .

[19]  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 .

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

[21]  Luis de Ledesma,et al.  An Interpretation of the Propositional Boolean Algebra as k-algebra. Effective Calculus , 1994, AISMC.

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