Razonamieto Abductivo En Logica Clasica

El razonamiento abductivo ha recibido una gran atención en los últimos años gracias a sus aplicaciones en diversas disciplinas, desde la epistemología hasta la lingüística o la inteligencia artificial. Este libro presenta
algunas de las aproximaciones a la abducción más populares dentro de la lógica clásica, tanto proposicional como de predicados.

Dado el interés de la abducción dentro de la programación logica, el libro incluye un capítulo dedicado a las aplicaciones de la abducción en el razonamiento automático. Igualmente, se ofrece un razonador abductivo escrito
en Prolog. En los apéndices se encuentra el código fuente, así como una pequeña
introducción a la programación lógica.

A lo largo del libro se incluyen numerosos ejemplos de problemas abductivos resueltos con cada uno de los sistemas que se presentan.