重新审视抽象争论的虚空约简语义（扩展版）
内容提要
本文提出了一种新方法，利用受限碎片的算法解决抽象论证中的计算问题，逐步扩展可处理的碎片。研究了不同语义下的算法结果，构建了带偏好的论证框架，并比较了DeLP与ASPIC+的中心概念，探讨了可接受性语义及其计算复杂性。此外，提出了新的防御语义和基于权重的渐进语义，揭示了现有语义的推广。
延伸解读
从碎片到整体：计算复杂性的渐进扩展
文章提出利用受限碎片的已知算法，通过逐步扩展可处理的碎片来解决抽象论证中的计算问题。计算成本随碎片间距离增加而增长，但某些碎片可扩展，而其他则不支持。对于拓扑结构良好的碎片，问题在某些参数下可高效处理。这为处理大规模论证框架提供了渐进式思路，但需注意扩展的局限性。
偏好框架的通用性与逻辑实例化
基于ASPIC+形式主义，文章构建了带偏好的论证通用框架，通过改进冲突自由论据集的定义，适应更广泛的逻辑实例化需求。该框架被证明适应塔斯基逻辑实例化，并通过古典逻辑审视，显示了其广泛性。这为不同逻辑系统下的论证提供了统一基础，但具体实例化效果需进一步验证。
DeLP与ASPIC+：概念比较与理性假设
文章正式比较了DeLP和ASPIC+的中心概念，关注充分性、可相互转换性、一致性和闭合性质。DeLP的定义更具吸引力，但可能不完全符合严格闭合和间接一致性的理性假设。在特殊情况下，DeLP定义优于ASPIC+。若将DeLP确认程序改为基于grounded语义，其warrant概念与ASPIC+的justification概念相等。
新语义的提出与现有语义的推广
文章提出了防御语义和基于权重的渐进语义。防御语义研究了Dung的抽象论证框架，提出了两种防御、防御等价性及接受论证的两种理由，定义了根等价性。基于权重的渐进语义则揭示了许多现有语义的推广，同时保持收敛到唯一不动点等理想属性，其子家族包括众所周知的语义并解决了四个问题。
Q&A
这篇文章提出了什么新方法来解决抽象论证中的计算问题？
文章提出了一种利用受限碎片的算法，逐步扩展可处理的碎片，从而高效解决抽象论证中的计算问题。
DeLP与ASPIC+的比较中，关注了哪些中心概念？
比较中关注了充分性、可相互转换性、一致性和闭合性质等中心概念。
文章中提到的新的防御语义有什么重要性？
新的防御语义用于研究Dung的抽象论证框架，并定义了防御等价性和接受论证的理由，增强了论证的理论基础。
如何构建带偏好的论证框架？
通过改进定义冲突自由的论据集，构建了适应更广泛逻辑实例化需求的带偏好的论证框架。
文章中提到的基于权重的渐进语义有什么特点？
基于权重的渐进语义揭示了许多现有语义的推广，同时保持收敛到唯一不动点等理想属性。
计算成本如何影响可处理的碎片？
计算成本随着碎片之间的距离而扩展，逐渐增加可处理的碎片，某些碎片可以进行扩展，而其他则不支持扩展。
