Orden de evaluación en argumentación rebatible

Abstract

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.