Tesis Doctoral
Modelos formales de explicación en Lógica e inteligencia artificial
Autor/es | Soler Toscano, Fernando |
Director | Nepomuceno Fernández, Ángel |
Departamento | Universidad de Sevilla. Departamento de Filosofía y Lógica y Filosofía de la Ciencia |
Fecha de publicación | 2005 |
Fecha de depósito | 2014-11-27 |
Resumen | La abducción es el tipo de razonamiento en que, dada una teoría T (habitualmente un conjunto de fórmulas del lenguaje con el que se trabaje) y una observación O (generalmente una fórmula), tales que ni O ni su negación son ... La abducción es el tipo de razonamiento en que, dada una teoría T (habitualmente un conjunto de fórmulas del lenguaje con el que se trabaje) y una observación O (generalmente una fórmula), tales que ni O ni su negación son consecuencia lógica de T, se trata de buscar una explicación E (una fórmula) tal que O sea consecuencia lóg ica de la unión de T y E. El razonamiento abductivo, que no puede ser reducido a deducción, plantea interesantes problemas que van más allá de los aspectos lógicos, como la distinción entre las concepciones de "abducción como producto" y "abducción como proceso" o los diferentes estadios de "generación" y "selección" de las hipótesis explicativas. El razonamiento abductivo encuentra aplicaciones en numerosas disciplinas, desde la Inteligencia Artificial a la Lingüística, pasando por las Ciencias Cognitivas o la Filosofía de la Ciencia. |
Cita | Soler Toscano, F. (2005). Modelos formales de explicación en Lógica e inteligencia artificial. (Tesis Doctoral Inédita). Universidad de Sevilla, Sevilla. |
Ficheros | Tamaño | Formato | Ver | Descripción |
---|---|---|---|---|
Original_X_TD_FA-104.pdf | 1.075Mb | [PDF] | Ver/ | |