重新审视抽象争论的虚空约简语义(扩展版)
原文中文,约300字,阅读约需1分钟。发表于: 。本研究探讨了抽象争论框架的虚空约简语义,解决了如何通过接受仅那些在其约简中没有非空扩展的σ扩展来细化基础条件σ的问题。我们提供了不同的可接受性和无冲突语义组合所产生的虚空约简语义的系统概述,并提出了在弱争论语义背景下原则满意度的继承标准。
本文比较了DeLP和ASPIC+两种基于规则的论证形式的中心概念,重点关注其充分性、可相互转换性、一致性和闭合性质。DeLP的定义更具吸引力,但可能不完全符合严格闭合和间接一致性的理性假设。在特殊情况下,DeLP的定义被证明比ASPIC+更好。最后,通过将DeLP确认程序更改为基于grounded语义,证明了DeLP的warrant概念和ASPIC+的justification概念是相等的,并为三种攻击定义的情况证明了这一结果。