An inference engine for propositional two-valued logic based on the radical membership problem

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1138, Issue , 1996, Pages 71-86

  Roanes Lozano, Eugenio ^a   Laita, Luis M ^b   Roanes Macías, Eugenio ^a  

^a UNIVERSIDAD COMPLUTENSE DE MADRID   (Spain)

^b UNIVERSIDAD POLITÉCNICA DE MADRID   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; ARTIFICIAL INTELLIGENCE; COMPUTATION THEORY;

COMMUTATIVE ALGEBRA; INFERENCE PROCESS; MEMBERSHIP PROBLEM; POLYNOMIAL MODELING; TWO-VALUED LOGIC;

KNOWLEDGE BASED SYSTEMS;

EID: 79851514326     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61732-9_51     Document Type: Conference Paper

References (18)

1. A. de Antonio: Una Interpretatión Algebraica de la Verificación de Sistemas Basados en el Conocimiento. Univ. Politécnica de Madrid (Ph.D. Thesis) (1994).
2. J.A. Alonso, E. Briales: Lógicas Polivalentes y Bases de Gröbner. In: C. Martin (editor): Actas del V Congreso de Lenguajes Naturales y Lenguajes Formales (1995) 307-315.
3. B. Buchberger: Applications of Gröbner Bases in non-linear Computational Geometry. In: J.R. Rice (editor): Mathematical Aspects of Scientific Software. IMA Volumes in Math, and its Applications, vol. 14. Springer-Verlag (1988).
4. D. Cox, J. Little, D. O’Shea: Ideals, Varieties, and Algorithms. Springer-Verlag (1991).
5. A. Capani, G. Niesi: CoCoA User’s Manual. University of Genova (1996).
6. H.B. Enderton: A Mathematical Introduction to Logic. Academic Press (1972).
7. P.R. Halmos: Lectures on Boolean Algebras. Springer-Verlag (1974).
8. A. Heck: Introduction to Maple. Springer-Verlag (1993).
9. J. Hsiang: Refutational Theorem Proving using Term-Rewriting Systems. Artificial Intelligence 25 (1985) 255-300.
10. D. Kapur, P. Narendran: An Equational Approach to Theorem Proving in First-Order Predicate Calculus. In: Proceedings of the 9th International Joint Conference on Artificial Intelligence (IJCAI-85), vol. 2 (1985) pages 1146-1153.
11. L. M. Laita, L. de Ledesma: Knowledge-Based Systems Verification. In: J.G. Williams, A. Kent (editors): Encyclopedia of Computer Science and Technology. M. Dekker (to appear).
12. L. M. Laita, B. Ramirez, L. de Ledesma A. Riscos: A Formal Model for Verification of Dynamic Consistency of KBSs. Computers fe Mathematics 29-5 (1995) 81-96.
13. L. M. Laita, L. de Ledesma, E. L. Roanes, E. M. Roanes.: An Interpretation of the Prepositional Boolean Algebra as a k-algebra. Effective Calculus. In: J. Campbell, J. Calmet (editors): Proceedings of the Second International Workshop/Conference on Artificial Intelligence and Symbolic Mathematical Computing (AISMC-2). Lecture Notes in Computer Science 958. Springer-Verlag 255-263.
14. E. L. Roanes, L. M. Laita, E. M. Roanes.: Maple V in A.I.: The Boolean Algebra Associated to a KBS. CAN Nieuwsbrief 14, (1995) 65-70.
15. st International Conference on Applications of Computer Algebra (IMACS). New Mexico University (USA) (1995) (electronic book).
16. L.M. Laita, E. L. Roanes: Verification of Knowledge Based Systems: An Algebraic Interpretation. In: Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI-95) (Workshop on Verification and Validation of Knowledge Based Systems). McGill University, Montreal (Canadá), (1995) 91-95.
17. E. Mendelson: Boolean Algebra. McGraw-Hill (1970).
18. J.R. Shoenfield: Mathematical Logic. Addisson-Wesley (1967).