arXiv Artificial Intelligence· Roger X. Lera-Leri, Filippo Bistaffa, Athina Georgara, Juan A. Rodr\'iguez-Aguilar·2026-10-23 12:00· 4 小时前AI 评分31

约束推理与大语言模型联手：为真实世界优化应用提供对比性解释

Constraint Reasoning and Large Language Models Join Forces: Providing Contrastive Explanations for Real-World Optimisation-Based Applications

AI 导读

研究者提出一种结合约束推理与大语言模型的方法，为编码为混合整数规划（MIP）的优化问题生成对比性解释。该方法先用约束推理提炼出"理由图"作为 LLM 输入，以弥补 LLM 的推理局限。在真实调度领域的测试中，引入理由图使 LLM 生成的解释包含更多相关理由并减少错误。