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

Autores
Orbe Leiva, Diego Sebastian
Año de publicación
2026
Idioma
español castellano
Tipo de recurso
tesis doctoral
Estado
versión aceptada
Colaborador/a o director/a de tesis
García, Alejandro J.
Gottifredi, Sebastián
Descripción
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.
Fil: Orbe Leiva, Diego Sebastian. Universidad Nacional del Sur. Departamento de Ciencias e Ingeniería de la Computación; Argentina
Materia
Inteligencia artificial
Diálogos
Argumentación computacional
Enthymemes
Nivel de accesibilidad
acceso abierto
Condiciones de uso
http://creativecommons.org/licenses/by-nc-sa/4.0/
Repositorio
Repositorio Institucional Digital de la Universidad Nacional del Sur (RID-UNS)
Institución
Universidad Nacional del Sur
OAI Identificador
oai:repositorio.bc.uns.edu.ar:123456789/7684
Acceder
id RID-UNS_520bf6dff84a784ce689dd1d63b947c9
oai_identifier_str oai:repositorio.bc.uns.edu.ar:123456789/7684
network_acronym_str RID-UNS
repository_id_str
network_name_str Repositorio Institucional Digital de la Universidad Nacional del Sur (RID-UNS)
spelling Marcos formales para argumentación con enthymemes : aplicación y reconstrucción de conocimiento en diálogos argumentativosOrbe Leiva, Diego SebastianInteligencia artificialDiálogosArgumentación computacionalEnthymemesEsta 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.Fil: Orbe Leiva, Diego Sebastian. Universidad Nacional del Sur. Departamento de Ciencias e Ingeniería de la Computación; ArgentinaGarcía, Alejandro J.Gottifredi, Sebastián2026-04-24info:eu-repo/semantics/doctoralThesisinfo:eu-repo/semantics/acceptedVersionhttp://purl.org/coar/resource_type/c_db06info:ar-repo/semantics/tesisDoctoralapplication/pdfhttps://repositoriodigital.uns.edu.ar/handle/123456789/7684spainfo:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by-nc-sa/4.0/reponame:Repositorio Institucional Digital de la Universidad Nacional del Sur (RID-UNS)instname:Universidad Nacional del Sur2026-09-24T11:33:33Zoai:repositorio.bc.uns.edu.ar:123456789/7684instacron:UNSInstitucionalhttp://repositoriodigital.uns.edu.ar/Universidad públicaNo correspondehttp://repositoriodigital.uns.edu.ar/oaimesnaola@uns.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:2026-09-24 11:33:34.886Repositorio Institucional Digital de la Universidad Nacional del Sur (RID-UNS) - Universidad Nacional del Surfalse
dc.title.none.fl_str_mv Marcos formales para argumentación con enthymemes : aplicación y reconstrucción de conocimiento en diálogos argumentativos
title Marcos formales para argumentación con enthymemes : aplicación y reconstrucción de conocimiento en diálogos argumentativos
spellingShingle Marcos formales para argumentación con enthymemes : aplicación y reconstrucción de conocimiento en diálogos argumentativos
Orbe Leiva, Diego Sebastian
Inteligencia artificial
Diálogos
Argumentación computacional
Enthymemes
title_short Marcos formales para argumentación con enthymemes : aplicación y reconstrucción de conocimiento en diálogos argumentativos
title_full Marcos formales para argumentación con enthymemes : aplicación y reconstrucción de conocimiento en diálogos argumentativos
title_fullStr Marcos formales para argumentación con enthymemes : aplicación y reconstrucción de conocimiento en diálogos argumentativos
title_full_unstemmed Marcos formales para argumentación con enthymemes : aplicación y reconstrucción de conocimiento en diálogos argumentativos
title_sort Marcos formales para argumentación con enthymemes : aplicación y reconstrucción de conocimiento en diálogos argumentativos
dc.creator.none.fl_str_mv Orbe Leiva, Diego Sebastian
author Orbe Leiva, Diego Sebastian
author_facet Orbe Leiva, Diego Sebastian
author_role author
dc.contributor.none.fl_str_mv García, Alejandro J.
Gottifredi, Sebastián
dc.subject.none.fl_str_mv Inteligencia artificial
Diálogos
Argumentación computacional
Enthymemes
topic Inteligencia artificial
Diálogos
Argumentación computacional
Enthymemes
dc.description.none.fl_txt_mv 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.
Fil: Orbe Leiva, Diego Sebastian. Universidad Nacional del Sur. Departamento de Ciencias e Ingeniería de la Computación; Argentina
description 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.
publishDate 2026
dc.date.none.fl_str_mv 2026-04-24
dc.type.none.fl_str_mv info:eu-repo/semantics/doctoralThesis
info:eu-repo/semantics/acceptedVersion
http://purl.org/coar/resource_type/c_db06
info:ar-repo/semantics/tesisDoctoral
format doctoralThesis
status_str acceptedVersion
dc.identifier.none.fl_str_mv https://repositoriodigital.uns.edu.ar/handle/123456789/7684
url https://repositoriodigital.uns.edu.ar/handle/123456789/7684
dc.language.none.fl_str_mv spa
language spa
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
http://creativecommons.org/licenses/by-nc-sa/4.0/
eu_rights_str_mv openAccess
rights_invalid_str_mv http://creativecommons.org/licenses/by-nc-sa/4.0/
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:Repositorio Institucional Digital de la Universidad Nacional del Sur (RID-UNS)
instname:Universidad Nacional del Sur
reponame_str Repositorio Institucional Digital de la Universidad Nacional del Sur (RID-UNS)
collection Repositorio Institucional Digital de la Universidad Nacional del Sur (RID-UNS)
instname_str Universidad Nacional del Sur
repository.name.fl_str_mv Repositorio Institucional Digital de la Universidad Nacional del Sur (RID-UNS) - Universidad Nacional del Sur
repository.mail.fl_str_mv mesnaola@uns.edu.ar
_version_ 1877226950262521856
score 13.265058

Publicaciones similares