Logica Abductiva y Lógica Paraconsistente Computacional - here

Capítulo 4
Logica abductiva de primer orden
En este capítulo centramos nuestro estudio en el razonamiento abductivo en la lógica de primer
orden. En este ámbito, consideraremos razonamientos tales como:
(∀x)(P (x) → Q(x)), Q(a), |=abd P (a)
Así, por ejemplo, si conocemos que “todo el que tiene gripe tiene fiebre, dolor muscular y falta de
apetito” y conocemos que “Cecilia tiene fiebre, dolor muscular y falta de apetito”, hay razones para
suponer que “Cecilia tiene gripe”.
Nuestro ejemplo de razonamiento puede simbolizarse en la lógica de primer orden como sigue:
P (x): x tiene gripe
Q(x): x tiene fiebre
S(x): x tiene dolor muscular
T (x): x tiene falta de apetito
c: Cecilia.
Con esta signatura, podemos simbolizar el razonamiento abductivo por:
(∀x)(P x → ((Q(x) ∧ S(x)) ∧ T (x)))
((Q(c) ∧ S(c)) ∧ T (c))
P (c)
La lógica clásica de primer orden, como sabemos, permite captar más detalles del lenguaje
natural que la lógica clásica proposicional. Para ello, considera en los enunciados atómicos la estructura
predicativa, que permite diferenciar “qué se predica” , de “qué” o “quién” se predica, y
permite expresar que una cierta propiedad la satisface un ente concreto, todos los entes, algún
ente o ningún ente de un determinado universo del discurso. En consecuencia, el alfabeto de los
lenguajes de primer orden disponen de símbolos que permiten:
representar elementos arbitrarios del dominio o universo del discurso, por medio de símbolos
de variable.
representar elementos específicos del universo del discurso, mediante símbolos de constante.
37
Abd