Search
Now showing items 1-1 of 1
PhD Thesis
Modelos formales de explicación en Lógica e inteligencia artificial
(2005)
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 ...