使用可解释的火星2020漫游者任务调度
Using Explainable Scheduling for the Mars 2020 Rover Mission
摘要：
理解自动化调度系统行为背后的推理对于确保其在关键应用中得到信任并因此充分发挥其功能至关重要。在调度程序在无效位置调度活动的情况下，用户通常很容易通过检查具有无效活动的调度来推断缺失的约束，以确定缺失的约束。如果调度程序由于无法满足约束而无法调度活动，则确定原因可能更具挑战性。在这种情况下，重要的是要了解哪些约束导致活动无法被安排，以及如何改变约束以实现所需的时间表。在本文中，我们描述了这样一个调度系统，用于NASA的火星2020毅力探测器，以及Crosscheck，一个解释调度器行为的可解释的调度工具。调度系统和Crosscheck是操作使用的基线，用于调度火星2020漫游车的活动。正如我们所描述的，调度程序在给定一组活动及其约束条件的情况下生成一个调度，交叉检查：（1）提供所生成的调度的可视化表示;（2）分析并解释在给定约束条件的情况下活动无法调度的原因;（3）提供有关潜在约束放松的指导，以使活动能够在未来的调度程序运行中调度。
英文摘要：
Understanding the reasoning behind the behavior of an automated scheduling system is essential to ensure that it will be trusted and consequently used to its full capabilities in critical applications. In cases where a scheduler schedules activities in an invalid location, it is usually easy for the user to infer the missing constraint by inspecting the schedule with the invalid activity to determine the missing constraint. If a scheduler fails to schedule activities because constraints could not be satisfied, determining the cause can be more challenging. In such cases it is important to understand which constraints caused the activities to fail to be scheduled and how to alter constraints to achieve the desired schedule. In this paper, we describe such a scheduling system for NASA's Mars 2020 Perseverance Rover, as well as Crosscheck, an explainable scheduling tool that explains the scheduler behavior. The scheduling system and Crosscheck are the baseline for operational use to schedule activities for the Mars 2020 rover. As we describe, the scheduler generates a schedule given a set of activities and their constraints and Crosscheck: (1) provides a visual representation of the generated schedule; (2) analyzes and explains why activities failed to schedule given the constraints provided; and (3) provides guidance on potential constraint relaxations to enable the activities to schedule in future scheduler runs.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
