[논문 리뷰] Timeline-based planning: Expressiveness and Complexity

Nicola Gigante|arXiv (Cornell University)|2019. 02. 16.

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

한 줄 요약

이 논문은 타임라인 기반 계획 수립의 첫 번째 형식적이고 계산적 분석을 제공하며, 제한된 변종이 행동 기반 시간 계획 문제를 표현할 수 있음을 보이고, 해를 찾는 문제의 복잡도가 EXPSPACE-완전임을 증명한다. 불확실성을 모델링하기 위해 타임라인 기반 게임을 도입하여 승리 전략을 이중 지수 시간 내에 계산할 수 있음을 보이며, Bounded TPTL with Past와의 연결을 통해 만족 가능성 문제의 복잡도가 여전히 EXPSPACE임을 유지함을 보인다.

ABSTRACT

Timeline-based planning is an approach originally developed in the context of space mission planning and scheduling, where problem domains are modelled as systems made of a number of independent but interacting components, whose behaviour over time, the timelines, is governed by a set of temporal constraints. This approach is different from the action-based perspective of common PDDL-like planning languages. Timeline-based systems have been successfully deployed in a number of space missions and other domains. However, despite this practical success, a thorough theoretical understanding of the paradigm was missing. This thesis fills this gap, providing the first detailed account of formal and computational properties of the timeline-based approach to planning. In particular, we show that a particularly restricted variant of the formalism is already expressive enough to compactly capture action-based temporal planning problems. Then, finding a solution plan for a timeline-based planning problem is proved to be EXPSPACE-complete. Then, we study the problem of timeline-based planning with uncertainty, that include external components whose behaviour is not under the control of the planned system. We identify a few issues in the state-of-the-art approach based on flexible plans, proposing timeline-based games, a more general game-theoretic formulation of the problem, that addresses those issues. We show that winning strategies for such games can be found in doubly-exponential time. Then, we study the expressiveness of the formalism from a logic point of view, showing that (most of) timeline-based planning problems can be captured by Bounded TPTL with Past, a fragment of TPTL+P that, unlike the latter, keeps an EXPSPACE satisfiability problem. The logic is introduced and its satisfiabilty problem is solved by extending a recent one-pass tree-shaped tableau method for LTL.

연구 동기 및 목표

• 타임라인 기반 계획 수립의 형식적이고 계산적 기반을 확립하기 위해, 우주 임무 계획 수립에서 널리 사용되지만 이전에는 이론적 기초가 부족했던 접근 방식을 대상으로 한다.
• 타임라인 기반 계획 수립의 표현력이 표준 행동 기반 시간 계획 문제를 어떻게 포괄하는지 조사한다.
• 결정론적 및 불확실 조건 하에서 타임라인 기반 계획 수립 문제의 계산 복잡도를 분석한다.
• 기존의 불확실성에 대한 계획 접근 방식의 한계를 해결하기 위해 게임 이론적 프레임워크를 도입한다.
• 시간 논리적 형식을 통해 이 형식을 특성화하며, 특히 만족 가능성 문제가 여전히 다루기 쉬운 복잡도를 유지하는 조각(Bounded TPTL with Past)을 특정한다.

제안 방법

• 행동 기반 시간 계획 문제를 압축적으로 표현할 수 있는 충분한 표현력을 갖춘 타임라인 기반 계획 수립의 제한된 변종을 제안한다.
• 감소와 복잡도 이론적 분석을 통해 타임라인 기반 계획 수립의 해를 찾는 문제의 복잡도가 EXPSPACE-완전임을 증명한다.
• 불확실성을 모델링하기 위해 타임라인 기반 게임을 도입하며, 이는 시스템과 외부 구성 요소가 적대적으로 행동하는 유연한 계획의 일반화된 형태이다.
• 승리 전략을 계산하기 위한 게임 이론적 프레임워크를 개발하며, 이 전략들이 이중 지수 시간 내에 찾을 수 있음을 보인다.
• TPTL+P의 조각인 Bounded TPTL with Past를 도입하며, 그 만족 가능성 문제가 여전히 EXPSPACE 내에 있음을 증명한다.
• LTL에 대한 한 번의 스캔으로 이루어지는 트리형 타블로 방법을 확장하여 Bounded TPTL with Past의 만족 가능성 문제를 해결한다.

실험 결과

연구 질문

• RQ1 타임라인 기반 계획 수립은 표준 행동 기반 시간 계획 문제를 압축적이고 자연스럽게 표현할 수 있는가?
• RQ2 결정론적 조건 하에서 타임라인 기반 계획 수립 문제의 계산 복잡도는 무엇인가?
• RQ3 외부 구성 요소의 불확실성은 타임라인 기반 계획 수립에서 어떻게 형식적으로 모델링하고 해결할 수 있는가?
• RQ4 타임라인 기반 계획 수립의 표현력을 유지하면서도 만족 가능성 문제가 여전히 다루기 쉬운 논리적 형식은 무엇인가?
• RQ5 타임라인 기반 계획 수립에서 불확실성에 대한 게임 이론적 접근 방식은 기존의 탄력적 계획 모델의 한계를 극복할 수 있는가?

주요 결과

• 타임라인 기반 계획 수립의 제한된 변종은 행동 기반 시간 계획 문제를 압축적으로 포괄할 수 있는 충분한 표현력을 갖춘다.
• 타임라인 기반 계획 수립의 해 계획을 찾는 문제의 복잡도가 EXPSPACE-완전임을 증명함으로써 이 문제의 이론적 복잡도를 확립한다.
• 타임라인 기반 게임은 기존의 탄력적 계획 접근 방식에 비해 더 일반적이고 강력한 불확실성에 대한 계획 프레임워크를 제공한다.
• 타임라인 기반 게임의 승리 전략은 이중 지수 시간 내에 계산 가능하며, 이는 불확실성 계획의 복잡도 상한을 제공한다.
• 대부분의 타임라인 기반 계획 수립 문제는 Bounded TPTL with Past로 표현 가능하며, 이는 TPTL+P의 조각으로서 만족 가능성 문제가 여전히 EXPSPACE에 속한다.
• Bounded TPTL with Past의 만족 가능성 문제는 LTL에 대한 한 번의 스캔으로 이루어지는 트리형 타블로 방법의 확장으로 해결되며, 이 과정에서 복잡도 상한이 유지된다.