Semánticas argumentativas basadas en diálogo: fundamentos teóricos, representación y análisis formal

Abstract

Este artículo resume la tesis de doctorado en Ciencias de la Computación titulada Semánticas Argumentativas Basadas en Diálogo: Fundamentos teóricos, representación y análisis formal, de ahora en más, la tesis, la cual comprende el estudio de las semánticas argumentativas basadas en diálogo en el contexto de la argumentación computacional abstracta basada en inferencia. La tesis presenta el enfoque basado en bundle sets, un formalismo general y modular para la caracterización de semánticas argumentativas basadas en diálogo capaz de representar tanto semánticas existentes como nuevas propuestas. Dicho formalismo es utilizado para caracterizar un conjunto de semánticas, entre ellas la aceptabilidad-ac, la cual es un aporte novedoso de la tesis. La aceptabilidad-ac introduce un comportamiento no presente en la literatura de las semánticas basadas en diálogo que consiste, intuitivamente, en rechazar a aquellos argumentos involucrados en una situación dudosa, a la que llamaremos indecisión, y confinar los efectos de la misma solo a los argumentos que la hayan originado. El desarrollo de la aceptabilidad-ac responde (principalmente) al interés por contar con semánticas que ofrezcan un tratamiento alternativo a los ciclos de derrotas de longitud impar, situaciones en las cuales las semánticas basadas en admisibilidad ofrecen resultados poco satisfactorios. La aceptabilidad-ac y el resto de semánticas basadas en diálogo abordadas en la tesis son formalmente analizadas a través de un conjunto de principios originales. Dicho análisis nos permite profundizar en las propiedades de las semánticas estudiadas y en las relaciones que existen entre las mismas, lo que a su vez nos permite guiar el desarrollo de nuevas semánticas y fomentar su adopción en sistemas de representación del conocimiento y razonamiento. Este resumen extendido se organiza como sigue: en la Sección 1 se introducen las bases de la argumentación computacional y de las semánticas argumentativas. Las contribuciones de la tesis y las motivaciones detrás de cada una de ellas se detallan en la Sección 2. En la Sección 3 se listan las publicaciones correspondientes a los distintos capítulos de la tesis. Finalmente, en la Sección 4 se delinean los trabajos futuros.