Choosing the Lens: Strategic Perspective Activation in Context-Dependent Argumentation

Resumen Técnico: Marcos de Argumentación Dependientes del Contexto y Activación Estratégica

Definición del Problema
El artículo aborda una laguna en la teoría de la argumentación formal estándar con respecto a la evaluación de argumentos bajo regímenes externos variables. En escenarios del mundo real, como las revisiones arquitectónicas, el conjunto de argumentos y sus conflictos permanecen fijos, pero el "lente" a través del cual se evalúan cambia según las prioridades del revisor (por ejemplo, rendimiento frente a fiabilidad frente a coste). Los marcos de Dung (1995) estándar carecen de un mecanismo para modelar esta selección de régimen. Los Marcos de Argumentación Basados en Valores (VAF) (Bench-Capon 2003) permiten diferentes patrones de derrota mediante las preferencias de la audiencia, pero son limitados: una audiencia solo puede reordenar los valores, no desactivarlos por completo. En consecuencia, los VAF no pueden capturar escenarios donde un agente elige estratégicamente excluir perspectivas específicas del proceso de evaluación para lograr un resultado deseado.

Metodología: Marcos de Argumentación Dependientes del Contexto (CDAF)
Los autores introducen los Marcos de Argumentación Dependientes del Contexto (CDAF) como una extensión de la teoría de Dung. Un CDAF se define como una tupla $\langle A, R, C, \delta \rangle$, donde:

• $A$ es un conjunto finito de argumentos.
• $R \subseteq A \times A$ es la relación de ataque.
• $C$ es un conjunto finito de contextos.
• $\delta: C \times R \to \{0, 1\}$ es una función de derrota que determina, para cada contexto, qué ataques tienen éxito.

El artículo se centra en un CDAF etiquetado por perspectivas especializado, donde la función de derrota es derivada en lugar de dada. A los argumentos se les asignan perspectivas de origen ($src: A \to \Pi$). Un contexto se define por:

1. Conjunto de Relevancia ($\rho$): Un subconjunto de perspectivas activas ($\rho \subseteq \Pi$). Esto representa el espacio de acción o "lente" del agente.
2. Función de Prioridad ($\pi$): Un ranking de perspectivas dentro del contexto.

Un ataque $(a, b)$ tiene éxito en un contexto si y solo si la perspectiva del atacante está activa ($src(a) \in \rho$) y la prioridad del atacante es mayor o igual que la del defensor ($\pi(src(a)) \geq \pi(src(b))$). Crucialmente, esto crea una asimetría: desactivar una perspectiva silencia todos los ataques montados por argumentos de esa perspectiva, pero dichos argumentos permanecen presentes en el marco y aún pueden ser defendidos o aceptados si no son atacados por perspectivas activas.

Contribuciones Clave y Resultados

1. Activación Estratégica: El artículo demuestra que variar el conjunto de relevancia $\rho$ (activar/desactivar perspectivas) puede producir resultados de aceptación imposibles de lograr en los VAF.

   • Ejemplo práctico: Los autores construyen un escenario con los argumentos $\{a, b, t, d\}$ y las perspectivas $\{\alpha, \beta, \gamma\}$. El argumento objetivo $t$ está estructuralmente atrapado: bajo relevancia total (todas las perspectivas activas), $t$ es rechazado porque su defensor $b$ también ataca a $t$. Sin embargo, al desactivar la perspectiva $\alpha$ (estableciendo $\rho = \{\beta, \gamma\}$), el ataque de "fuego amigo" $(a, t)$ se silencia. Esto permite que $t$ sea aceptado mediante una extensión preferida, un resultado inalcanzable bajo cualquier prioridad inyectiva en un entorno de relevancia total.
   • Limitación de los VAF: El artículo demuestra que el patrón de derrota inducido por la activación parcial (por ejemplo, $\rho = \{\gamma\}$, donde los ataques mutuos entre $a$ y $b$ fallan ambos) no puede ser realizado por ninguna audiencia de un VAF, ya que las audiencias de los VAF requieren un orden total estricto sobre los valores, asegurando que al menos una dirección de un ataque mutuo tenga éxito.

2. Problema de Decisión: ACTIVACIÓN-MANIPULACIÓN: Los autores formalizan la pregunta estratégica como un problema de decisión: Dado un marco, una prioridad fija y un argumento objetivo $t$, ¿existe un subconjunto no vacío $\rho \subseteq \Pi$ tal que $t$ sea creídelmente $\sigma$-aceptado?

   • Límites de Complejidad:
     • Para las semánticas Grounded ($gr$), Stable ($stb$) y Preferred ($pref$), se demuestra que el problema está en NP. Los autores señalan que, aunque verificar una extensión preferida es típicamente co-NP, la aceptación preferida creíble coincide con la admisibilidad creíble, lo que permite resolver el problema mediante la suposición de $\rho$ y un conjunto admisible en una única computación NP.
     • Para las semánticas Stable y Preferred, el problema es NP-duro (y por tanto NP-completo) mediante reducción desde la aceptación estándar de los marcos de Dung.
     • Para la semántica Grounded, el problema está en P, aunque sigue siendo una cuestión abierta si la libertad de elegir $\rho$ eleva la variante grounded a NP-completitud.
   • Restricción: El requisito de que $\rho$ sea no vacío es esencial; un $\rho$ vacío desactivaría todos los ataques, aceptando trivialmente todos los argumentos.

Significación y Alcance
El artículo reclama su significación principalmente al definir un nuevo formalismo que captura una palanca estratégica específica: la capacidad de seleccionar qué regímenes (perspectivas) gobiernan un proceso de argumentación, distinto de simplemente reordenarlos. Esto modela escenarios donde un agente controla el "foro" o la "vía" de un debate en lugar de la lógica interna de los revisores.

Los autores mantienen un alcance modesto, declarando explícitamente que un estudio completo del marco está más allá del enfoque de este artículo. Identifican varias direcciones abiertas:

• Determinar límites de complejidad ajustados, particularmente para la variante grounded.
• Explorar el diseño de mecanismos donde la selección de $\rho$ esté sujeta a costes o inclusiones obligatorias.
• Investigar variantes multi-agente donde los agentes determinan $\rho$ conjuntamente a través de dinámicas cooperativas o adversarias.
• Examinar el fenómeno en entornos aplicados, como sistemas de memoria de agentes multi-perspectiva.

El trabajo se distingue de la Argumentación de Control (que altera la estructura) y de la Manipulación en Argumentación Incompleta (que también altera la estructura), posicionando a los CDAF como un modelo donde la estructura es fija, pero la función de derrota es modulada dinámicamente por la elección del agente de las perspectivas activas.