让规划任务变得无解，以阻止错误状态出现
Planning Task Shielding: Detecting and Repairing Flaws in Planning Tasks through Turning them Unsolvable
- 通过让任务无法求解来避免错误状态
- 三种方法均最小化对原动作的修改次数
- 适合需保证安全性的自动化系统设计
大多数规划研究致力于生成达成目标的计划。然而，目标规格也可用于编码不应成立的性质，使规划器识别出可能导致缺陷状态的轨迹。此时，目标可能转为修改规划任务，确保缺陷状态永不达到，即让规划任务变得无解。本文提出规划任务屏蔽：检测并修复规划任务中的缺陷。我们提出了三种不同方法解决此类问题，每种方法均旨在最小化使规划任务无解所需的原动作修改数量。
原文摘要 · Abstract (English)
Most research in planning focuses on generating a plan to achieve a desired set of goals. However, a goal specification can also be used to encode a property that should never hold, allowing a planner to identify a trace that would reach a flawed state. In such cases, the objective may shift to modifying the planning task to ensure that the flawed state is never reached, in other words, to make the planning task unsolvable. In this paper we introduce planning task shielding: the problem of detecting and repairing flaws in planning tasks. We propose three different approaches to solve these tasks, each aiming to minimize the number of modifications to the original actions that render the planning task unsolvable.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品；中文卡片由大模型生成，请以原文为准。