Una semántica de aceptabilidad para sistemas argumentativos abstractos con conflictos múltiples

Abstract

Algunos formalismos de argumentación rebatible, como el definido en [Dung93] o en [Vree97], mantienen ciertos elementos sin especificar, por lo que se los denomina sistemas argumentativos abstractos. En este trabajo se presenta un sistema argumentativo abstracto como el utilizado en [Dung93], pero con un nivel de detalle adicional. Aquí, la relación de derrota (o attacks tal cual definida por Dung) es desglosada en sus dos conceptos básicos: el conflicto entre argumentos, y el orden de preferencia entre los mismos. En función de estos elementos se analiza en este trabajo la noción de conflictos extendida, permitiendo que más de dos argumentos entren en conflicto, y su correspondiente proceso de evolución a la noción de derrota, junto con las consecuencias de la imposibilidad de decidir entre argumentos conflictivos. En este sistema abstracto las relaciones d derrota (las cuales pueden darse entre varios argumentos) existen únicamente como consecuencia de un proceso de evaluación y comparación exitoso entre los mismos. De no ser así, la semántica argumentativa aquí definida contempla los conflictos como núcleo de posibles extensiones.