Hechos y Reglas Tipados

Siguiendo el esquema de los sistemas argumentativos basados en reglas [GS04, Pra10], los programas T-DeLP contendr´an hechos y reglas rebatibles. Los hechos, al igual que en DeLP, representan conocimiento seguro, libre de excepciones. Por otra parte, las reglas rebatibles se emplear´an para representar informaci´on tentativa. Tanto hechos como reglas rebatibles se construir´an a partir de literales tipados, por lo tanto, en T-DeLP se llamar´an hechos tipados y reglas rebatibles tipadas. Como es usual en la programaci´on en l´ogica, a partir de estos hechos y reglas se podr´a inferir informaci´on y estas inferencias constituir´an los argumentos. Como se ver´a m´as adelante, los tipos asociados a los literales tendr´an un rol fundamental en T-DeLP, ya que ser´an los que finalmente establezcan los tipos que quedar´an asociados a los argumentos.

Definici´on 5.2 (Hecho Tipado) Un hecho tipado es un literal tipado fijo.

Ejemplo 5.4 Considerando el conjunto de identificadores de tipo{τ,N,W,A}presentados en el Ejemplo 5.1, tendremos los siguientes hechos tipados que expresan:

1_{En el Cap´ıtulo 6, se mostrar´a c´omo utilizar estos identificadores de tipo para modelar formalmente}

diferentes componentes mentales de especificados para un agente a trav´es de un lenguaje de programaci´on de agentes.

104 Cap´ıtulo 5. Argumentaci´on Rebatible Basada en Tipos

articulo(a1, cronica)N _{hay un art´ıculo de nombre a1 en el diario cr´onica} tema(a1, crimen(bA))N el art´ıculo a1 expresa que hay crimen en el barrio A

caro(bA)W el barrio A es caro

inversion(bB)W _{el barrio B es una buena fuente de inversi´on} inversion(bA)W _{el barrio A es una buena fuente de inversi´on}

∼crimen(bA)A _{en el barrio A no hay crimen}

Definici´on 5.3 (Regla Rebatible Tipada) Una regla rebatible tipada es un par orde- nado (Cabeza,Cuerpo), donde Cabeza es un literal tipado y Cuerpo es conjunto de literales tipados.

Usualmente una regla rebatible tipada (LH,{L1, . . . , Ln}) ser´a notada

LH —<L1, . . . , Ln. Dada una regla rebatible tipada R = LH —<L1, . . . , Ln, la fun-

ci´on Cabeza(R) devolver´a la cabeza de R, y la funci´on Cuerpo(R) devolver´a el cuerpo de R. Adem´as, la funci´on Tipo(R) devolver´a el conjunto de tipos de R.

Generalmente, los literales tipados en el cuerpo de estas reglas representan restricciones respecto al tipo de la informaci´on que se utilizar´a para activarlas. As´ı tambi´en, los tipos de los literales en la cabeza de las reglas representar´an el tipo que producir´ıan las inferencias. Estos conceptos se explicar´an m´as adelante, cuando presentemos el proceso de inferencia en T-DeLP.

Ejemplo 5.5 Continuando con el escenario del agente comprador, se identificar´an dife- rentes grupos de reglas rebatibles, correspondientes a las diferentes fuentes de informaci´on que posee el agente. La primera regla expresa que hay razones, a trav´es de las noticias, para creer que un barrio no es seguro, si hay un art´ıculo Art en el diario D enunciando que hay crimen en el barrio X,

(1) ∼seguro(X)N_{—<articulo(Art, D)}N_{,tema(Art, crimen(X))}N

La siguiente regla, relacionada con la informaci´on establecida por la web, expresa que hay razones para creer que un barrio X es seguro si hay alg´un post en la web indicando que en el barrio X no hay crimen.

Representaci´on de Conocimiento en T-DeLP 105

Por ´ultimo, el agente tambi´en contar´a con un conjunto de reglas generales que utili- zar´a para tomar sus decisiones sobre comprar en un lugar o no. Estas reglas utilizar´an literales de tipo τ.

(3) comprar(X)—<seguro(X)

(4) comprar(X)—<inversion(X)

(5) ∼comprar(X)—<∼seguro(X)

(6) ∼comprar(X)—<caro(X)

Note que, a diferencia de los hechos tipados, los literales en las reglas rebatibles tipadas pueden tener variables. No obstante, al igual que DeLP en, T-DeLP s´olo emplea instancias fijas de estas reglas. Como se vio en el Cap´ıtulo 3, una instancia fija para regla es una versi´on de la regla tal que las variables son reemplazadas por t´erminos fijos, donde se asume que las variables con el mismo nombre dentro de la regla representan el mismo elemento. Cada regla rebatible tipada con variables es un esquema que representa al conjunto de sus instancias fijas.

Definici´on 5.4 (Instancia fija de una regla rebatible tipada) Sea R una regla re- batible tipada. Una instancia fija Rσ de R se obtiene reemplazando cada una de las varia- bles de R por un t´ermino fijo, de forma tal que las variables de R con el mismo nombre sean reemplazadas consistentemente.

Como se puede observar en el Ejemplo 5.5, al igual que en DeLP, las reglas reba- tibles tipadas ser´an elementos centrales al momento de inferir informaci´on a partir de una especificaci´on T-DeLP. Aun as´ı, estas reglas tienen una connotaci´on m´as profun- da que las reglas rebatibles en DeLP. En T-DeLP las reglas no s´olo representan una herramienta de inferencia de literales, sino que tambi´en son un patr´on para determi- nar de qu´e tipo ser´an las inferencias que se obtengan. Por ejemplo, considere la regla (comprar(X)—<inversion(X)) del ejemplo anterior. En esta regla todos los literales son

de tipo base o τ. Por lo tanto, es esperable que cuando se utilice esta regla sea posible realizar una inferencia de tipo base para comprar(bB), dado que inversion(bB)W_{. Sin}

embargo, en T-DeLP esta regla tambi´en podr´a ser utilizada para inferir comprar(bB)W. Para poder presentar estos mecanismos con mayor precisi´on ser´a necesario presentar las diferentes relaciones que pueden existir entre los tipos en T-DeLP.

106 Cap´ıtulo 5. Argumentaci´on Rebatible Basada en Tipos