[논문 리뷰] Duality in STRIPS planning

Martin Suda|arXiv (Cornell University)|2013. 04. 03.

AI-based Problem Solving and Planning참고 문헌 10인용 수 3

한 줄 요약

이 논문은 STRIPS 계획 문제에서 초기 상태와 목표 상태를 바꾸고, 둘 다 보완하며, 전제 조건과 삭제 목록을 교환함으로써 어떤 계획 작업이라도 그 이중성으로 변환하는 이중성 매핑을 제안한다. 이중성은 이중 작업에서의 진행이 원래 작업에서의 후행과 동치임을 증명하며, 앞으로의 탐색과 뒤로의 탐색 방법 간 이론적이고 실용적인 이동을 가능하게 한다. 이중화된 IPC 벤치마크는 현대 계획자에게는 훨씬 더 어려운 문제를 제공하지만, 특정 도메인에서 알고리즘 개선의 기회를 제공한다.

ABSTRACT

We describe a duality mapping between STRIPS planning tasks. By exchanging the initial and goal conditions, taking their respective complements, and swapping for every action its precondition and delete list, one obtains for every STRIPS task its dual version, which has a solution if and only if the original does. This is proved by showing that the described transformation essentially turns progression (forward search) into regression (backward search) and vice versa. The duality sheds new light on STRIPS planning by allowing a transfer of ideas from one search approach to the other. It can be used to construct new algorithms from old ones, or (equivalently) to obtain new benchmarks from existing ones. Experiments show that the dual versions of IPC benchmarks are in general quite difficult for modern planners. This may be seen as a new challenge. On the other hand, the cases where the dual versions are easier to solve demonstrate that the duality can also be made useful in practice.

연구 동기 및 목표

• 계획 가능성을 유지하는 STRIPS 계획 작업 간의 공식적인 이중성 매핑을 수립하기 위해.
• 이중 작업에서의 진행이 원래 작업에서의 후행과 동치임을 보여주어 앞으로의 탐색과 뒤로의 탐색 사이의 깊은 대칭성을 드러내기 위해.
• 이중성의 이론적 영향, 예를 들어 관련성과 이완 휴리스틱과 같은 핵심 계획 개념의 이중성 등을 탐색하기 위해.
• 현대 계획자들에게 이중화된 IPC 벤치마크를 테스트하여 이중성의 실용적 영향을 평가하기 위해.
• 이중성의 구조를 활용해 기존 알고리즘을 수정하여 개선된 계획자를 설계할 수 있음을 보여주기 위해.

제안 방법

• 초기 상태와 목표 조건을 바꾸고, 둘 다 보완하며, 각 액션의 전제 조건과 삭제 목록을 교환함으로써 STRIPS 작업을 변환하는 이중성 매핑을 정의한다.
• 이중 작업에서의 해가 존재하는 것과 원래 작업에서의 해가 존재하는 것이 동치임을 보여주기 위해, 이중 작업에서의 진행이 원래 작업에서의 후행과 대응됨을 증명한다.
• 이중성으로 계획 개념의 이중성을 유도한다. 예를 들어, 삭제 이완 휴리스틱의 이중성을 유도한다.
• FF 계획자(FF-DUAL)의 이중화된 버전을 구현하여 이중화된 IPC 벤치마크에서의 성능을 평가한다.
• 이중화된 도메인에서의 휴리스틱 값과 탐색 행동을 분석하여 원래 계획자와 이중 계획자 간의 성능 차이를 이해한다.
• 이중성으로 인해 계획자를 개선할 수 있도록 조정함으로써 실용적 유용성을 입증한다.

실험 결과

연구 질문

• RQ1 이중성은 STRIPS 계획 작업 간에 존재하는가? 즉, 이중 작업에서의 진행이 원래 작업에서의 후행과 동치인가?
• RQ2 이중성은 관련성과 이완 휴리스틱과 같은 계획 개념에 어떤 이론적 영향을 미치는가?
• RQ3 표준 IPC 벤치마크의 이중화된 버전은 현대 계획자에게 원래 버전보다 얼마나 어려운가?
• RQ4 이중성은 특정 도메인에서 계획자 성능 향상에 활용될 수 있는가?
• RQ5 왜 이중 버전이 일반적으로 더 어려운가? 이중성의 구조적 비대칭성이 그 이유인가?

주요 결과

• IPC 벤치마크의 이중 버전은 일반적으로 원래 버전보다 훨씬 더 풀기 어려운데, FF와 같은 현대 계획자들이 이중 인스턴스에서 시간 초과를 자주 겪는다.
• PSR, 월드웍, 플로어타일 도메인 세 곳에서 FF-DUAL은 원래 FF보다 더 뛰어난 성능을 보였으며, 특히 PSR에서는 더 정보가 풍부한 휴리스틱 추정치 덕분에 더 많은 문제를 독자적으로 해결했고, 플로어타일에서는 목표 분해를 더 잘 처리했다.
• 삭제 이완 휴리스틱의 이중성이 존재하며, PSR와 같은 특정 도메인에서는 더 정보가 풍부할 수 있다. 이 경우 FF-DUAL의 초기 휴리스틱 값은 항상 FF보다 높았다.
• 대부분의 도메인에서 FF-DUAL의 초기 휴리스틱 값은 FF보다 훨씬 낮았는데, 이는 일반적인 비효율성의 원인였고, 이는 표준 휴리스틱 설계의 약점을 드러내는 것이다.
• 이중성은 새로운 알고리즘의 개발을 가능하게 하며, 예를 들어 FF의 단순한 이중화 수정이 특정 도메인에서 성능 향상을 이끌어내어 실용적 유용성을 입증한다.
• 이중성은 앞으로의 탐색과 뒤로의 탐색 간 성능 차이가 이중성 자체의 비대칭성 때문이며, 이론적 차이 때문이 아니라는 것을 드러낸다.