ISBN-13: 9781848900837 / Hiszpański / Miękka / 2012 / 126 str.
El razonamiento abductivo ha recibido una gran atencion en los ultimos anos gracias a sus aplicaciones en diversas disciplinas, desde la epistemologia hasta la lingu 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."
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.