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...