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 presentaalgunas 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 escritoen Prolog. En los apéndices se encuentra el código fuente, así como una pequeñaintroducció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.