계획 작업 보호: 해결 불가능하게 만들어 계획 작업의 결함을 감지하고 수정

Planning Task Shielding: Detecting and Repairing Flaws in Planning Tasks through Turning them Unsolvable

대부분의 계획 연구는 원하는 목표를 달성하기 위한 계획을 생성하는 데 중점을 둡니다. 그러나 목표 명세는 또한 항상 지켜져야 하는 속성을 인코딩하는 데 사용될 수 있으며, 이를 통해 계획자가 결함이 있는 상태에 도달하는 실행 경로를 식별할 수 있습니다. 이러한 경우, 목표는 결함이 있는 상태가 절대 도달하지 않도록 계획 작업을 수정하는 것, 즉 계획 작업을 해결 불가능하게 만드는 것으로 바뀔 수 있습니다. 본 논문에서는 계획 작업 보호(planning task shielding)라는 개념을 소개하며, 이는 계획 작업 내의 결함을 감지하고 수정하는 문제입니다. 우리는 $allmin$이라는 최적 알고리즘을 제안합니다. 이 알고리즘은 원래 작업을 최소한으로 수정하여 계획 작업을 해결 불가능하게 만들어 이러한 작업을 해결합니다. 우리는 $allmin$의 성능을 다양한 크기의 계획 작업에 대해 실험적으로 평가하여, 시스템을 효과적으로 보호하기 위해 계획 작업을 해결 불가능하게 만드는 방법을 보여줍니다.

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 $allmin$, an optimal algorithm that solves these tasks by minimally modifying the original actions to render the planning task unsolvable. We empirically evaluate the performance of $allmin$ in shielding planning tasks of increasing size, showing how it can effectively shield the system by turning the planning task unsolvable.