Logica Abductiva y Lógica Paraconsistente Computacional - here
Logica Abductiva y Lógica Paraconsistente Computacional - here
Logica Abductiva y Lógica Paraconsistente Computacional - here
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
4.3. δ-RESOLUCIÓN ABDUCTIVA EN LA LÓGICA DE PRIMER ORDEN 59<br />
Definición 4.39 Una δ-resolvente para los cubos D1 y D2 es una de las siguientes δ-resolventes<br />
binarias:<br />
1. Una δ-resolvente binaria de D1 y D2.<br />
2. Una δ-resolvente binaria de D1 y un factor de D2.<br />
3. Una δ-resolvente binaria de un factor de D1 y D2.<br />
4. Una δ-resolvente binaria de un factor de D1 y un factor de D2.<br />
Ejemplo 4.13 Podemos δ-resolver los cubos<br />
D1 = Q(x) ∧ ¬R(x) ∧ P (x, y) ∧ P (f(z), f(z)) y<br />
D2 = ¬S(u) ∧ ¬R(w) ∧ ¬P (f(a), f(a)) ∧ ¬P (f(w), f(w))<br />
considerando como umg para el conjunto de átomos<br />
{P (x, y), P (f(z), f(z)), P (f(a), f(a)), P (f(w), f(w))}<br />
es θ = {x/f(a), y/f(a), z/a, w/a}. Hallamos la δ-resolvente mediante θ y obtenemos el cubo<br />
Q(f(a)) ∧ ¬R(f(a)) ∧ ¬S(u) ∧ ¬R(a)<br />
4.3.0.1. Búsqueda de soluciones explicativas mediante δ-resolución<br />
Ahora, podemos extender de forma natural el método estudiado en el caso proposicional para la<br />
búsqueda de soluciones explicativas de un problema abductivo. Consideremos un problema abductivo<br />
(Θ, O), con Θ = {A1, . . . , An} ( Θ una teoría contingente y O una observación contingente).<br />
Buscamos soluciones explicativas conjuntivas, E = ℓ1 ∧ . . . ∧ ℓk.<br />
Por lo tanto, los pasos a seguir para la búsqueda de soluciones explicativas minimales de un<br />
problema abductivo (Θ, O) con Ω = {A1, . . . , An} son los siguientes:<br />
1. Hallar una forma normal de Herbrand para (¬A1 ∨ . . . ∨ An), a la que denotaremos por<br />
Ω ¬Θ<br />
= {D ¬ Θ<br />
1 , . . . , D ¬ Θ<br />
nΘ }<br />
2. Hallar una forma normal de Herbrand para O, denotada Ω O<br />
= {D O<br />
1 , . . . , DO<br />
nO }<br />
3. Hallar una forma normal de Herbrand para F (¬A1 ∨ . . . ∨ An ∨ O), a la que denotaremos<br />
Ω ¬Θ∪O<br />
= {D ¬Θ∪O<br />
1 , . . . , D ¬Θ∪O<br />
n }<br />
¬Θ∪O<br />
Y proceder como sigue:<br />
I) Aplicar δ-resolución por saturación a Ω ¬Θ∪O<br />
, obteniéndo así las posibles soluciones planas<br />
minimales.<br />
II) De entre estas soluciones, E = ℓ1 ∧. . .∧ℓk, seleccionar las que cumplen (CONS) y (EXPL).