Librería Samer Atenea
Librería Aciertas (Toledo)
Kálamo Books
Librería Perelló (Valencia)
Librería Elías (Asturias)
Donde los libros
Librería Kolima (Madrid)
Librería Proteo (Málaga)
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.
