arXiv:2502.14102v1 宣告类型: 新 摘要: 分布式约束优化问题（DCOP）表示法是一个强大的工具，可用于建模需要分布式解决的合作多代理问题。现有方法的核心假设是DCOP解决方案可以轻松被理解和接受，可以被采用，然而这一假设可能并不成立，这一点可以通过大量关于可解释人工智能的文献得到证据。在本文中，我们提出了一种解释可化简的DCOP（X-DCOP）模型，该模型扩展了DCOP，使其不仅包含解决方案，还包含该解决方案的对比查询。我们正式定义了一些关键属性，这些属性是对比解释满足的条件，使其被视为X-DCOP的有效解决方案，以及关于此类有效解释存在性的理论结果。为了求解X-DCOP，我们提出了一种分布式框架以及多种优化和次优变体来找到有效解释。我们还包括了一项用户研究，结果显示用户，不出所料，更偏好简短的解释而非长解释。我们的实证评估表明，我们的方法可以扩展到大规模问题，不同的变体提供了在解释长度和较小运行时间之间进行权衡的不同选项。因此，我们的模型和算法贡献扩展了现有的前沿，通过降低用户理解DCOP解决方案的障碍，促进了其在更多实际应用场景中的采用。