Métodos algebraicos de razonamiento automático

El objetivo del presente trabajo es la resolucion mediante algoritmos algebraicos de problemas del calculo proposicional clasico, de los calculos proposicionales polivalentes y de la logica monadica. En otras palabras, el objetivo es una aplicacion del algebra computacional al razonamiento automatico. En el Capitulo 1, definimos y caracterizamos las relaciones canonicas. El Teorema 1.30 y el Corolario 1.31 resumen todas las caracterizaciones. En el capitulo siguiente usaremos las relaciones canonicas para estudiar las bases de Grobner.En el Capitulo 2, estudiamos las bases de Grobner en Zp [X1,�,Xn] y damos algoritmos para construirlas.En el Capitulo 3, usamos las bases de Grobner para resolver algoritmicamente de los calculos proposicionales.En la primera parte estudiamos el calculo proposicional clasico.En la segunda parte estudiamos el calculo proposicional polivalente.En el Capitulo 4, usamos las bases de Grobner para resolver algoritmicamente problemas de la logica monadica.El Apendice A es un programa en LE_LISP version 15 que contiene los algoritmos para el calculo proposicional clasico y bases de Grobner en Z2 [X1,�,Xn].El Apendice B es una sesion correspondiente al programa anterior.