Aceptabilidad relativa para marcos argumentativos abstractos

Abstract

Los sistemas argumentativos son formalismos que modelan información rebatible y potencialmente contradictoria. En general pueden ser caracterizados en un proceso de tres etapas. Primero se genera un marco argumentativo a partir de una base de conocimiento, i.e. se construye un conjunto de argumentos y se establecen relaciones de derrota a partir de la identificación de los argumentos que son mutuamente excluyentes junto a algún(os) criterio(s) de preferencia. Luego se determina el conjunto de argumentos aceptados (que permiten extender la base de datos inicial) previo calculo de aceptabilidad a partir del marco definido en el paso anterior. Finalmente se identifica el conjunto -de conclusiones justificadas, en general, son las conclusiones de los argumentos aceptables.