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

Autores
Soto, Yamil Osvaldo Omar
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
Simari, Gerardo Ignancio
Falappa, Marcelo Alejandro
Descripción
La presente tesis comprende el estudio de las semánticas argumentativas basadas en diálogo en el contexto de la argumentación computacional abstracta basada en inferencia. En este sentido, nos ocupamos de los fundamentos teóricos, la representación y el análisis formal de este tipo de semánticas. En particular, presentamos 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 esta 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 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 otras semánticas basadas en diálogo disponibles en la literatura 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.
This thesis concerns the study of dialogue-based argumentative semantics within the context of abstract computational argumentation based on inference. In this sense, we address the theoretical foundations, representation, and formal analysis of this type of semantics. In particular, we present the bundle-set approach, a general and modular formalism for characterizing dialogue-based argumentative semantics capable of representing both existing and newly proposed semantics. This formalism is used to characterize a set of semantics, including ac-acceptability, which is a novel contribution of this thesis. The ac-acceptability introduces a behavior not present in the literature of dialogue-based semantics, which intuitively consists of rejecting those arguments involved in a doubtful situation, which we will call indecision, and confining its effects only to the arguments that originated it. The development of ac-acceptability stems from the interest in having semantics that offer an alternative treatment for odd-length defeat cycles, situations in which admissibility-based semantics yield unsatisfactory results. The ac-acceptability and other dialogue-based semantics available in the literature are formally analyzed through a set of original principles. This analysis allows us to delve deeper into the properties of the studied semantics and their relationships.
Fil: Soto, Yamil Osvaldo Omar. Universidad Nacional del Sur. Departamento de Ciencias e Ingeniería de la Computación; Argentina
Materia
Argumentación computacional
Argumentación abstracta
Semánticas argumentativas
Diálogos argumentativos
Análisis formal
Nivel de accesibilidad
acceso abierto
Condiciones de uso
http://creativecommons.org/licenses/by-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/7667

id RID-UNS_587976929c21bc322ed751d64a384641
oai_identifier_str oai:repositorio.bc.uns.edu.ar:123456789/7667
network_acronym_str RID-UNS
repository_id_str
network_name_str Repositorio Institucional Digital de la Universidad Nacional del Sur (RID-UNS)
spelling Semánticas argumentativas basadas en diálogo : fundamentos teóricos, representación y análisis formalSoto, Yamil Osvaldo OmarArgumentación computacionalArgumentación abstractaSemánticas argumentativasDiálogos argumentativosAnálisis formalLa presente tesis comprende el estudio de las semánticas argumentativas basadas en diálogo en el contexto de la argumentación computacional abstracta basada en inferencia. En este sentido, nos ocupamos de los fundamentos teóricos, la representación y el análisis formal de este tipo de semánticas. En particular, presentamos 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 esta 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 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 otras semánticas basadas en diálogo disponibles en la literatura 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.This thesis concerns the study of dialogue-based argumentative semantics within the context of abstract computational argumentation based on inference. In this sense, we address the theoretical foundations, representation, and formal analysis of this type of semantics. In particular, we present the bundle-set approach, a general and modular formalism for characterizing dialogue-based argumentative semantics capable of representing both existing and newly proposed semantics. This formalism is used to characterize a set of semantics, including ac-acceptability, which is a novel contribution of this thesis. The ac-acceptability introduces a behavior not present in the literature of dialogue-based semantics, which intuitively consists of rejecting those arguments involved in a doubtful situation, which we will call indecision, and confining its effects only to the arguments that originated it. The development of ac-acceptability stems from the interest in having semantics that offer an alternative treatment for odd-length defeat cycles, situations in which admissibility-based semantics yield unsatisfactory results. The ac-acceptability and other dialogue-based semantics available in the literature are formally analyzed through a set of original principles. This analysis allows us to delve deeper into the properties of the studied semantics and their relationships.Fil: Soto, Yamil Osvaldo Omar. Universidad Nacional del Sur. Departamento de Ciencias e Ingeniería de la Computación; ArgentinaSimari, Gerardo IgnancioFalappa, Marcelo Alejandro2026-02-13info: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/7667spainfo:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by-sa/4.0/reponame:Repositorio Institucional Digital de la Universidad Nacional del Sur (RID-UNS)instname:Universidad Nacional del Sur2026-09-24T11:33:37Zoai:repositorio.bc.uns.edu.ar:123456789/7667instacron: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:38.711Repositorio Institucional Digital de la Universidad Nacional del Sur (RID-UNS) - Universidad Nacional del Surfalse
dc.title.none.fl_str_mv Semánticas argumentativas basadas en diálogo : fundamentos teóricos, representación y análisis formal
title Semánticas argumentativas basadas en diálogo : fundamentos teóricos, representación y análisis formal
spellingShingle Semánticas argumentativas basadas en diálogo : fundamentos teóricos, representación y análisis formal
Soto, Yamil Osvaldo Omar
Argumentación computacional
Argumentación abstracta
Semánticas argumentativas
Diálogos argumentativos
Análisis formal
title_short Semánticas argumentativas basadas en diálogo : fundamentos teóricos, representación y análisis formal
title_full Semánticas argumentativas basadas en diálogo : fundamentos teóricos, representación y análisis formal
title_fullStr Semánticas argumentativas basadas en diálogo : fundamentos teóricos, representación y análisis formal
title_full_unstemmed Semánticas argumentativas basadas en diálogo : fundamentos teóricos, representación y análisis formal
title_sort Semánticas argumentativas basadas en diálogo : fundamentos teóricos, representación y análisis formal
dc.creator.none.fl_str_mv Soto, Yamil Osvaldo Omar
author Soto, Yamil Osvaldo Omar
author_facet Soto, Yamil Osvaldo Omar
author_role author
dc.contributor.none.fl_str_mv Simari, Gerardo Ignancio
Falappa, Marcelo Alejandro
dc.subject.none.fl_str_mv Argumentación computacional
Argumentación abstracta
Semánticas argumentativas
Diálogos argumentativos
Análisis formal
topic Argumentación computacional
Argumentación abstracta
Semánticas argumentativas
Diálogos argumentativos
Análisis formal
dc.description.none.fl_txt_mv La presente tesis comprende el estudio de las semánticas argumentativas basadas en diálogo en el contexto de la argumentación computacional abstracta basada en inferencia. En este sentido, nos ocupamos de los fundamentos teóricos, la representación y el análisis formal de este tipo de semánticas. En particular, presentamos 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 esta 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 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 otras semánticas basadas en diálogo disponibles en la literatura 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.
This thesis concerns the study of dialogue-based argumentative semantics within the context of abstract computational argumentation based on inference. In this sense, we address the theoretical foundations, representation, and formal analysis of this type of semantics. In particular, we present the bundle-set approach, a general and modular formalism for characterizing dialogue-based argumentative semantics capable of representing both existing and newly proposed semantics. This formalism is used to characterize a set of semantics, including ac-acceptability, which is a novel contribution of this thesis. The ac-acceptability introduces a behavior not present in the literature of dialogue-based semantics, which intuitively consists of rejecting those arguments involved in a doubtful situation, which we will call indecision, and confining its effects only to the arguments that originated it. The development of ac-acceptability stems from the interest in having semantics that offer an alternative treatment for odd-length defeat cycles, situations in which admissibility-based semantics yield unsatisfactory results. The ac-acceptability and other dialogue-based semantics available in the literature are formally analyzed through a set of original principles. This analysis allows us to delve deeper into the properties of the studied semantics and their relationships.
Fil: Soto, Yamil Osvaldo Omar. Universidad Nacional del Sur. Departamento de Ciencias e Ingeniería de la Computación; Argentina
description La presente tesis comprende el estudio de las semánticas argumentativas basadas en diálogo en el contexto de la argumentación computacional abstracta basada en inferencia. En este sentido, nos ocupamos de los fundamentos teóricos, la representación y el análisis formal de este tipo de semánticas. En particular, presentamos 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 esta 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 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 otras semánticas basadas en diálogo disponibles en la literatura 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.
publishDate 2026
dc.date.none.fl_str_mv 2026-02-13
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/7667
url https://repositoriodigital.uns.edu.ar/handle/123456789/7667
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-sa/4.0/
eu_rights_str_mv openAccess
rights_invalid_str_mv http://creativecommons.org/licenses/by-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_ 1877226952190853120
score 12.754232