Strength Change Explanations in Quantitative Argumentation

1. 形式化框架建立： 提出了强度变化解释（SXs）的正式定义，描述了对定量双极论证图（QBAGs）中论证初始强度的修改，以实现特定论证子集最终强度的期望排序。
2. 理论性质分析： 分析了最优SXs的基本性质，并为SXs的存在性和非存在性提供了理论保证，例如在可变论证无法影响目标论证或特定论证结构下SXs不存在的情况。
3. 与现有工作的关联： 证明了SXs能够泛化现有文献中的逆问题（Inverse Problem）和强反事实问题（Strong Counterfactual Problem），表明其更广泛的适用性。
4. 启发式搜索实现与评估： 设计并实现了一种基于梯度下降的启发式搜索算法来寻找SXs，并在合成的分层无环QBAGs上进行了实证评估，证明了在某些受限场景（如所有论证可变或特定结构）下寻找SXs的可行性。
5. 实验局限性揭示： 实验结果表明，在可变论证部分受限的随机图上，算法的成功率显著下降，凸显了在更一般情况下寻找SXs的挑战性，并指出了梯度下降可能陷入局部最优的局限。

实验在合成的、分层无环的定量双极论证图（MLP-like QBAGs）上进行，分为随机生成和受限生成两种类型。使用了四种不同的图结构：[8,32,16,3]、[8,32,16,8]、[8,64,16,8,3]和[8,64,16,8,8]，每种结构生成100个QBAGs。论证的初始强度从[0,1]（随机图）或[0,0.1]（受限图的特定层）均匀采样。边在相邻层之间完全连接，并以等概率标记为攻击或支持。主要采用DF-QuAD语义进行评估，并附带了EB和QE语义的结果。优化方法是使用Adam优化器的梯度下降算法，最大迭代次数为100（部分失败案例增至1000）。评估指标包括有效性、Kendall's $\tau$、Spearman's $\rho$、运行时长和平均绝对初始强度差异。实验在一台配备Apple M4芯片（10核，24GB RAM）的机器上运行。