[论文解读] On the existence and multiplicity of extensions in dialectical argumentation

Bart Verheij|ArXiv.org|Jul 17, 2002

Logic, Reasoning, and Knowledge参考文献 8被引用 7

一句话总结

本文通过 DEFLOG 框架研究了辩证论证中稳定扩展的存在性与多重性。它引入了通过辩证正当性概念对这些扩展进行表征的方法，建立了辩证正当性与可接受性之间的正式联系，从而提供了一个统一的标准，用于确定在给定的论证框架中稳定扩展是否存在以及其数量多少。

ABSTRACT

In the present paper, the existence and multiplicity problems of extensions are addressed. The focus is on extension of the stable type. The main result of the paper is an elegant characterization of the existence and multiplicity of extensions in terms of the notion of dialectical justification, a close cousin of the notion of admissibility. The characterization is given in the context of the particular logic for dialectical argumentation DEFLOG. The results are of direct relevance for several well-established models of defeasible reasoning (like default logic, logic programming and argumentation frameworks), since elsewhere dialectical argumentation has been shown to have close formal connections with these models.

研究动机与目标

• 解决辩证论证框架中稳定扩展是否存在这一基础性问题。
• 分析在何种条件下多个稳定扩展可以共存于此类框架中。
• 使用辩证正当性对扩展的存在性与多重性提供形式化表征。
• 建立辩证正当性与论证理论中可接受性之间的联系。
• 为诸如默认逻辑和逻辑编程等著名可废止推理模型提供一个统一标准。

提出的方法

• 本文采用 DEFLOG 逻辑作为辩证论证的形式框架。
• 它将辩证正当性定义为决定论点是否可被接受于稳定扩展中的关键结构属性。
• 该方法通过辩证正当性的视角分析论证框架，表明其与可接受性密切相关。
• 它使用形式证明来表征稳定扩展存在且唯一或多重的条件。
• 该方法依赖于对论证框架中攻击关系与正当性链的逻辑分析。
• 通过在已知可废止推理模型上的应用验证了结果，展示了其广泛的相关性。

实验结果

研究问题

• RQ1 在何种条件下，辩证论证框架中存在稳定扩展？
• RQ2 是什么决定了框架允许多个稳定扩展而非仅一个？
• RQ3 辩证正当性与论证理论中的可接受性概念有何关联？
• RQ4 能否使用辩证正当性对稳定扩展的存在性与多重性进行形式化表征？
• RQ5 该表征在多大程度上适用于默认逻辑和逻辑编程等既有的可废止推理模型？

主要发现

• 本文确立了 DEFLOG 中稳定扩展的存在性可被辩证正当性概念完全表征。
• 当且仅当存在相互正当但未被集体击败的论点时，多个稳定扩展才会存在。
• 辩证正当性为可接受性与稳定扩展存在性之间提供了正式桥梁，从而形成统一标准。
• 该表征被证明可直接应用于默认逻辑、逻辑编程和论证框架。
• 结果表明，在 DEFLOG 框架中，辩证正当性是稳定扩展存在性的必要且充分条件。
• 该框架允许对扩展多重性进行系统性分析，从而能够精确判断多个稳定扩展何时出现。