稳定语义与优先语义一致性的路径方法

AI 摘要

该论文研究抽象论证框架中优先语义与稳定语义何时一致的结构条件，提出基于攻击图中路径集合及其诱导二元关系的通用判定准则。作者证明该准则严格推广了Dung的有限争议性条件和SCC对称性条件，并引入两个无限路径集合序列，其中第一个序列通过坍缩定理将无限多个良基性条件归约为三个本质不同的条件。结果适用于有限与无限论证框架，并为稳定扩展的存在性提供充分条件。

正文节选

When Stable and Preferred Semantics Agree: A Path-Based ApproachThanks: Corresponding author: Yan Zhang. Abstract. We investigate structural conditions under which preferred and stable semantics agree in abstract argumentation frameworks. Our approach is based on suitably chosen sets of paths in the attack graph and binary relations induced by them. We establish a general path-based criterion for semantic agreement and instantiate it with several classes of paths, obtaining sufficient conditions

发布时间：2026-10-23 12:00

抓取时间：2026-10-23 12:11

来源机构：arXiv