将可解释调度用于火星 2020 巡视器任务

理解自动化调度系统行为背后的推理过程,对于确保其在关键应用中受到信任并因而被充分发挥其能力至关重要。当调度器将活动安排在无效位置时,用户通常易于通过检查含无效活动的调度方案来推断缺失的约束。若调度器因约束无法满足而未能安排活动,确定原因则更具挑战性。在此类情况下,理解是哪些约束导致活动未能被调度,以及如何修改约束以获得期望的调度方案十分重要。本文描述了用于 NASA 火星 2020 毅力号巡视器的此类调度系统,以及解释调度器行为的可解释调度工具 Crosscheck。该调度系统与 Crosscheck 是火星 2020 巡视器活动调度的运行使用基线。如我们所述,调度器在给定一组活动及其约束的条件下生成调度方案,而 Crosscheck:(1) 提供所生成调度方案的可视化表示;(2) 分析并解释在给定约束下活动为何未能被调度;(3) 就潜在的约束松弛提供指导,以使活动在后续调度运行中被安排。