基于未决阻断的弱完全语义

在本文中我们引入一类称为弱完全语义的新语义族。与 Dung 的完全语义不同，弱完全语义采用一种称为未决阻断（undecidedness blocking）的机制，据此被攻击论证的未决（undecided）标签并非总被传播至否则被接受的被攻击论证。新语义是无冲突的、非可容的但采用较弱的可容概念；它们允许复职（reinstatement）并保留了完全语义的大部分性质。我们展示弱完全语义与 Dung 的完全语义均可通过应用不同的未决阻断策略生成，使未决阻断成为论证语义底层的统一机制。这些语义也是模糊阻断（ambiguity blocking）Dungan 语义的实例，且是首个处理自击败攻击论证问题的语义。在论文最后部分我们将弱完全语义与 Baumann 等人近期关于弱可容语义的工作进行比较。由于两语义族并不重合，我们提供了对两种方法的基于原则的分析。分析表明我们的语义满足 Dung 完全语义满足但 Baumann 等人语义不满足的若干原则，包括方向性、弃权、SCC 可分解性与扩展的基数，使其成为 Dung 语义更忠实的非可容版本。