Razonamieto abductivo en lógica clásica

El razonamiento abductivo ha recibido una gran atencion en los ultimos anos gracias a sus aplicaciones en diversas disciplinas, desde la epistemologia hasta la lingüistica o la inteligencia artificial. Este libro presenta algunas de las aproximaciones a la abduccion mas populares dentro de la logica clasica, tanto proposicional como de predicados. Dado el interes de la abduccion dentro de la programacion logica, el libro incluye un capitulo dedicado a las aplicaciones de la abduccion en el razonamiento automatico. Igualmente, se ofrece un razonador abductivo escrito en Prolog. En los apendices se encuentra el codigo fuente, asi como una pequena introduccion a la programacion logica. A lo largo del libro se incluyen numerosos ejemplos de problemas abductivos resueltos con cada uno de los sistemas que se presentan.