路径方法统一优先与稳定语义，严格推广Dung两大经典判据！
When Stable and Preferred Semantics Agree: A Path-Based Approach
📖 AI 总结
该论文研究抽象论辩框架中优先语义与稳定语义达成一致的结构性条件。作者以攻击图中选取的路径集合及其诱导的二元关系为基础，建立了语义一致的一般性路径判据，并通过多类路径实例化，得到以相应关系良基性表述的充分条件。这些条件严格推广了文献中两个主要的结构性判据——Dung 的有限争议性条件与 SCC 对称性条件，其中取偶路径集即可将 Dung 的结果作为特例恢复。作者进一步引入两个无限路径集序列，各自生成一族一致性条件：第一个序列通过坍缩定理将无穷多个良基性条件归约为三个本质不同的条件，第二个序列则产生无法类似坍缩的真正不同条件。研究结果适用于有限与无限论辩框架，在有限情形下可简化表述，同时给出了稳定扩展存在的充分条件。
🔑 关键词速览
| 抽象论辩框架 | 一种用节点表示论点、用有向边表示攻击关系的图结构，用于形式化论辩推理。 |
| 优先语义 | 一种基于极大可接受集（优先扩展）的论辩语义，要求扩展在攻击关系下是冲突自由的且能防御所有攻击。 |
| 稳定语义 | 一种要求扩展不仅冲突自由且能防御攻击，还要攻击所有不在扩展中的论点的论辩语义。 |
| 良基性 | 二元关系的一种性质，指不存在无限下降链，常用于保证归纳定义的有效性。 |
| SCC 对称性条件 | 强连通分量（SCC）之间攻击关系对称的一种结构条件，用于保证优先语义与稳定语义一致。 |
📱 每天一份 AI 前沿日报
关注公众号，每天 09:00 推送 · 不错过任何重磅