Logica Abductiva y Lógica Paraconsistente Computacional - here

5.1. LÓGICA EPISTÉMICA Y ABDUCCIÓN 69
a0 pregunta al agente a1 para resolver el objetivo O1; si O1 se obtiene en a1, entonces se
pueden obtener n (n¿0) explicaciones abductivas consistentes, E1i (donde i ∈ {1, . . . , n})
consistentes en el ramillete {a0, a1}, para O1.
a0 pregunta al agente a2 para resolver el objetivo O2; si O2 se obtiene en a2, entonces
se pueden obtener m (m > 0) explicaciones abductivas consistentes, E2j (donde j ∈
{1, . . . , m}) consistentes en el ramillete {a0, a2}, para O2.
La explicación abductiva resultante es o bien E1i (para algún i ∈ {1, . . . , n}) o bien E2j
(para algún j ∈ {1, . . . , m}).
Si tanto a1 como a2 fallan, la consulta competitiva falla.
2. Consideremos la pregunta colaborativa formulada por el agente a0:
? a1 > O1 & a2 > O2
que expresa que el agente a0 consulta al agente a1 para resolver O1 y a la vez al agente a2
para resolver el objetivo O2. La pregunta terminará con éxito si y solo si ambos agentes a1 y
a2 terminan con éxito. Esta pregunta tiene los efectos siguientes:
a0 pregunta al agente a1 para resolver el objetivo O1; si O1 se obtiene en a1, entonces
se pueden obtener n (n > 0) explicaciones abductivas consistentes, E1i (donde i ∈
{1, . . . , n}) consistentes en el ramillete {a0, a1}, para O1.
a0 pregunta al agente a2 para resolver el objetivo O2; si O2 se obtiene en a2, entonces
se pueden obtener m (m > 0) explicaciones abductivas consistentes, E2j (donde j ∈
{1, . . . , m}) consistentes en el ramillete {a0, a2}, para O2.
La explicación abductiva resultante para la consulta colaborativa es por lo tanto, el
conjunto
E = {Ek | (Ek = E1i ∪ E2j y Ek es consistente en {ao, a1, a2}}
Si fallan o a1 > O1 o a2 > O2, entonces la consulta q falla.
Definición 5.3 Un programa lógico abductivo es una terna (P, A, IC), donde:
P es un programa lógico (conjunto de cláusulas de programa; la teoría Θ en nuestro desarrollo
anterior), posiblemente con átomos abducibles en los cuerpos de las cláusulas;
A es un conjunto de predicados abducibles, es decir, predicados que pueden ser usados
como explicaciones y que no están definidos en la teoría;
IC es un conjunto de restricciones de integridad que han de ser satisfechas por la teoría. 4
En esencia, las restricciones de integridad reducen el número de explicaciones para una observación.
Dado un programa abductivo (P, A, IC) y una fbf, O (observación), el propósito de la abducción
es encontrar un conjunto de explicaciones atómicas, E, posiblemente minimal, tales que:
4 Aunque los predicados abducibles no están definidos en la teoría, las restricciones de integridad nos pueden
permitir disponer alguna información sobre ellos.