arXiv:2502.11291v1 信息类型: 新增 摘要: 在知识库(KBs)中解释容错推理问题是人工智能(AI)领域的一个重要话题。尽管已有部分相关研究，但现有方法提供的解释往往缺乏关键信息，或在处理非二元冲突时不够表达性强。在本文中，我们指出了现有最佳方法的结构弱点，并提出了一种通用的基于论辩的方法来解决这些问题。这种方法定义了涉及最大一致子集推理的形式化逻辑，并展示了如何将任何这样的逻辑翻译为论辩。我们的工作提供了作为辩证证据过程的对话模型，用于根据容错语义计算和解释查询答案。这使我们能够构建论辩证明树作为解释，这些解释比现有解释形式化语言更具表达性和直观性。