Formalización de agregación de argumentos : semánticas de aceptabilidad y procedimiento de prueba dialéctico

En 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...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Gómez Lucero, Mauro Javier
Otros Autores: Chesñevar, Carlos Iván
Formato: tesis doctoral
Lenguaje:Español
Publicado: 2011
Materias:
Argumentación
Agregación de argumentos
Inteligencia artificial
Acceso en línea:http://repositoriodigital.uns.edu.ar/handle/123456789/2149
Aporte de:
Repositorio Institucional Universidad Nacional del Sur (UNS) de Universidad Nacional del Sur
id I20-R126123456789-2149
record_format dspace
institution Universidad Nacional del Sur
institution_str I-20
repository_str R-126
collection Repositorio Institucional Universidad Nacional del Sur (UNS)
language Español
orig_language_str_mv spa
topic Argumentación
Agregación de argumentos
Inteligencia artificial
spellingShingle Argumentación
Agregación de argumentos
Inteligencia artificial
Gómez Lucero, Mauro Javier
Formalización de agregación de argumentos : semánticas de aceptabilidad y procedimiento de prueba dialéctico
topic_facet Argumentación
Agregación de argumentos
Inteligencia artificial
description En 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.
author2 Chesñevar, Carlos Iván
author_facet Chesñevar, Carlos Iván
Gómez Lucero, Mauro Javier
format tesis doctoral
author Gómez Lucero, Mauro Javier
author_sort Gómez Lucero, Mauro Javier
title Formalización de agregación de argumentos : semánticas de aceptabilidad y procedimiento de prueba dialéctico
title_short Formalización de agregación de argumentos : semánticas de aceptabilidad y procedimiento de prueba dialéctico
title_full Formalización de agregación de argumentos : semánticas de aceptabilidad y procedimiento de prueba dialéctico
title_fullStr Formalización de agregación de argumentos : semánticas de aceptabilidad y procedimiento de prueba dialéctico
title_full_unstemmed Formalización de agregación de argumentos : semánticas de aceptabilidad y procedimiento de prueba dialéctico
title_sort formalización de agregación de argumentos : semánticas de aceptabilidad y procedimiento de prueba dialéctico
publishDate 2011
url http://repositoriodigital.uns.edu.ar/handle/123456789/2149
work_keys_str_mv AT gomezluceromaurojavier formalizaciondeagregaciondeargumentossemanticasdeaceptabilidadyprocedimientodepruebadialectico
bdutipo_str Repositorios
_version_ 1764820505252069376

Ejemplares similares