Un marco argumentativo abstracto dinámico

Abstract

El trabajo realizado en esta tesis pertenece al área de argumentación en inteligencia artificial. La representación de conocimiento en un formalismo basado en argumentación se realiza a través de la especificación de argumentos, cada uno en favor de una conclusión a partir de ciertas premisas. Dado que estas conclusiones pueden estar en contradicción, se producen ataques entre los argumentos. Luego, la evaluación de toda la información presente podría dar preponderancia a algunos argumentos por sobre aquellos que los contradicen, produciendo un conjunto de conclusiones que se considera ran garantizadas. El objetivo principal de esta tesis es la definición de un nuevo marco argumentativo capaz de manejar dinámica de conocimiento. En este sentido, se da una representación no sólo a los argumentos, sino que también se introduce la noción de evidencia como entidades especiales dentro del sistema. En cada instante, el conjunto de evidencia se corresponde con la situación actual, dándole contexto al marco argumentativo. La plausibilidad de los argumentos en un instante dado depende exclusivamente de la evidencia disponible. Cuando la evidencia es suficiente para dar soporte a un argumento, éste se denominará activo. También se considera la posibilidad de que algunos argumentos se encuentren activos aun sin encontrar soporte directamente desde la evidencia, ya que podrían hacerlo a través de las conclusiones de otros argumentos activos. Estas conexiones entre argumentos dan lugar a lo que en esta tesis se denomina estructura argumental, proveyendo una visión un tanto más compleja que la usual en cuanto a la representación de conocimiento argumentativo. Los resultados obtenidos en esta tesis permitirán estudiar la dinámica de conocimiento en sistemas argumentativos. En la actualidad, ya se han publicado artáculos que presentan un formalismo que combina argumentación y la teoría clásica de revisión de creencias. En esta línea de investigación se denen operadores de cambio que se aplican sobre el marco argumentativo abstracto dinámico y tienen como objetivo alcanzar cierto estado del sistema; por ejemplo, garantizar un argumento determinado. Por otra parte, este marco también permitirá estudiar métodos para acelerar el computo de garantía a partir del proceso de razonamiento realizado en estados anteriores.