Logica Abductiva y Lógica Paraconsistente Computacional - here

66 CAPÍTULO 5. APLICACIONES DE LA LÓGICA ABDUCTIVA
En el caso colaborativo, los subproblemas no serán completamente independientes, ya que
las explicaciones abductivas encontradas por separado por cada agente tendrán que ser “conjuntadas”
y mantener la consistencia.
En el caso competitivo, será preciso “confrontar” las explicaciones abductivas y disponer de
un mecanismo de selección.
Para abordar estas tareas, la arquitectura ALIAS utiliza el lenguaje LAILA (Language for Abductive
Logic Agents).
El lenguaje LAILA
El alfabeto de LAILA es
donde:
a LAILA = {true, p, q, . . . , p1, p2, . . . pn, . . . , . . . , q1, q2, . . . , a0, . . . , an, not, ←, &, ; , >, ↓, , }
p, q, . . . , p1, p2, . . . pn, . . . , . . . , q1, q2, . . . son variables proposicionales (átomos básicos, abducibles
o no).
a0, . . . , an los identificadores de n + 1 agentes.
not el símbolo de negación (usado como “negación como fallo”).
← es la conectiva implicación material.
& es la conectiva de colaboración y se utiliza para realizar consultas a diferentes agentes, con
la finalidad de mezclar su respuestas en un único conjunto de hipótesis. Cada consulta puede
ser contemplada como la solución de un sub-problema del problema que se desea resolver.
; es la conectiva de competición.
> es la conectiva de comunicación (usada para la realización de preguntas de un agente a
otros agentes).
↓ es la conectiva de reflexión hacia abajo.
, es el operador de composición de objetivos (estándar de la programación lógica).
Definición 5.1
Un literal es un un átomo, pi o su negación not pi.
Una fórmula comunicación es de la forma: ai > ℓ, donde ai es un agente y ℓ un literal,
Una fórmula simple es de una de las tres siguientes formas:
• true,
• ↓ℓ (con ℓ literal),
• ai > ℓj (es decir, una fórmula de comunicación).