Lifted Successor Generation in Numeric Planning
Created by
- Haebom
Category
Empty
저자
Dominik Drexler
개요
본 논문은 일차 논리 형태의 언어로 주어진 수치 계획 문제를 기반으로 하는 대부분의 플래너가 지면 작업 표현으로 변환한다는 점에 주목한다. 이러한 변환은 작업 표현 크기의 기하급수적인 증가를 초래할 수 있으며, 이는 기반을 만들기 어려운 작업에서 실제로 발생한다. 본 연구에서는 고전적 계획을 위한 최첨단 리프티드 후속 생성기를 확장하여 수치적 전제 조건 적용 가능성을 지원한다. 이 방법은 치환 일관성 그래프에서 최대 클리크를 열거한다. 각 최대 클리크는 액션 스키마의 변수에 대한 치환을 나타내며, 이는 지면 액션을 생성한다. 이 그래프에 수치적 액션 전제 조건을 추가하고, 공식적으로 지정된 조건에서 후속 생성기가 정확함을 증명한다. 조건이 실패하면, 생성기는 적용할 수 없는 지면 액션을 나열할 수 있지만, 최종 적용 가능성 검사를 통해 완전성에 영향을 미치지 않고 필터링된다. 25개의 벤치마크 도메인 중 23개에서는 이러한 오류가 발생하지 않으며, 단 1개의 도메인에서만 발생한다. 저자들은 수치적 액션 전제 조건을 지원하는 다른 리프티드 후속 생성기를 알지 못하며, 이는 매우 풍부한 계획 조각에 대한 리프티드 계획에 대한 향후 연구를 가능하게 한다.
시사점, 한계점
•
시사점:
◦
수치적 전제 조건을 지원하는 리프티드 후속 생성기 개발.
◦
지면 작업 표현의 기하급수적인 증가 문제를 해결.
◦
리프티드 계획을 위한 새로운 연구 방향 제시.
•
한계점:
◦
조건 실패 시 적용 불가능한 지면 액션이 생성될 수 있음.
◦
모든 벤치마크 도메인에서 완벽하게 작동하는 것은 아님.
