Formalización de sistemas argumentativos con ataque y soporte a inferencias

Esta tesis comprende el estudio y formalización de herramientas para la representación de conocimiento y razonamiento en sistemas argumentativos. En particular, se proponen dos formalismos argumentativos que permiten la utilización y combinación de soporte y ataque a reglas de inferencia. Los for...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Cohen, Andrea
Otros Autores: García, Alejandro Javier
Formato: tesis doctoral
Lenguaje:Español
Publicado: 2014
Materias:
Ciencias de la computación
Inteligencia artificial
Argumentación
Razonamiento rebatible
Relaciones de ataque y soporte
Acceso en línea:http://repositoriodigital.uns.edu.ar/handle/123456789/537
Aporte de:
Repositorio Institucional Universidad Nacional del Sur (UNS) de Universidad Nacional del Sur
id I20-R126123456789-537
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 Ciencias de la computación
Inteligencia artificial
Argumentación
Razonamiento rebatible
Relaciones de ataque y soporte
spellingShingle Ciencias de la computación
Inteligencia artificial
Argumentación
Razonamiento rebatible
Relaciones de ataque y soporte
Cohen, Andrea
Formalización de sistemas argumentativos con ataque y soporte a inferencias
topic_facet Ciencias de la computación
Inteligencia artificial
Argumentación
Razonamiento rebatible
Relaciones de ataque y soporte
description Esta tesis comprende el estudio y formalización de herramientas para la representación de conocimiento y razonamiento en sistemas argumentativos. En particular, se proponen dos formalismos argumentativos que permiten la utilización y combinación de soporte y ataque a reglas de inferencia. Los formalismos aquí desarrollados abordan esta temática desde dos enfoques complementarios. El primero de ellos provee un marco unificado para modelar estas nociones en un contexto de argumentación abstracta, mientras que el segundo corresponde a un sistema argumentativo basado en reglas que permite expresar soporte y ataque a reglas rebatibles de un lenguaje de programación lógica. Para cada uno de los formalismos propuestos se abordaría la definición del sistema, así como también el análisis de propiedades satisfechas por el mismo. Los sistemas argumentativos definidos en esta tesis extienden a otras aproximaciones existentes en la literatura, incorporando características y elementos que aún no habían sido considerados conjuntamente por los formalismos desarrollados hasta el momento. Concretamente, los formalismos aquí propuestos incorporan en forma conjunta las nociones de backing y undercutting, de reconocida importancia en el área de argumentación. Asimismo, estos formalismos fueron concebidos de manera tal que es posible instanciar el marco argumentativo abstracto con el sistema argumentativo concreto, favoreciendo así su implementación computacional.
author2 García, Alejandro Javier
author_facet García, Alejandro Javier
Cohen, Andrea
format tesis doctoral
author Cohen, Andrea
author_sort Cohen, Andrea
title Formalización de sistemas argumentativos con ataque y soporte a inferencias
title_short Formalización de sistemas argumentativos con ataque y soporte a inferencias
title_full Formalización de sistemas argumentativos con ataque y soporte a inferencias
title_fullStr Formalización de sistemas argumentativos con ataque y soporte a inferencias
title_full_unstemmed Formalización de sistemas argumentativos con ataque y soporte a inferencias
title_sort formalización de sistemas argumentativos con ataque y soporte a inferencias
publishDate 2014
url http://repositoriodigital.uns.edu.ar/handle/123456789/537
work_keys_str_mv AT cohenandrea formalizaciondesistemasargumentativosconataqueysoporteainferencias
bdutipo_str Repositorios
_version_ 1764820506048987136

Ejemplares similares