Mostrar el registro sencillo del ítem

dc.contributor.advisorChesñevar, Carlos Iván
dc.contributor.authorGómez Lucero, Mauro Javier
dc.contributor.otherSimari, Guillermo R.
dc.date2011-03-23
dc.date.accessioned2015-03-25T13:04:21Z
dc.date.available2015-03-25T13:04:21Z
dc.date.issued2011es
dc.identifier.other2011-1086
dc.identifier.urihttp://repositoriodigital.uns.edu.ar/handle/123456789/2149
dc.description.abstractEn los últimos años, la argumentación ha evolucionado como un paradigma poderoso para formalizar razonamiento de sentido común, y varios formalismos surgieron basados en la idea de argumentación, encontrando aplicaciones en diver-sos dominios tales como razonamiento automatizado, toma de decisiones, disputas legales, negociación automatizada, etc. Sin embargo, la mayoría de estos formalismos no permiten modelar la agregación de argumentos, identificada inicialmente por Pollock, y cuya importancia ha sido reconocida en incre-mento en los últimos años. En esta tesis se define una forma-lización novedosa de la agregación de argumentos, involu-crando una caracterización declarativa de esta noción, y una caracterización operacional asociada abordando su computa-ción. La formalización desarrollada presenta ventajas signifi-cativas respecto a los enfoques de agregación existentes, principalmente en relación a las respuestas brindadas, la expli-cación de respuestas, la evaluación y comparación de agrega-ciones, y la eficiencia de la computación. En primer lugar se presentan tres semánticas de aceptabilidad para la agrega-ción de argumentos: a-grounded, a-estable y a-preferida, basadas, respectivamente, en las semánticas grounded, estable y preferida propuestas por Dung, y ampliamente reconocidas por la comunidad de argumentación. Adicional-mente se presenta un procedimiento de prueba dialéctico para la semántica a-grounded siguiendo el enfoque dialéctico (argument games approach), y basado en el ampliamente reconocido procedimiento dialéctico para la semántica grounded propuesto por Dung. Por último se presentan distin-tas instancias de la formalización propuesta, incorporando el modelamiento de diferentes características, como la regla deductiva modus tollens, el tipo de ataque undercutting, y la incorporación explícita de incertidumbre posibilística a nivel del lenguaje objeto, entre otras.es
dc.description.abstractIn the last years, argumentation has evolved as a powerful paradigm to formalize commonsense reasoning, and several argumentation based formalisms emerged, finding application in diferent domains such as automated reasoning, decision making, legal dispute, automated negotiation, etc. However, most of this formalisms do not model the notion of argument accrual, initially identified by Pollock, and which has been recently gaining increasing importance. In this thesis a novel formalization of argument accrual is defined, involving a declar ative characterization of this notion, and an associated operational characterization addressing computation. The proposed formalization has significant advantages over existing argument accrual approaches, mainly with respect to the answers obtained, answer ex-planation, accrual evaluation and comparison, and eciency of computation. Firstly, three semantics of argument accrual are presented: a-grounded, a-stable and a-preferred, respectively based on the grounded, stable and preferred argumentation semantics proposed by Dung, widely recognized by the argumentation community. Additionally, a dialectical proof procedure for a-grounded semantics is presented, following the dialectical approach (also known as argument games approach), and based on the widely recognized dialectical proof procedure proposed by Dung for grounded semantics. Finally some in- stances of the proposed formalization are presented, incor-porating diferent features like the modus ponens inference rule, the undercutting attack, and the explicit treatment of possibilistic uncertainty at object-language level, among others.en
dc.language.isospa
dc.rightsLiberar contenido de archivos para acceso público.
dc.subjectArgumentaciónes
dc.subjectAgregación de argumentoses
dc.subjectInteligencia artificiales
dc.titleFormalización de agregación de argumentos : semánticas de aceptabilidad y procedimiento de prueba dialécticoes
dc.typetesis doctorales
bcuns.collection.nameBiblioteca Digital Académicaes
bcuns.collection.acronymBDAes
bcuns.collection.urlhttp://tesis.uns.edu.ar/es
bcuns.collection.institutionBiblioteca Central de la Universidad Nacional del Sures
bcuns.depositorylibrary.nameBiblioteca Central de la Universidad Nacional del Sures
bcuns.author.affiliationUniversidad Nacional del Sur. Departamento de Ciencias e Ingeniería de la Computaciónes
bcuns.advisor.affiliationUniversidad Nacional del Sures
bcuns.defense.cityBahía Blancaes
bcuns.defense.provinceBuenos Aireses
bcuns.defense.countryArgentinaes
bcuns.programme.nameDoctorado en Ciencias de la Computaciónes
bcuns.programme.departmentDepartamento de Ciencias e Ingeniería de la Computaciónes
bcuns.thesisdegree.nameDoctor en Ciencias de la Computaciónes
bcuns.thesisdegree.grantorUniversidad Nacional del Sures
uns.type.publicationVersionaccepteden
bcuns.depositarylibrary.acronymEUNes


Ficheros en el ítem

Thumbnail

Este ítem aparece en la(s) siguiente(s) colección(ones)

Mostrar el registro sencillo del ítem