En el cap´ıtulo anterior se present´o un formalismo basado en argumentaci´on abstrac- ta que permite modelar diferentes tipos de argumentos y sus relaciones. Ese sistema se abstra´ıa del origen y de la estructura de sus argumentos, as´ı como tambi´en de c´omo se determinan sus tipos, para concentrarse en c´omo considerar las relaciones entre argu- mentos y tipos al momento de determinar qu´e argumentos aceptar. En este cap´ıtulo se buscar´a presentar un formalismo que complemente al del cap´ıtulo anterior, es decir, que
98 Cap´ıtulo 5. Argumentaci´on Rebatible Basada en Tipos
permita explicitar c´omo se construyen los argumentos (d´andoles una estructura interna), y a partir de esta construcci´on determinar a qu´e tipos pertenecen. Para abordar estos objetivos se presentar´a una extensi´on de DeLP, llamada T-DeLP (por su sigla en ingl´es Typed-DeLP).
En primer lugar, la motivaci´on principal de T-DeLP ser´a brindar un aproximaci´on que, en conjunto a lo visto en el cap´ıtulo anterior, presenta un modelo argumentativo completo para la argumentaci´on basada en tipos de argumento. Es decir, cubrir´a todas las etapas de un sistema argumentativo: construcci´on de argumentos, identificaci´on de tipos, identificaci´on de conflictos, generaci´on de derrotas y c´omputo de aceptabilidad; considerando durante todas estas etapas la noci´on de tipos de argumento. Por otra parte, el estudio de estos temas resulta fundamental para esta tesis, ya que en los lenguajes de programaci´on de agente el conocimiento se expresa mediante un lenguaje de representaci´on concreto. Por lo tanto, si se utilizar´a argumentaci´on basada en tipos, es esencial determinar c´omo se construir´an los argumentos a partir de ese conocimiento y c´omo se identificar´an los tipos de estos argumentos. Tambi´en resulta interesante estudiar c´omo se construyen los argumentos, dado que la mayor´ıa de los sistemas argumentativos que involucran tipos se construyen a partir de conocimiento concreto. Por ´ultimo, es interesante contar con un lenguaje concreto que permita especificar informaci´on conflictiva a la cual se la pueda relacionar con una estructura de tipos o un dominio, ya que se tendr´an m´as medios para determinar qu´e informaci´on prevalece ante los conflictos.
Siguiendo esta motivaci´on, en T-DeLP el concepto de tipo de argumento tendr´a un rol protag´onico. Claramente, los tipos de los argumentos se determinar´an a partir de su estructura interna. Por lo tanto, y dado que ser´a una extensi´on de DeLP, en T-DeLP se podr´an adjuntar tipos a los literales en los hechos y reglas rebatibles de un programa. Estos tipos asociados ser´an utilizados por la m´aquina de inferencia para determinar los tipos de los argumentos que los involucren. Esto difiere al objetivo de la programaci´on en l´ogica tipada [KW91], donde esencialmente se busca establecer un sistema de tipos a programas l´ogicos para encontrar posibles errores de tipo (aun as´ı habr´a ciertas nociones en com´un).
Los tipos en T-DeLP, al igual que en el formalismo del cap´ıtulo anterior, estar´an relacionados a trav´es de una relaci´on de herencia. Por lo tanto, ser´a necesario considerar un mecanismo m´as sofisticado que la igualdad sint´actica para construir las derivaciones. Adem´as, en T-DeLP ciertos tipos podr´an propagarse a trav´es de las reglas rebatibles. Esto
Introducci´on y Motivaci´on 99
permitir´a utilizar una regla con tipos generales para inferir instancias de sus literales pero con tipos m´as espec´ıficos, si estos ´ultimos son propagables. Adicionalmente, se espera que si es posible derivar un literal para un tipo, dicho literal sea tambi´en derivable para todos sus tipos ancestros (con respecto a la relaci´on de herencia). Todo esto har´a que en T-DeLP sea necesario considerar un concepto de derivaci´on m´as complejo que en DeLP. Para tal objetivo se adaptar´an los conceptos de conformidad [KW91] en la derivaci´on T-DeLP. A partir de las derivaciones consistentes que cumplan estas caracter´ısticas ser´a posible identificar no s´olo los argumentos, sino tambi´en sus tipos. En particular, estos tipos ser´an los tipos que reflejen la derivaci´on en la cual est´an sustentados los argumentos.
Dadas las caracter´ısticas que deber´a poseer la derivaci´on en el contexto de T-DeLP, ser´a posible generar distintas versiones de un mismo argumento. Cada versi´on correspon- der´a a un tipo de argumento distinto, el cual se encontrar´a relacionado con los tipos de las dem´as versiones del argumento a trav´es de herencia. Por lo tanto, en T-DeLP ser´a esencial identificar losargumentos representativos. Es decir, de todas las versiones para un mismo argumento, identificar aquella que contenga la mayor informaci´on con respecto a sus ti- pos, siendo as´ı la versi´on representante del argumento. En este sentido, ser´a fundamental mostrar que T-DeLP puede trabajar ´unicamente con argumentos representativos, para as´ı evitar los posibles problemas que puedan surgir al utilizar dos versiones de un mismo argumento.
Una vez identificados los argumentos representativos, para poder determinar c´omo se derrotan entre ellos y as´ı cuales quedan aceptados, ser´a necesario determinar c´omo se atacan y cu´ales son las preferencias entre ellos. Aun as´ı, ser´a necesario considerar las prefe- rencias entre los tipos y la relaci´on de herencia entre ellos. Por lo tanto, para determinar la relaci´on de derrota entre estos argumentos, se aprovechar´an los marcos argumentativos de m´ultiples tipos. De este modo, al identificar esta relaci´on y los argumentos representativos, se podr´a aplicar cualquier sem´antica de aceptabilidad. En particular, se mostrar´a c´omo aplicar un procedimiento de prueba dial´ectico basado en el de DeLP.
En resumen, T-DeLP extiende a DeLP en los siguiente aspectos:
permite representar literales con tipos asociados; permite modelar herencia entre los tipos;
posee una relaci´on generalizada de desacuerdo entre literales tal que contempla el concepto de tipo;
100 Cap´ıtulo 5. Argumentaci´on Rebatible Basada en Tipos
utiliza un mecanismo de derivaci´on que contempla los tipos y sus relaciones;
sus argumentos tienen tipos asociados;
los argumentos se caracterizan tambi´en a trav´es de los hechos en los que se basan;
identifican los argumentos representativos, los cuales identifican las versiones con los tipos m´as especializados para un argumento;
presenta una noci´on de subargumentaci´on que toma en cuenta los argumentos re- presentativos;
los ataques entre argumentos consideran la relaci´on de desacuerdo generalizada y la herencia entre tipos;
las derrotas se determinan utilizando el formalismo para los MATM presentado en el cap´ıtulo anterior; y
para determinar los argumentos garantizados puede utilizar un proceso de prueba dial´ectica, as´ı como tambi´en las sem´anticas de aceptabilidad de [Dun95].
Este cap´ıtulo est´a organizado de la siguiente manera. En la Secci´on 5.2 se presen- tar´a c´omo especificar todos los componentes que hacen a un programa T-DeLP. En la Secci´on 5.3 se indicar´a c´omo son las derivaciones en T-DeLP, c´omo se construyen los argumentos a partir de ellas, c´omo se obtienen los tipos de estos ´ultimos, y se identifi- car´a qu´e argumentos son representativos. En la Secci´on 5.4 se mostrar´a c´omo combinar los MATM para calcular acpetabilidad en T-DeLP, para lo cual se definir´a el concepto de ataque y preferencias entre argumentos tipados; adem´as, se presentar´a un procedimiento de prueba dial´ectico para T-DeLP. Por ´ultimo, en las secciones 5.5 y 5.6 se presentar´an los trabajos relacionados y las conclusiones del cap´ıtulo.