提出可解释的论点强度修改方法，让推理结果更可控。
Strength Change Explanations in Quantitative Argumentation
- 通过调整论点初始强度，实现目标推理顺序
- 证明了反事实与逆问题可归约为该解释框架
- 适用于常见分层结构，适合需要可解释推理的场景
为使基于论点的推理具有可争议性，关键在于解释哪些变化能达成期望（而非争议）的推理结果。为此，我们引入定量（双极）论点图中的强度变化解释。该解释描述对图中部分论点初始强度进行修改，以实现基于另一部分论点最终强度的目标排序。我们证明现有反事实与逆问题可被归约为强度变化解释，并建立了其基本可靠性和完备性；同时在某些特殊情况下展示了解释的存在性与非存在性。通过启发式搜索，我们在典型应用中常见的分层图上常能成功找到强度变化解释，但在未提供保证的场景下仍存在局限。
原文摘要 · Abstract (English)
In order to make argumentation-based inference contestable, it is crucial to explain what changes can achieve a desired (instead of the contested) inference result. To this end, we introduce strength change explanations for quantitative (bipolar) argumentation graphs. Strength change explanations describe changes to the initial strengths of a subset of the arguments in a given graph that can achieve a desired ordering based on the final strengths of some (potentially different) subset of arguments. We show that the existing notions of inverse and counterfactual problems can be reduced to strength change explanations. We also prove basic soundness and completeness properties of our strength change explanations, and demonstrate their existence and non-existence in some special cases. By applying a heuristic search, we demonstrate that we can often successfully find strength change explanations for layered graphs that are common in typical application scenarios; still, limitations remain for settings where we do not provide guarantees for the presence (or absence) of explanations.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品；中文卡片由大模型生成，请以原文为准。