It will be shipped from our warehouse between Monday, May 13 and Tuesday, May 14.
You will receive it anywhere in United States between 1 and 3 business days after shipment.
Razonamieto Abductivo en Lógica Clásica
Fernando Soler Toscano
Synopsis "Razonamieto Abductivo en Lógica Clásica"
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.