Resumen de Métodos algebraicos de razonamiento automático
El objetivo del presente trabajo es la resolución mediante algoritmos algebraicos de problemas del cálculo proposicional clásico, de los cálculos proposicionales polivalentes y de la lógica monádica. En otras palabras, el objetivo es una aplicación del álgebra computacional al razonamiento automático. En el Capítulo 1, definimos y caracterizamos las relaciones canónicas. El Teorema 1.30 y el Corolario 1.31 resumen todas las caracterizaciones. En el capítulo siguiente usaremos las relaciones canónicas para estudiar las bases de Gröbner.En el Capítulo 2, estudiamos las bases de Gröbner en Zp [X1,�,Xn] y damos algoritmos para construirlas.En el Capítulo 3, usamos las bases de Gröbner para resolver algorítmicamente de los cálculos proposicionales.En la primera parte estudiamos el cálculo proposicional clásico.En la segunda parte estudiamos el cálculo proposicional polivalente.En el Capítulo 4, usamos las bases de Gröbner para resolver algorítmicamente problemas de la lógica monádica.El Apéndice A es un programa en LE_LISP versión 15 que contiene los algoritmos para el cálculo proposicional clásico y bases de Gröbner en Z2 [X1,�,Xn].El Apéndice B es una sesión correspondiente al programa anterior.
