论基于偏好归约的论证中的逆解存在性
人工智能
2026-04-28 v1
摘要
基于偏好的论证框架 (PAFs) 扩展了 Dung 关于抽象论证 (AAFs) 的方法，通过对论证进行偏好编码来控制攻击向失败的转换，不同的做法导致从 PAF 到 AAF 的不同归约。在本文中，我们考虑一个逆问题，即给定论证图、标记和语义作为输入，输出是否存在一种论证之间的偏好关系，可产生所需的标记。该逆问题在偏好 elicitation 和可解释性等领域具有应用。我们在四种最常用的偏好基于归约下 complete 语义的语境中考虑此问题。我们指出在大多数情况下，该问题可在多项式时间内回答。
引用
@article{arxiv.2604.22958,
title = {On the Existence of an Inverse Solution for Preference-Based Reductions in Argumentation},
author = {Alessio Zaninotto and Bruno Yun and Nir Oren and Srdjan Vesic},
journal= {arXiv preprint arXiv:2604.22958},
year = {2026}
}
备注
14 pages, 2 figures