Razonamieto abductivo en l??ica cl??ica

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.

Author: Fernando Soler Toscano

Publisher: College Publications

Publication Date: Jul 26, 2012

Number of Pages: 126 pages

Binding: Paperback or Softback

ISBN-10: 184890083X

ISBN-13: 9781848900837