Repositorio de producción científica de la Universidad de Sevilla

Modelos formales de explicación en Lógica e inteligencia artificial

 

Advanced Search
 
Opened Access Modelos formales de explicación en Lógica e inteligencia artificial
Cites
Show item statistics
Icon
Export to
Author: Soler Toscano, Fernando
Director: Nepomuceno Fernández, Ángel
Department: Universidad de Sevilla. Departamento de Filosofía y Lógica y Filosofía de la Ciencia
Date: 2005
Document type: Doctoral Thesis
Abstract: 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.
Cite: Soler Toscano, F. (2005). Modelos formales de explicación en Lógica e inteligencia artificial. (Tesis Doctoral Inédita). Universidad de Sevilla, Sevilla.
Size: 1.075Mb
Format: PDF

URI: http://hdl.handle.net/11441/15131

This work is under a Creative Commons License: 
Atribución-NoComercial-SinDerivadas 4.0 España

This item appears in the following Collection(s)