Logica Abductiva y Lógica Paraconsistente Computacional - here

5.1. LÓGICA EPISTÉMICA Y ABDUCCIÓN 67
Una fórmula de LAILA es el cierre inductivo libremente generado del conjunto de fórmulas
simples por los operadores de aridad flexible & y ;.
Como hemos indicado, la interacción entre los agentes se especifica en un paradigma basado en
programación lógica y toda computación comienza con una consulta definida como sigue:
Ejemplo 5.1
Consulta =def ? Cuerpo
la pregunta competitiva formulada por un agente a0:
? ↓ O1 ; a1 > O2
se lee: “el agente a0 ha de ejecutar una derivación abductiva de una explicación para el objetivo
O1, o bien solicitar al agente a1 que explique el objetivo O2”. Podrían existir varias respuestas
disponibles; en cuyo caso, el sistema seleccionará solo una de ellas.
la pregunta colaborativa formulada por el agente a0:
?a1 > O3 & a2 > O4
se lee: “el agente a0 solicita al agente a1 que explique el objetivo O3 y al agente a2 que explique
el objetivo O4. De nuevo, podrían existir varias respuestas disponibles; en cuyo caso, el sistema
mezcla las respuestas de a1 y a2 en un único conjunto de abducibles.
En la arquitectura ALIAS, la estructura interna de cada agente consta de tres módulos:
Módulo de Razonamiento Abductivo, denotado MRA, que contiene las herramientas
de razonamiento abductivo y deductivo.
Módulo de Comportamiento del agente, denotado MCompA.
Módulo de Coordinación entre agentes, denotado MCoorA.
y cada una de ellos incluye una base de conocimiento local, KB.
La KB abductiva viene representada por un programa lógico, es decir, un conjunto de cláusulas
p ← ℓ1 . . . ℓn
donde p es un átomo (la cabeza de la cláusula) y ℓi literales (la secuencia ℓ1 . . . ℓn se denomina
cuerpo de la cláusula);
La KB de comportamiento es un conjunto de cláusulas que describe el comportamiento
del agente dentro del entorno (mediante el lenguaje LAILA). En particular, el comportamiento
social de cada agente puede ser expresado (dentro de MCompA) mediante preguntas colaborativas/competitivas.
Cada vez que el comportamiento de un agente requiere una explicación abductiva
de un objetivo O, se requiere una interacción entre MCompA y MRA para comenzar la prueba
abductiva de O.