Comparative Expressivity for Structured Argumentation Frameworks with Uncertain Rules and Premises

A continuación presento un resumen técnico detallado del artículo "Comparative Expressivity for Structured Argumentation Frameworks with Uncertain Rules and Premises" (Expresividad Comparativa para Marcos de Argumentación Estructurada con Reglas y Premisas Inciertas), escrito por Carlo Proietti y Antonio Yuste-Ginel.

1. Planteamiento del Problema

La incertidumbre es fundamental en la construcción y uso de argumentos, tanto en aplicaciones prácticas como en la comprensión teórica. En la argumentación computacional existen dos paradigmas principales:

• Argumentación Abstracta: Se basa en marcos de argumentación (AFs), grafos dirigidos donde los nodos son argumentos y las aristas son derrotas. La incertidumbre se modela típicamente sobre la existencia de argumentos o derrotas.
• Argumentación Estructurada: (Ej. ASPIC+) Los argumentos se construyen a partir de componentes internos: premisas y reglas de inferencia (estrictas y defeasibles). La incertidumbre puede residir en cualquiera de estos componentes.

El problema central es cómo comparar la capacidad expresiva de estos dos paradigmas cuando se introduce incertidumbre. Existe una preocupación de que al pasar de un marco estructurado a uno abstracto, se pierda información crítica (la estructura interna), y que muchos marcos abstractos no sean instanciaciones plausibles de los estructurados. El objetivo es definir un enfoque sistemático para mapear la expresividad relativa de los formalismos abstractos frente a los estructurados bajo incertidumbre.

2. Metodología

Los autores proponen una metodología de dos pasos para comparar la expresividad:

1. Establecimiento de un estándar abstracto: Utilizan los Marcos de Argumentación Incompletos con Dependencias (dep-arg-IAFs). En este modelo, la incertidumbre se codifica mediante un conjunto de argumentos inciertos ($A?$) y un conjunto de dependencias ($\Delta$) que restringen las "completaciones" posibles (formas en que la incertidumbre se resuelve). Las dependencias incluyen implicaciones ($IMPLY$), disyunciones ($OR$) y NAND.
2. "Levantamiento" (Lifting) de formalismos estructurados: Se definen versiones incompletas del formalismo estructurado ASPIC+ y se mapean a sus contrapartes abstractas.
   • Se definen rul-ISAFs: Marcos donde las reglas (estrictas y defeasibles) pueden ser ciertas o inciertas.
   • Se definen prem-ISAFs: Marcos donde las premisas (axiomas y premisas ordinarias) pueden ser ciertas o inciertas.
   • Se define la expresividad relativa ($Y \preceq X$): Un formalismo $X$ es al menos tan expresivo como $Y$ si, para cada marco en $Y$, existe un marco en $X$ que genera un conjunto de completaciones (grafos abstractos) isomorfo.

3. Contribuciones Clave

A. Definición de Expresividad Relativa

Se introduce una noción formal de equivalencia basada en la existencia de una función biyectiva entre los conjuntos de argumentos de las completaciones de dos formalismos, preservando la relación de derrota. Esto permite comparar marcos que operan a diferentes niveles de abstracción (estructurado vs. abstracto).

B. Formalización de la Incertidumbre en ASPIC+

Se proporcionan definiciones rigurosas para:

• Incompletitud de Reglas (rul-ISAF): Las reglas inciertas pueden activarse o no en una completación.
• Incompletitud de Premisas (prem-ISAF): Las premisas inciertas pueden estar presentes o ausentes en la base de conocimiento.
• Se demuestra que ambos tipos de incertidumbre generan incompletitud de argumentos a nivel abstracto, pero no necesariamente incompletitud de derrotas (las derrotas entre argumentos existentes se mantienen estables).

C. Resultados de Expresividad (Teoremas Principales)

Los autores establecen una jerarquía estricta de expresividad, resumida en la Figura 1 del artículo:

1. Relación con IAFs Básicos:

   • Tanto los rul-ISAFs como los prem-ISAFs son estrictamente más expresivos que los IAFs simples (sin dependencias).
   • Razón: Los sistemas estructurados pueden generar conjuntos de completaciones que requieren dependencias lógicas complejas para ser representados en el nivel abstracto.

2. Relación con IAFs con Dependencias (imp-arg-IAFs):

   • Los rul-ISAFs y prem-ISAFs son estrictamente menos expresivos que los IAFs con dependencias implicativas (imp-arg-IAFs).
   • Razón: Aunque los sistemas estructurados pueden simular ciertas dependencias, no pueden capturar todas las combinaciones posibles de dependencias lógicas que permiten los IAFs con dependencias arbitrarias.

3. Comparación entre Reglas y Premisas:

   • rul-ISAFs son estrictamente más expresivos que prem-ISAFs.
   • Razón: La incertidumbre en las reglas permite modelar estructuras de argumentos más complejas y condicionales que la incertidumbre meramente en las premisas. Se demuestra que cualquier prem-ISAF puede transformarse en un rul-ISAF equivalente, pero no viceversa.

4. Jerarquía Final:
   $$\text{arg-IAFs} \prec \text{prem-ISAFs} \prec \text{rul-ISAFs} \prec \text{imp-arg-IAFs}$$
   (Donde $\prec$ denota "estrictamente menos expresivo que").

4. Resultados Técnicos Destacados

• Teorema 1 y 5: Se demuestra que cualquier IAF básico puede ser embebido tanto en un rul-ISAF como en un prem-ISAF.
• Teorema 2 y 6: Se demuestra la imposibilidad de embeber rul-ISAFs o prem-ISAFs en IAFs básicos sin dependencias, debido a restricciones estructurales (ej. la necesidad de que ciertos argumentos aparezcan juntos o no).
• Teorema 3 y 7: Se demuestra que rul-ISAFs y prem-ISAFs pueden ser embebidos en imp-arg-IAFs (usando dependencias implicativas), pero no al revés.
• Teorema 9 y 10: Se prueba la asimetría entre reglas y premisas. Las reglas inciertas pueden simular la incertidumbre de premisas (mediante reglas sin antecedente), pero las premisas inciertas no pueden simular la complejidad estructural de las reglas inciertas.

5. Significado e Impacto

• Unificación Teórica: El trabajo unifica investigaciones recientes sobre argumentación con incertidumbre, proporcionando un marco común para comparar formalismos abstractos y estructurados.
• Guía para la Selección de Modelos: Los resultados indican que si un dominio requiere modelar dependencias complejas entre argumentos inciertos, los marcos abstractos simples son insuficientes y se necesitan dependencias o formalismos estructurados.
• Limitaciones de la Abstracción: Confirma que la transición de un modelo estructurado a uno abstracto conlleva una pérdida de expresividad si no se incorporan mecanismos de dependencia adicionales en el modelo abstracto.
• Dirección Futura: Los autores sugieren que estos resultados pueden extenderse a otros formalismos estructurados más allá de ASPIC+ (como ABA o DeLP) y que el trabajo sentará las bases para una versión más amplia en una futura publicación de revista.

En resumen, el artículo establece que la incertidumbre en las reglas de inferencia dentro de la argumentación estructurada es el modelo más expresivo entre los estudiados, superando a la incertidumbre en premisas y a los marcos abstractos básicos, pero quedando por debajo de los marcos abstractos enriquecidos con dependencias lógicas arbitrarias.