Formas argumentales: un acercamiento a la argumentación rebatible con información no básica

Los sistemas argumentativos [SL92, Vre93, Che96] constituyen una formalización del razonamiento rebatible. 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 para determinar si existe un argumento A que sea una justificación. El análisis precedente resulta en la construcción de un árbol dialéctico, en el cual se parte d ela suposición de que h es literal básico. La construcción de dicho árbol es computacionalmente costosa, incidiendo en la perfomance de un sistema argumentativo. En este trabajo se aborda la argumentación rebatible con información no básica, introduciéndose el concepto de forma argumental. Las formas argumentales están relacionadas entre sí por la relación de conflicto, la cual constituye una generalización de la noción de contraargumentación. También se establecerá una generalización de la noción de contraargumentación. También se establecerá una generalización de la noción de árbol dialéctico utilizando formas argumentales, estudiándose la determinación de justificaciones en términos de estos últimos. Eje: Workshop sobre Aspectos Teoricos de la Inteligencia Artificial Red de Universidades con Carreras en Informática (RedUNCI)