摘要
地球观测卫星操作需调度决策的合理依据。现有方法构建独立于优化器的后验推理层，存在归因非因果等风险。本文提出“忠实度优先”方法：所有解释均源自优化模型本身的证书，包括拒绝的最小不可行子集、选择的紧约束及反事实查询。实验表明，该方法在约束检查、反事实有效性及稳定性上表现完美，优于产生非因果归因的后验基线，且具备实际可扩展性。
AI 推荐理由
论文核心研究基于求解器的任务规划解释与认证，直接解决规划决策的可解释性问题。
研究机构
Serana AI Inc., Vancouver, Canada
论文信息