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