5. Una Aplicaci´ on para GR : Int´ erprete DeLP Paralelo
5.4. Int´ erprete DeLP Paralelo
En el caso de contar con un GRE Homog´eneo, formado por SRLAs, un cliente puede calcular en paralelo el estado de garant´ıa de una consulta DeLP en un determinado pro- grama DeLP. En esta secci´on se introduce un esquema de algoritmo que permite al cliente ejecutar de manera secuencial las correspondientes CCM. Es importante destacar que de
esta manera se est´a delegando en el GRE la responsabilidad de distribuir de la mejor manera posible el c´alculo de las respuesta en los distintos servicios de razonamiento.
Con el objetivo de computar el estado de garant´ıa de una consulta DeLP Q a partir de un programa DeLP Pdelp, se deber´a:
1. Ejecutar la CC1 en busca de los argumentos de soporte de la consulta DeLP Q.
CC1 = [h(Pdelp,+delp)i, argumento(Q,A)]
de la cual se obtendr´a la respuesta
R1 =hargumento(Q,A1), argumento(Q,A2), . . . , argumento(Q,An)i.
2. Ejecutar laCCMF2 en busca de derrotadores para cada argumento obtenido en R1.
CCMF2=
"
h(Pdelp,+delp),(Pcrit,∗)i,
hderrotador(A1,D1 ), derrotador(A2,D2), . . . , derrotador(An,Dn)i
#
de lo cual se obtendr´a la respuesta
R2=
*
hderrotador(A1,D11), derrotador(A1,D12), . . . , derrotador(A1,D1m)i,
hderrotador(A2,D21), derrotador(A2,D22), . . . , derrotador(A2,D2p)i,
. . . ,
hderrotador(An,Dn1), derrotador(An,Dn2), . . . , derrotador(An,Dnr)i.
+
3. Por cada secuencia de derrotadores obtenida enR2 se generar´a unaIC equivalente
a unaCCMF. Las distintasICs conformar´an unaICM buscando derrotadores para los derrotadores obtenidos previamente.
ICM3 =
* "
(h(Pdelp,+delp),(Pcrit,∗),({A1},−D)i, derrotador(D11,D11)),
(hi, derrotador(D12,D12)), . . . ,(hi, derrotador(D1m,D1m))
#
, "
(h(Pdelp,+delp),(Pcrit,∗),({A2},−D)i, derrotador(D21,D21)),
(hi, derrotador(D22,D22)), . . . ,(hi, derrotador(D2p,D2p))
#
,
. . . ,
"
(h(Pdelp,+delp),(Pcrit,∗),({An},−D)i, derrotador(Dn1,Dn1 )),
(hi, derrotador(Dn2,Dn2 )), . . . ,(hi, derrotador(Dnr,Dnr ))
# +
de lo cual se obtendr´a una respuesta R3 incluyendo una secuencia de respuestas
an´alogas aR2.
4. Repetir el punto 3
generando la ICMi a partir de la Ri−1
hasta que la respuesta Ri no contenga derrotadores.
Como se mostrar´a en el algoritmo de la Secci´on 5.5, el cliente ir´a guardando los ar- gumentos obtenidos, as´ı como tambi´en los derrotadores, formando de esta manera los distintos ´arboles de dial´ectica. De acuerdo al esquema de algoritmo presentado, estos ´
arboles de dial´ectica se calcular´an por niveles, cada uno de los cuales estar´a asociado a una consulta contextual distinta. El paralelismo en el c´alculo de la garant´ıa surge de la ejecuci´on de lasCCMF y de las ICM, las cuales puede ser distribuidas autom´aticamente por el GRE en distintos SRs (Puntos 2 y 3 del esquema de algoritmo).
Ejemplo 5.3. En este ejemplo mostraremos como el cliente Agdelpd, introducido previa-
mente en este cap´ıtulo, puede utilizar el GRE mostrado en la Figura 5.3 para determinar el estado de garant´ıa de la consulta DeLP a en el programa DeLP Parb implementando el
esquema de algoritmo presentado previamente.
El cliente Agdelpd ejecutar´a, de acuerdo al Punto 1 del algoritmo, la consulta contex-
tual CC mostrada en la Figura 5.8, buscando argumentos en favor de la consulta DeLP
a. Luego, ejecutar´a la consulta contextual m´ultiple factorizada CCMF14 mostrada en la Figura 5.9, siguiendo el Punto 2 del algoritmo, en busca de derrotadores para cada uno de los argumentos A1,A2,A3 y A4 obtenidos en la respuesta R a la consulta anterior. Dichos argumentos ser´an incluidos en la CCMF como parte de la secuencia de consultas.
Como se puede observar en la Figura 5.10, el GRE tendr´a la posibilidad de separar el c´omputo de la respuesta a la consulta CCMF14 en los distintos SRLAs que conforman el GRE. Considerando que estos SRLAs son homog´eneos, la decisi´on del GRE tendr´a como principal objetivo reducir el tiempo requerido para computar la respuesta. En este esce- nario, la mejor alternativa corresponde a dividir la CCMF en cuatro consultas contextuales y enviarle una consulta a cada SRLA.
La CCMF14 muestra uno de los lugares donde se obtiene paralelismo, es decir, en el c´omputo de la respuesta a la CCMF14. Una posible distribuci´on de dicho c´omputo se muestra en la Figura 5.14, donde el c´alculo de los argumentos que derrotan a A1 se
realiz´o en el Nodo 1, los que derrotan a A2 en el Nodo 2 y as´ı siguiendo. Por cada respuesta obtenida con al menos un argumento se generar´a una IC equivalente a una CCMF en busca de derrotadores a los argumentos encontrados. Las ICs se agrupar´an en la interrogaci´on contextual m´ultipleICM56 mostrada en la Figura 5.12, la cual ser´a enviada al GRE siguiendo el Punto 3.
NODO 1
NODO 2 NODO 3 NODO 4
NODO 1
NODO 3 NODO 4
NODO 2 NODO 1
NODO 4 NODO 3 NODO 1 NODO 2
Figura 5.14: Distribuci´on del c´omputo de los argumentos y contraargumentos para el Ejemplo 5.5 en el GRE mostrado en la Figura 5.3
La generaci´on de esta ICM presenta una nueva oportunidad para obtener paralelismo. El GRE es el encargado de distribuir el c´omputo de la respuesta en los distintos SRLAs. La ICM generada incluye cuatro IC, cada una de ellas incluyendo dos argumentos a der- rotar. Esta consulta es enviada al GRE en busca de derrotadores para los derrotadores de los argumentos en favor de a. Una posible distribuci´on del c´omputo de las respuestas correspondientes puede verse en la Figura 5.14, donde la separaci´on de la interrogaci´on contextual m´ultipleICM56tiene como resultado las cuatro ICs que la forman, considerando que se cuenta con la misma cantidad de SRLAs.
Finalmente, con la respuesta R56 se obtienen cuatro nuevos derrotadores, y por lo tanto, se repite el Punto 3 del esquema de algoritmo y el cliente Agdelpd ejecuta la in-
terrogaci´on contextual m´ultiple ICM78, mostrada en la Figura 5.13. Esta nueva consulta estar´a formada nuevamente por cuatro ICs, las cu´ales ser´an distribuidas por el GRE. En la Figura 5.14 se muestra una de las posibles distribuciones. Esta ICM no obtiene der-
rotadores y, por lo tanto, finaliza el c´omputo de los ´arboles de dial´ectica de la consulta
“a”.
En esta secci´on se introdujo un esquema de algoritmo que, utilizando las consultas contextuales mencionadas en la secci´on anterior, computa los ´arboles de dial´ectica que genera una consulta DeLP. Adem´as, se mostr´o un ejemplo de las consultas contextuales que puede realizar un cliente y las respuestas que obtendr´a del GRE. En la siguiente secci´on se presentar´a un algoritmo concreto, construido en base al esquema de algoritmo introducido previamente.