양적 논증에서의 강도 변화 설명

Strength Change Explanations in Quantitative Argumentation

논증 기반 추론을 검증 가능하게 만들기 위해서는, 어떤 변화를 통해 원하는 (논쟁되는 것이 아닌) 추론 결과를 얻을 수 있는지 설명하는 것이 중요합니다. 이를 위해, 우리는 양적 (양극성) 논증 그래프에 대한 강도 변화 설명을 소개합니다. 강도 변화 설명은 주어진 그래프 내의 일부 논증들의 초기 강도를 어떻게 변경해야 하는지를 나타내며, 이를 통해 특정 (잠재적으로 다른) 일부 논증들의 최종 강도를 기반으로 한 원하는 순서를 달성할 수 있습니다. 우리는 기존의 역문제 및 반사실 문제 개념이 강도 변화 설명으로 환원될 수 있음을 보여줍니다. 또한, 우리의 강도 변화 설명에 대한 기본적인 타당성 및 완전성 속성을 증명하고, 특정 경우에 그 존재 여부를 확인합니다. 휴리스틱 검색을 적용하여, 일반적인 응용 시나리오에서 흔히 사용되는 계층적 그래프에 대해 강도 변화 설명을 성공적으로 찾을 수 있음을 보여줍니다. 하지만, 설명의 존재 (또는 부재)에 대한 보장이 없는 경우에는 한계가 존재합니다.

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.