Razonamieto Abductivo En Logica Clasica

El razonamiento abductivo ha recibido una gran atencin en los ltimos aos gracias a sus aplicaciones en diversas disciplinas, desde la epistemologa hasta la lingustica o la inteligencia artificial. Este libro presenta
algunas de las aproximaciones a la abduccin ms populares dentro de la lgica clsica, tanto proposicional como de predicados.

Dado el inters de la abduccin dentro de la programacin logica, el libro incluye un captulo dedicado a las aplicaciones de la abduccin en el razonamiento automtico. Igualmente, se ofrece un razonador abductivo escrito
en Prolog. En los apndices se encuentra el cdigo fuente, as como una pequea
introduccin a la programacin lgica.

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