Origin: U.S.A.
(Import costs included in the price)
It will be shipped from our warehouse between Monday, May 27 and Wednesday, June 12.
You will receive it anywhere in United Kingdom between 1 and 3 business days after shipment.
Razonamieto Abductivo en Lógica Clásica (in Spanish)
Fernando Soler Toscano
Synopsis "Razonamieto Abductivo en Lógica Clásica (in Spanish)"
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.