LOGICA COMPUTACIONAL ISBN 8497321820Autor PANIAGUA ARIS ENRIQUEMARTIN RUBIO FERNANDO , SANCHEZ GONZALEZ JUAN LUISEditorial PARANINFOPeso 0,36 Kg.Edición 2003,en Rústica224 páginasIdioma Español ComentarioLos orígenes de la Lógica Teórica con Aristóteles, y sus avances con Boole, Russell, Kleene y Gentzen, junto a los de la Lógica Computacional con Herbrand, Gilmore, Davis y Putman y Robinson, hicieron que en la segunda mitad del S.XX naciera en Dormouth, en su enfoque simbólico, la Inteligencia Artificial (IA), el ámbito de la ciencia que se encarga de estudiar, diseñar y crear Sistemas Inteligentes.El presente texto pretende servir de elemento base para la adquisición de los fundamentos, conceptos, componentes y enfoques del componente lógico de dichos sistemas. Es a causa de esta relación entre la lógica y el desarrollo de los Sistemas Inteligentes por la que es necesaria la utilización de mecanismos de razonamiento automático, y por este mismo motivo no hemos querido realizar una separación entre la Lógica Proposicional y la lógica de Predicados como sistemas lógicos, sino como niveles de enriquecimiento distintos en la representación del conocimiento.En este texto, la aprehensión de la lógica por parte del lector se basa en un recorrido por los trés componentes de un Sistema Lógico: el sintáctico, que nos permite construir los enunciados; el interpretativo, que nos permite establecer el significado de verdad de los enunciados construidos; y el axiomático, que nos permite crear nuevos enunciados a partir de los existentes y demostrar la validez de un razonamiento. Basándonos en estos tres componentes en el libro se describen y analizan los principales métodos axiomáticos e interpretativos, para, seguidamente, desarrollar los métodos de razonamiento automático, el componente esencial de los Sistemas Inteligentes.