A polynomial model for multi-valued Logics with a touch of Algebraic Geometry and Computer Algebra

Mathematics and Computers in Simulation

Volumn 45, Issue 1-2, 1998, Pages 83-99

  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

COMPUTATIONAL GEOMETRY; COMPUTATIONAL METHODS; COMPUTER SIMULATION; FORMAL LOGIC; KNOWLEDGE BASED SYSTEMS; POLYNOMIALS;

COMPUTER ALGEBRA; MULTIVALUED PROPOSITIONAL LOGIC;

MATHEMATICAL MODELS;

EID: 0031699024     PISSN: 03784754     EISSN: None     Source Type: Journal    
DOI: 10.1016/s0378-4754(97)00088-8     Document Type: Article

References (15)

1. J.A. Alonso, E. Briales, Lógicas Polivalentes y Bases de Gröbner, in: C. Martin (Ed.), Actas del V Congreso de Lenguajes Naturales y Lenguajes Formales, 1989, pp. 307-315.
2. B. Buchberger, Applications of Gröbner Bases in non-linear Computational Geometry, in: J.R. Rice (Ed.), Mathematical Aspects of Scientific Software, IMA Volumes in Math. and its Applications, vol. 14, Springer, Berlin, 1988.
3. D. Cox, J. Little, D. O'Shea, Ideals, Varieties, and Algorithms, Springer, Berlin, 1991.
4. A. Capani, G. Niesi, CoCoA User's Manual, Dept. Mathematics, Univ. of Genova, 1996.
5. J. Chazarain, A. Riscos, J.A. Alonso, E. Briales, Multi-valued Logic and Gröbner Bases with Applications to Modal Logic, J. Symbolic Computation 11 (1991) 181-194.
6. D. Kapur, P. Narendran, An Equational Approach to Theorem Proving in First-order Predicate Calculus, Proceedings of the 9th International Joint Conference on Artificial Intelligence (IJCAI-85), vol. 2, pp. 1146-1153.
7. L.M. Laita, L. de Ledesma, E. Roanes L., E. Roanes M., An Interpretation of the Propositional Boolean Algebra as a k-algebra, Effective Calculus, in: J. Campbell, J. Calmet (Eds.), Proceedings of the Second International Workshop/ Conference on Artificial Intelligence and Symbolic Mathematical Computing (AISMC-2), Lecture Notes in Computer Science, vol. 958, Springer, Berlin, 1995, pp. 255-263.
8. L.E. Roanes, L.M. Laita, M.E. Roanes, Maple V in A.I.: The Boolean Algebra Associated to a KBS, CAN Nieuwsbrief 14 (1995) pp. 65-70.
9. E. Roanes L., L.M. Laita, Verification of Knowledge Based Systems with Commutative Algebra and Computer Algebra Techniques, Proceedings of the 1st International Conference on Applications of Computer Algebra (IMACS), New Mexico University, USA, 1995 (electronic book).
10. L.M. Laita, E. Roanes L., Verification of Knowledge Based Systems: An Algebraic Interpretation, 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, pp. 91-95.
11. L.M. Laita, E. Roanes L., J.A. Alonso, E, Briales, Algebraic Verification of KBSs, Proceedings of the 13th National Conference on Artificial Intelligence (AAAI-96) (Workshop on Verification and Validation of Knowledge Based Systems and Subsystems), Portland, USA, 1996, pp. 122-129.
12. L.M. Laita, E. Roanes L., A Computer Algebraic Method for Verification and Deduction in KBSs: Theory and Implementation, Proceedings of the 12th European Conference on Artificial Intelligence (ECAI-96), Budapest University, Hungary, 1996, pp. 5-10.
13. E. Roanes L., L.M. Laita, E. Roanes M., An Inference Engine for Propositional Two-valued Logic Based on the Radical Membership Problem, in: J. Campbell, J. Calmet, J. Pfalzgraf (Eds.), Proceedings of the Third International Workshop/ Conference on Artificial Intelligence and Symbolic Mathematical Computing (AISMC-3), Lecture Notes in Computer Science, vol. 1138, Springer, Berlin, 1996, pp. 71-86.
14. E. Roanes L., L.M. Laita, E. Roanes M., Effective Calculus of Polynomial Forms of the Logical Functions of a given Multi-valued Logic with a CAS, Preprint.
15. R. Turner, Logics for Artificial Intelligence, Ellis Horwood, Chichester, 1984.