稳定语义与优先语义何时一致：一种基于路径的抽象论辩方法

研究者提出了一种基于攻击图中路径集及其诱导二元关系的通用路径准则，用于判定抽象论辩框架中稳定语义与优先语义何时一致。该准则通过对应关系的良基性给出充分条件，严格推广了 Dung 的有限争议性条件与 SCC 对称性条件，并覆盖有限与无限论辩框架。研究还给出了稳定扩展存在的充分条件，并在坍缩定理下将一类无限序列条件简化为三种本质不同的情况。