Marcos formales para argumentación con enthymemes : aplicación y reconstrucción de conocimiento en diálogos argumentativos

Abstract

Esta tesis se enfoca en modelar la comunicación natural entre agentes inteligentes mediante el uso de enthymemes (argumentos con premisas implícitas). Dado que los sistemas formales de argumentación requieren estructuras completas para razonar, el trabajo propone un marco formal y abstracto para representar teorías de conocimiento, argumentos y enthymemes. Este marco está diseñado para ser lo suficientemente general como para instanciarse en sistemas de argumentación estructurada existentes, presentando implementaciones concretas tanto en DeLP (Programación en Lógica Rebatible) como en ASPIC+. El núcleo de la investigación reside en la introducción de los operadores de asunciones, mecanismos formales encargados de reconstruir argumentos completos a partir de la información parcial de un enthymeme. Para evaluar la calidad de estos operadores, se define un conjunto de principios inspirados en las máximas conversacionales de Grice y las condiciones ARG de Govier. Demostramos formalmente que el operador de asunciones necesarias presentado en esta tesis satisface todos estos principios, garantizando la reconstrucción de argumentos consistentes, relevantes y adecuados sin introducir información arbitraria. Además, mostramos la aplicación de estos conceptos en un sistema de diálogo de persuasión que permite a los agentes intercambiar enthymemes y solicitar clarificaciones mediante un protocolo de movidas específico. Se demuestra formalmente que, si los agentes son receptivos y exhaustivos, sus modelos mentales se alinean con el resultado del diálogo al finalizar el mismo. Por último, se presenta un marco comparativo que prueba que, bajo el uso de operadores adecuados, los diálogos con enthymemes preservan las propiedades semánticas y resultados de aceptabilidad de los diálogos que utilizan argumentos completos.

This thesis focuses on modelling natural communication between intelligent agents through the use of enthymemes (arguments with implicit premises). Given that formal argumentation systems require complete knowledge in order to reason and obtain conclusions, the work proposes a formal and abstract framework for representing theories of knowledge, arguments, and enthymemes. This framework is designed to be general enough to be instantiated in existing structured argumentation systems, presenting concrete implementations in both DeLP (Defeasible Logic Programming) and ASPIC+. The core of the research lies in the introduction of assumption operators, formal mechanisms responsible for reconstructing complete arguments from the partial information of an enthymeme. To evaluate the quality of these operators, a set of principles inspired by Grice’s conversational maxims and Govier’s ARG conditions is defined.We formally demonstrate that the needed assumptions operator presented in this thesis satisfies all these principles, guaranteeing the reconstruction of consistent, relevant and adequate arguments without introducing arbitrary information. Furthermore, we demonstrate the application of these concepts in a persuasive dialogue system that allows agents to exchange enthymemes and request clarifications using a specific move protocol. We formally demonstrate that, if agents are receptive and exhaustive, their mental models align with the outcome of the dialogue at the end of it.