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

技术摘要：上下文相关论证框架与策略性激活

问题定义
本文旨在解决标准形式化论证理论中的一个空白，即在变化的外部机制下评估论证的问题。在现实世界的场景中（如架构评审），同一组论证及其冲突保持不变，但评估它们的“视角”（lens）会根据评审者的优先级（例如：性能 vs. 可靠性 vs. 成本）而改变。标准的 Dung 框架（1995）缺乏建模这种机制选择的方法。虽然基于价值的论证框架（VAFs）（Bench-Capon 2003）允许通过受众偏好实现不同的击败模式，但它们存在局限性：受众只能对价值进行重新排序，而不能将其完全停用。因此，VAFs 无法捕捉到代理人为了实现预期结果而策略性地选择将特定观点排除在评估过程之外的情景。

方法论：上下文相关论证框架 (CDAFs)
作者引入了上下文相关论证框架 (CDAFs) 作为 Dung 理论的扩展。一个 CDAF 被定义为一个元组 $\langle A, R, C, \delta \rangle$，其中：

• $A$ 是一个有限的论证集合。
• $R \subseteq A \times A$ 是攻击关系。
• $C$ 是一个有限的上下文集合。
• $\delta: C \times R \to \{0, 1\}$ 是一个击败函数，用于确定在每个上下文中哪些攻击是成功的。

本文重点研究一种专门的视角标记 CDAF (Perspective-labeled CDAF)，其击败函数是派生而非给定的。论证被分配了来源视角 ($src: A \to \Pi$)。一个上下文由以下内容定义：

1. 相关性集 ($\rho$): 一个活跃视角的子集 ($\rho \subseteq \Pi$)。这代表了代理人的行动空间或“视角”。
2. 优先级函数 ($\pi$): 上下文内视角的排序。

当且仅当攻击者的视角处于活跃状态 ($src(a) \in \rho$) 且攻击者的优先级大于或等于防御者的优先级 ($\pi(src(a)) \geq \pi(src(b))$) 时，攻击 $(a, b)$ 在该上下文中成功。至关重要的是，这产生了一种不对称性：停用一个视角会使来自该视角的论证发起的攻击失效，但这些论证本身仍然存在于框架中，并且如果它们未被活跃视角攻击，则仍可被辩护或接受。

核心贡献与结果

1. 策略性激活： 本文证明，通过改变相关性集 $\rho$（激活/停用视角），可以产生在 VAFs 中无法实现的接受结果。

   • 工作示例： 作者构建了一个包含论证 $\{a, b, t, d\}$ 和视角 $\{\alpha, \beta, \gamma\}$ 的场景。目标论证 $t$ 在结构上处于困境：在全相关性（所有视角均活跃）下，$t$ 被拒绝，因为其防御者 $b$ 也攻击 $t$。然而，通过停用视角 $\alpha$（设置 $\rho = \{\beta, \gamma\}$），“友军误伤”式的攻击 $(a, t)$ 被静默。这使得 $t$ 可以通过一个优选扩展（preferred extension）被接受，而这一结果在全相关性设置下的任何单射优先级下都是无法实现的。
   • VAF 局限性： 本文证明，部分激活（例如 $\rho = \{\gamma\}$，其中 $a$ 与 $b$ 之间的相互攻击均失败）所诱导的击败模式无法由任何 VAF 受众实现，因为 VAF 受众要求对价值进行严格的全序排列，从而确保相互攻击中的至少一个方向是成功的。

2. 决策问题：激活操控 (ACTIVATION-MANIPULATION)： 作者将这一策略性问题形式化为一个决策问题：给定一个框架、一个固定的优先级和一个目标论证 $t$，是否存在一个非空子集 $\rho \subseteq \Pi$，使得 $t$ 是可信地 $\sigma$-接受的？

   • 复杂度界限：
     • 对于基础语义 (Grounded, $gr$)、稳定语义 (Stable, $stb$) 和优选语义 (Preferred, $pref$)，该问题被证明属于 NP 类。作者指出，虽然验证一个优选扩展通常是 co-NP，但可信的优选接受与可信的可容纳性（admissibility）一致，因此可以通过在一个 NP 计算中同时猜测 $\rho$ 和一个可容纳集来解决该问题。
     • 对于稳定和优选语义，该问题通过对标准 Dung 框架接受问题的归约被证明是 NP-hard（因此是 NP-完全的）。
     • 对于基础语义，该问题属于 P 类，尽管目前尚不清楚选择 $\rho$ 的自由度是否会将基础变体提升至 NP-完全。
   • 约束： 要求 $\rho$ 必须为非空是至关重要的；空的 $\rho$ 会使所有攻击失效，从而导致所有论证都被轻易接受。

意义与范围
本文声称其重要性主要在于定义了一种新的形式化方法，它捕捉了一种特定的策略杠杆：即选择哪些机制（视角）来主导论证过程的能力，这不同于仅仅重新排列它们的优先级。这模拟了代理人控制辩论的“论坛”或“赛道”，而非仅仅控制评审者的内部逻辑的情景。

作者保持了适度的研究范围，明确指出对该框架的全面研究超出了本文的焦点。他们提出了几个开放的研究方向：

• 确定紧凑的复杂度界限，特别是针对基础变体。
• 探索受到成本或强制包含约束的 $\rho$ 选择机制设计。
• 研究多智能体变体，即智能体通过协作或对抗动态共同决定 $\rho$。
• 在应用领域（如多视角智能体记忆系统）中考察这一现象。

本研究通过将 CDAFs 定位为一种结构固定、但击败函数由代理人选择的活跃视角动态调节的模型，从而与控制论证（Control Argumentation，改变结构）以及不完全论证中的操纵（Manipulation in Incomplete Argumentation，改变结构）区分开来。