Una metodología para tratar el problema de la indecisión en un sisterna argumetativo abstracto

Abstract

Este trabajo presenta una metodología que permite identificar el conjunto de argumentos justificados de un sistema argumentativo abstracto. La metodología aquí descrita resulta equivalente a la aplicación de la función característica F_AF de la semántica de admisibilidad definida por P. Dung, siempre que el sistema argumentativo abstracto esté libre de situaciones falaces. En el caso que se presente una situación falaz, nuestra metodología permite definir una semántica crédula. Esto se logra permitiendo que un argumento esté justificado cuando es derrotado únicamente por argumentos falaces. De esta manera, en el caso de sistemas argumentativos abstractos, que no sean bien fundados, la partición del sistema para obtener el conjunto de los argumentos justificados corresponde a una semántica crédula. La metodología propuesta evita la "propagación de la indecisión" , es decir, el conjunto de argumentos indecisos se verá limitado únicamente a los argumentos que intervienen en una falacia.