Buscar
Mostrando ítems 1-1 de 1
Tesis Doctoral
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 ...