Orden de evaluación en argumentación rebatible : Propiedades y consideraciones teóricas

Los sistemas argumentativos [SL92, Vre93, Che96] constituyen una formalización del razonamiento rebatible, En tal sentido, MTDR [SL96, Che96] es uno de los formalismos más aceptados para capturar el proceso de argumentación rebatible. En MTDR, un argumento A para un literal h es una pieza de razonam...

Descripción completa

Detalles Bibliográficos
Autores principales: Chesñevar, Carlos Iván, Simari, Guillermo Ricardo
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 1997
Materias:
Ciencias Informáticas
ARTIFICIAL INTELLIGENCE
Inteligencia artificial
razonamiento rebatible
sistemas argumentativos
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/24075
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-24075
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Español
topic Ciencias Informáticas
ARTIFICIAL INTELLIGENCE
Inteligencia artificial
razonamiento rebatible
sistemas argumentativos
spellingShingle Ciencias Informáticas
ARTIFICIAL INTELLIGENCE
Inteligencia artificial
razonamiento rebatible
sistemas argumentativos
Chesñevar, Carlos Iván
Simari, Guillermo Ricardo
Orden de evaluación en argumentación rebatible : Propiedades y consideraciones teóricas
topic_facet Ciencias Informáticas
ARTIFICIAL INTELLIGENCE
Inteligencia artificial
razonamiento rebatible
sistemas argumentativos
description Los sistemas argumentativos [SL92, Vre93, Che96] constituyen una formalización del razonamiento rebatible, En tal sentido, MTDR [SL96, Che96] es uno de los formalismos más aceptados para capturar el proceso de argumentación rebatible. En MTDR, un argumento A para un literal h es una pieza de razonamiento que permite a un agente inteligente explicar h de manera tentativa. Para determinar si h es finalmente aceptable (o justificable) es necesario llevar a cabo un análisis en el que se confrontan argumentos y contraargumentos, resultando en una estructura denominada árbol dialéctico. Un proceso de etiquetado sobre dicho árbol permitirá determinar si el argumento A para h es una justificación. En trabajos recientes [SCG94b] se ha apuntado a etiquetar un árbol dialéctico de manera eficiente. En este trabajo se aborda formalmente ese problema, introduciéndose definiciones y propiedades que facilitan la especificación de un algoritmo de etiquetado. Se presenta la noción de orden de evaluación para facilitar la formalización del proceso de etiquetado. Se caracterizan elementos distinguidos que permitirán podar el espacio de búsqueda asociado a la determinación de contraargumentos para un argumento dado. Se establece la definición de conjunto de compromiso asociado a un argumento dado, y a partir de ésta la definición de base compartida, la cual estará formado por todos aquellos literales que no pueden ser futuros puntos de contra argumentación. Estos conceptos permitirán formular proposiciones que restringirán los argumentos candidatos a formar parte del árbol dialéctico asociado a una justificación. El trabajo culmina presentando un criterio de preferencia para la construcción de un árbol dialéctico, basado en la noción de conjunto de compromiso. Dicho criterio de preferencia podrá aplicarse al algoritmo de etiquetado para mejorar su performance computacional.
format Objeto de conferencia
Objeto de conferencia
author Chesñevar, Carlos Iván
Simari, Guillermo Ricardo
author_facet Chesñevar, Carlos Iván
Simari, Guillermo Ricardo
author_sort Chesñevar, Carlos Iván
title Orden de evaluación en argumentación rebatible : Propiedades y consideraciones teóricas
title_short Orden de evaluación en argumentación rebatible : Propiedades y consideraciones teóricas
title_full Orden de evaluación en argumentación rebatible : Propiedades y consideraciones teóricas
title_fullStr Orden de evaluación en argumentación rebatible : Propiedades y consideraciones teóricas
title_full_unstemmed Orden de evaluación en argumentación rebatible : Propiedades y consideraciones teóricas
title_sort orden de evaluación en argumentación rebatible : propiedades y consideraciones teóricas
publishDate 1997
url http://sedici.unlp.edu.ar/handle/10915/24075
work_keys_str_mv AT chesnevarcarlosivan ordendeevaluacionenargumentacionrebatiblepropiedadesyconsideracionesteoricas
AT simariguillermoricardo ordendeevaluacionenargumentacionrebatiblepropiedadesyconsideracionesteoricas
bdutipo_str Repositorios
_version_ 1764820466565906433

Ejemplares similares