Modelos formales de explicación en Lógica e inteligencia artificial
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)...
| Autor: | |
|---|---|
| Formato: | tesis doctoral |
| Fecha de publicación: | 2005 |
| País: | España |
| Recursos: | Universidad de Sevilla (US) |
| Repositorio: | idUS. Depósito de Investigación de la Universidad de Sevilla |
| OAI Identifier: | oai:idus.us.es:11441/15131 |
| Acesso em linha: | http://hdl.handle.net/11441/15131 |
| Access Level: | acceso abierto |
| Palavra-chave: | Lógica Inteligencia artificial |
| Resumo: | 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. |
|---|