选择及其溯源：解释抽象论证框架的稳定解

规则 $\mathrm{Defeated}(x) \leftarrow \mathrm{Attacks}(y,x),\, \neg \, \mathrm{Defeated}(y)$ 在良基语义（WFS）下求值，产生抽象论证框架（AF）的唯一三值（怀疑）解。如果存在一个未失败的论证 $y$ 攻击论证 $x$，则论证 $x$ 是失败的（$\mathrm{OUT}$）。对于二值（稳定）解，当且仅当 $y$ 被接受（$\mathrm{IN}$），即 $y$ 的所有攻击者均失败时，情况才成立。在 WFS 下，既未被接受也未被失败的论证是不确定的（$\mathrm{UNDEC}$）。如先前工作所示，良基解（又称基础标号）“自我解释”：论证的溯源由以感兴趣节点为根的子图（可通过正则路径查询定义）给出。该溯源与双人论证博弈的获胜策略密切相关。我们提出了一种将此溯源扩展至稳定 AF 解的新方法。与可以通过自底向上交替不动点过程构建的基础解不同，稳定模型通常在搜索模型的过程中涉及非确定性选择。因此，稳定解的溯源具有不同的性质，并反映了更具表达力的生成与测试范式。我们的方法识别了关键攻击的最小集合，精确定位了稳定模型所做出的选择和假设。这些关键攻击边为论证状态的溯源提供了额外见解，将良基推导步骤与选择步骤相结合。我们的方法可以理解为一种诊断形式，旨在寻找 AF 图的最小“修复”，使得修复后图的良基解与原始 AF 图的期望稳定模型相一致。