技术摘要：在结构化双极论证中基于怀疑拒绝论证

问题陈述

当前的计算论证框架，特别是基于抽象论证（如 Dung 的语义）的框架，通常依赖于两个与非形式化推理实践相悖的假设：

1. 自动接受被辩护的论证： 形式化语义（特别是完备语义）通常要求理性主体接受所有其能够辩护的论证。相比之下，非形式化方法允许主体在即便不存在正式反驳的情况下，由于对特定前提持有怀疑，从而拒绝被辩护的论证。
2. 整体性论证评估： 形式化方法通常将论证视为原子单元进行整体评估。而非形式化方法表明，主体在辩论中自然地评估特定的句子或主张，而非整个论证结构。

现有的双极论证框架（包含支持关系）通常仍依赖于基于完备性的语义或演绎支持语义，这些语义强制接受受支持的论证，未能捕捉到“怀疑”的细微差别——即主体接受前提但拒绝推论或结论的情况。

方法论

作者提出了结构化双极论证框架 (SBAFs)，旨在将结构化论证（前提与结论）与双极关系（攻击与支持）相结合。

1. 框架定义

• 语言 ($L$)： 定义为一个元组 $\langle L, \bowtie, n \rangle$，其中 $L$ 是一个句子集，$\bowtie$ 是一个对称的不兼容函数（对立性），$n$ 是一个命名函数，将论证结构映射为代表推理主张的句子。
• 论证： 定义为元组 $\langle Prem(a), Conc(a) \rangle$，其中 $Prem(a)$是一个非空的有限句子集，$Conc(a)$ 是一个句子。
• 关系：
  • 攻击 ($\rightarrow$)： 如果 $Conc(a)$与$Sent(b)$中的某个句子不兼容（反驳），或者$Conc(a)$与$b$的名称不兼容（削弱），则称论证$a$攻击$b$。
  • 支持 ($\rightarrow\!\!\!\rightarrow$)： 如果 $Prem(a) \subseteq Sent(E)$，则称论证集 $E$ 支持论证 $a$。这捕捉了“前提支持”和“前提共享支持”（穷尽性）。

2. 语义

论文引入了两层语义：论证语义（评估论证集）和语言语义（评估句子集）。两层语义都提供了“强”和“弱”变体，以模拟不同的怀疑模型。

论证语义

作者定义了连贯论证扩展，即满足特定支持闭包条件的容许扩展：

• 强连贯性： 若扩展 $E$ 满足强支持闭包，即：如果 $E$ 支持 $a$ 且 $E$ 不包含针对 $a$ 的削弱信息，则 $a \in E$。这强制要求接受受支持的论证，除非被显式削弱。
• 弱连贯性： 若扩展 $E$ 满足弱支持闭和，即：如果 $E$ 支持 $a$，$E$ 不包含针对 $a$ 的削弱信息，且 $E$ 辩护了 $a$，则 $a \in E$。这允许主体在未被辩护的情况下拒绝受支持的论证，从而有效地模拟了对推论本身的怀疑，即使前提被接受。

语言语义

为了直接处理句子的评估，作者定义了充分语言扩展：

• **强论证集 ($Args(S)$)：** 其前提属于$S$且其名称不属于$S$ 的论证集合。
• 弱论证集 ($Arg_w(S)$)： 通过类似于完备扩展的固定点构造定义，确保被辩护的论证被包含在内。
• 强/弱充分扩展： 若集合 $S$ 是兼容的（无不兼容句子）、满足句子闭包（包含被接受论证的结论），且对应的论证集（强或弱）辩护了其所有论证，则称 $S$ 是充分的。

核心贡献

1. 怀疑的形式化： 论文通过形式化“批判性反应”的概念，使主体可以基于对前提或推论的怀疑来拒绝一个被辩护的论证，前提是缺乏移除该怀疑的支持。这是通过放宽“必须接受所有被辩护论证”这一完备语义的要求来实现的。
2. 双重视角（论证 vs. 语言）： 该框架为论证扩展和语言扩展提供了语义。这使得主体可以基于被接受的句子而非复杂的论证结构进行交流，弥合了抽象论证与结构化论证之间的鸿沟。
3. 新的语义谱系： 提出的语义（强/弱连贯性与充分性）占据了容许语义与完备语义之间的理论空间。它们比完备语义弱（允许拒绝被辩护的论证），但比容许语义强（尊重支持关系）。
4. 对现有语义的重新解释：
   • 优选语义： 论文表明，在饱和框架中，优选扩展对应于“自信弱连贯”扩展。这意味着最大化接受的论证等同于最大化接受的句子，仅在特定的结构条件（强饱和）下成立。
   • 演绎支持语义： 论文证明了当论证恰好有一个唯一的唯一前提且不存在削弱信息时，强连贯性与 d-容许性（演绎支持语义）一致。这将其推广到了更复杂的论证结构。

结果与理论发现

• 方向性： 弱连贯性满足方向性属性（论证仅通过有向路径影响可接受性），而强连贯性则不满足。
• 对应关系： 在饱和的 SBAF 中，存在连贯论证扩展与充分语言扩展之间的直接对应关系。
• 最大化策略： 最大化接受论证的策略（优选扩展）与最大化接受句子的策略（自信弱连属于扩展）并不总是重合。它们仅在强饱和框架（即所有句子都存在最小论证）中才会重合。
• 削弱： 该框架通过命名函数显式处理削弱，允许主体在接受前提的同时，即便前提被接受，也能通过攻击推理主张来拒绝该推理。

意义与主张

论文声称提供了一个受非形式化理论（哲学、语言学）启发的计算论证新视角。其主要意义在于：

• 架起形式与非形式的桥梁： 它纳入了这样一种非形式化直觉：主体可以在没有完整反驳的情况下怀疑并拒绝论证，且主体直接对句子进行推理。
• 泛化： 它将现有的双极语义（特别是演绎支持语义）推广到了具有复杂前提的结构化论证。
• 灵活性： 通过区分强/弱解释，该框架允许对主体的怀疑程度或承诺程度进行建模。
• 澄清支持： 它澄清了何时需要使用抽象论证（在具有优选语义的强饱和框架中忽略支持）以及何时需要使用结构化支持。

作者指出，他们的方法实现了一种“慷慨的怀疑观”，这可能导致难以迫使主体接受论证。他们建议未来的工作可以区分“可怀疑的句子”与“接受句子的共同基础”，但目前尚未在框架内实现这一点。论文总结道，SBAF 为评估那些论证结构和具体涉及句子对主体推理过程至关重要的辩论提供了一个稳健的机制。