Logica Abductiva y Lógica Paraconsistente Computacional - here

2 CAPÍTULO 1. INTRODUCCIÓN
sean consistentes entre sí, pero no con las afirmaciones en otra sub-teoría. Por lo tanto,
dada una afirmación, será preciso conocer qué sub-teorías son relevantes.
¿con qué tipo de razonamientos debemos dotar al sistema? Si queremos simular
el modo de razonar de las personas, sabemos que no podemos limitarnos al razonamiento
deductivo, tendremos también que dotarlo de capacidad de otros modos de razonamiento
que utilizamos habitualmente. Tendremos que dotarlo de la la capacidad de razonar con información
imprecisa o incompleta e incluso inconsistente. Ante todas estas situaciones las
personas no pierden su capacidad de razonar. Por lo tanto, es preciso contemplar tipos de razonamiento
tales como los denominados razonamiento abductivo, inductivo, paraconsistente,
probabilístico, . . .
En este texto nos centraremos en el razonamiento abductivo, y, concretamente, en aquellos
aspectos de este tipo de razonamiento en los que la computación está interesada. La profesora
Atocha Aliseda 2 explica de forma sencilla e intuitiva lo que para la computación es abducción:
Dado un conjunto de premisas y una conclusión, supongamos que le aplicamos un algoritmo
de resolución para estudiar la validez y el resultado es negativo. Si pudiéramos
depurar el algoritmo podríamos encontrar dónde falla y podríamos ver que le faltaría al
conjunto de premisas para que el razonamiento fuera válido. “Lo que le falta” sería posiblemente
un conjunto de fórmulas. Pues la abducción trataría de encontrar ese conjunto
de fórmulas”.
Antes de abordar la tarea de formalización, conozcamos un poco sobre este tipo de razonamiento:
El padre de la abducción es Charles Sanders Peirce (1839-1914). La definición de abducción que
Peirce da es la siguiente:
Razonamiento que deriva hipótesis explicativas para una observación, a partir de un
conjunto de hechos.
Según Peirce, el ser humano tiene tres modos destacados de razonar: el deductivo, el inductivo y
el abductivo. Veamos ejemplos de cada uno de ellos:
I) Ejemplos de deducción:
Regla: “Todas las bolas de la bolsa B1 son blancas”.
Caso: “Estas bolas provienen de la bolsa B1”.
Deducción (de la conclusión): “Estas bolas son blancas”.
Regla: “Los animales sin bilis son longevos”.
Caso: “El hombre y el caballo no tienen bilis”.
Deducción (de la conclusión): “El hombre y el caballo son longevos”.
Regla: “Si el fusible está fundido, entonces la lavadora no funciona”.
Caso: “El fusible está fundido”.
Deducción (de la conclusión): “La lavadora no funciona”.
2 En nuestro estudio, nos basaremos en los trabajos de la profesora Atocha Aliseda que ha estudiado ampliamente
la abducción.