Titulo: “Hacia una concepción generalizada de la abducción, su modelización en lógicas no clásicas y su implementación en herramientas informáticas”.
Directores: Dr. D. Ángel Nepomuceno Fernández y Dr. D. Fernando Soler Toscano (Universidad de Sevilla)
Sinopsis: Entre los resultados de esta investigación se presenta una propuesta que generaliza sustancialmente la concepción sobre la abducción comúnmente aceptada en la actualidad, a la vez que ha establecido una tipología que amplía la hasta ahora existente. Del mismo modo ha probado de manera rigurosa importantes resultados sobre la caracterización estructural de ciertos tipos de relaciones inferenciales, dando respuesta a problemas que han permanecido abiertos casi dos décadas. También se han realizado varias aportaciones que permiten la modelización de la inferencia abductiva en sistemas lógicos no clásicos, teniendo en cuenta especialmente ciertas características que inciden sobre sus propiedades computacionales.
