Semánticas basadas en resoluciones para marcos argumentativos abstractos

CLAUDIO ANDRÉS ALESSIO

Congreso; XVI Congreso Nacional de Filosofía; 2013

Un marco argumentativo se define a partir de un conjunto de entidades abstractas denominadas argumentos y una relación de derrota entre ellos. A partir de los anteriores componentes y mediante criterios previamente especificados, denominados semánticas, se identifica el conjunto de argumentos que constituirán las extensiones del marco. Cuando los marcos argumentativos son utilizado para modelar procesos de toma de decisiones pueden aparecer resultados no intuitivos. En particular cuando se seleccionan las extensiones mediante la semántica estable (y en general cualquier semántica crédula). Tal semántica, en caso de que haya más de una extensión, considera como igualmente buenas a todas ellas. Sin embargo puede suceder que se obtengan múltiples extensiones y se dé el caso de que, dados dos conjuntos estables E y F, para cualquier argumento de E, F contiene un argumento estrictamente preferido. Si se tiene en cuenta que la semántica estable es crédula, entonces, en caso de tener que tomar una decisión, cualquier conjunto puede ser elegido arbitrariamente, sin embargo, parece intuitivo que el conjunto que posee los argumentos estrictamente preferidos debería ser seleccionado. En caso de que la anterior observación sea considerada plausible se propone remediar el inconveniente mediante una semántica basada en resoluciones