[논문 리뷰] Totally and Partially Ordered Hierarchical Planners in PDDL4J Library

Damien Pellier, Humbert Fiorino|arXiv (Cornell University)|2020. 11. 26.

AI-based Problem Solving and Planning참고 문헌 7인용 수 6

한 줄 요약

이 논문은 2020년 HTN IPC 경쟁 대회를 위해 PDDL4J 라이브러리에 구현된 두 가지 계층적 계획자인 TFD와 PFD를 제시한다. 이 계획자들은 풍부한 표현력을 유지하면서도 극적으로 축소된 기반 표현 기반의 전방 연쇄적 작업 분해를 사용하며, 유형 추론과 도달 가능성 제거 기반의 업그레이드된 표현 최적화 기법을 활용한다. 이로 인해 전체 순서 및 부분 순서 작업 네트워크에서 효율적인 검색이 가능해지며, 액션과 메서드를 비트셋으로 인코딩하여 수행된다.

ABSTRACT

In this paper, we outline the implementation of the TFD (Totally Ordered Fast Downward) and the PFD (Partially ordered Fast Downward) hierarchical planners that participated in the first HTN IPC competition in 2020. These two planners are based on forward-chaining task decomposition coupled with a compact grounding of actions, methods, tasks and HTN problems.

연구 동기 및 목표

• PDDL4J 프레임워크를 사용하여 2020년 HTN IPC 경쟁을 위한 효율적인 계층적 계획자를 설계하고 구현한다.
• 표현력 손실 없이 기반 표현의 크기를 줄여 검색 효율성을 향상시킨다.
• 다른 검색 전략을 통해 전체 순서 및 부분 순서 작업 네트워크를 모두 지원하면서도 정확성을 유지한다.
• 관성 기반 도달 가능성 분석을 통해 도달 불가능한 액션과 메서드를 제거하여 기반 표현을 최적화한다.
• 기반 액션과 메서드를 비트셋으로 인코딩하여 메모리 표현을 압축하고 스케일링 가능한 계획 수립을 가능하게 한다.

제안 방법

• 기반 표현은 여섯 단계로 수행된다: 업그레이드된 도메인의 정수 인코딩, 유형 추론, 도달 가능성 제거를 포함한 액션 인스턴스화, 도달 불가능한 액션 필터링, 재귀적 분해를 통한 메서드 인스턴스화, 그리고 액션과 메서드의 비트셋 인코딩.
• TFD 계획자는 항상 목록의 첫 번째 작업을 처리하는 순차적 작업 선택 전략을 사용하며, 전방 연쇄 분해를 재귀적으로 적용한다.
• PFD 계획자는 선행 작업이 없는 작업을 선택하여 부분 순서 일致성을 유지하는 위상 정렬 전략을 사용하며, 워셜 알고리즘을 활용해 사이클 여부를 확인한다.
• 두 계획자 모두 검색 중 비결정적 선택을 사용하며, 미분해된 작업 수가 적고, 동점일 경우 액션 수가 적은 작업 네트워크를 우선시한다.
• 기반 표현 과정은 관성 원리를 활용하여 초기 상태에서 적용될 수 없는 액션과 메서드를 제거하여 검색 공간을 축소한다.
• 압축된 표현은 비트셋을 사용하여 메모리 사용량을 최소화하고 검색 중 접근 속도를 향상시킨다.

실험 결과

연구 질문

• RQ1 표현력 손실 없이 기반 표현의 크기를 최소화할 수 있는 압축된 기반 표현 기법은 어떻게 설계할 수 있는가?
• RQ2 관성 원리 기반 도달 가능성 제거가 기반 표현 효율성과 검색 성능에 미치는 영향은 무엇인가?
• RQ3 전방 연쇄적 작업 분해는 어떻게 전체 순서 및 부분 순서 작업 네트워크 양쪽 모두에 효율적으로 적용될 수 있는가?
• RQ4 비트셋 인코딩은 메모리 사용량과 속도 측면에서 계층적 계획자의 성능 향상에 어떤 역할을 하는가?
• RQ5 다른 작업 선택 전략(순차적 대비 위상 정렬)은 계층적 계획의 확장성과 정확성에 어떤 영향을 미치는가?

주요 결과

• 기반 표현 과정은 도달 가능성 분석을 통해 도달 불가능한 액션과 메서드를 제거함으로써 검색 공간의 크기를 크게 줄였다.
• 기반 액션과 메서드에 대한 비트셋 인코딩은 효율적인 메모리 표현과 검색 중 빠른 접근을 가능하게 하였다.
• PFD 계획자는 워셜 알고리즘을 사용해 순서 제약 조건의 전이 폐쇄를 계산함으로써 부분 순서 일치성을 성공적으로 유지하였으며, 사이클이 없는 작업 네트워크를 보장하였다.
• TFD 및 PFD 계획자는 2020년 HTN IPC에서 경쟁적인 성능을 보이며, 기반 표현 및 검색 전략의 효과성을 입증하였다.
• 두 계획자 모두, 분해되지 않은 작업 수와 액션 수가 적은 작업 네트워크를 우선시하는 검색 전략은 비결정적 분기 수를 줄여 효율성을 향상시켰다.
• 압축된 기반 표현과 전방 연쇄 분해의 통합은 복잡한 계층적 도메인에서 확장 가능한 계획 수립을 가능하게 하였다.