Chapter 1315. PDDL 고급 기능: 타입, 함수, 파생 술어 (PDDL Advanced Features: Types, Functions, Derived Predicates)

Chapter 1315. PDDL 고급 기능: 타입, 함수, 파생 술어 (PDDL Advanced Features: Types, Functions, Derived Predicates)

1. 개요

PDDL(Planning Domain Definition Language)의 기본 구문인 술어, 액션, 전제 조건, 효과만으로도 다양한 플래닝 문제를 모델링할 수 있으나, 실제 로봇 시스템의 복잡성을 효과적으로 다루기 위해서는 PDDL의 고급 기능을 활용해야 한다. 본 장에서는 PDDL의 세 가지 핵심 고급 기능인 타입 시스템(type system), 수치 함수(numeric functions), 파생 술어(derived predicates)를 체계적으로 다루며, 이들을 결합하여 복잡한 로봇 도메인을 효율적으로 모델링하는 방법을 제시한다.

2. 본 장의 구성

본 장은 크게 다음의 다섯 가지 주제 영역으로 구성된다.

첫째, PDDL 타입 시스템이다. 기본 타입과 사용자 정의 타입의 선언, 타입 계층 구조의 설계, 다중 상속과 타입 합집합, 타입 제약을 통한 매개변수 제한, 그리고 타입 시스템이 도메인 모델의 간결화와 플래닝 효율성에 미치는 영향을 다룬다. 타입 시스템은 :typing 요구사항으로 활성화되며, 그라운딩 공간의 축소와 의미론적 정확성 향상에 기여한다.

둘째, PDDL 수치 함수이다. PDDL 2.1에서 도입된 수치 함수(:functions)의 선언과 초기화, increase, decrease, assign, scale-up, scale-down 연산자를 활용한 값 갱신, 비교 연산자를 이용한 수치 전제 조건, 함수 기반의 비용 모델링, 메트릭 최적화 목표의 설정을 상세히 다룬다(Fox & Long, 2003). 로봇 도메인에서의 에너지 소비, 이동 거리, 시간 기반 비용 모델링 사례를 포함한다.

셋째, 파생 술어이다. PDDL 2.2에서 도입된 파생 술어(:derived)는 다른 술어들의 논리적 조합으로 정의되는 가상 술어로서, 액션의 효과로 직접 변경되지 않고 규칙 기반으로 자동 추론된다(Edelkamp & Helmert, 2004). 파생 술어의 선언, 규칙 기반 정의, 추론 메커니즘, 계층적 정의, 연결성 검사 및 도달 가능성 분석에의 활용을 다룬다.

넷째, PDDL 3.0의 선호도와 제약이다. 계획의 품질을 정량적으로 평가하기 위한 선호도(preference) 지시자와, 계획이 만족해야 하는 경성 제약(hard constraint)의 PDDL 표현을 다룬다(Gerevini & Long, 2005).

다섯째, 고급 기능의 결합 활용과 응용이다. 타입, 함수, 파생 술어를 결합하여 복합 로봇 도메인을 모델링하는 사례, 드론 배송 도메인과 다중 로봇 도메인에서의 고급 기능 적용, 플래너 호환성 검토, PlanSys2에서의 지원 현황, 그리고 고급 기능 활용을 위한 설계 가이드라인을 제시한다.

3. 학습 목표

본 장을 학습한 후 다음을 수행할 수 있어야 한다:

  1. PDDL 타입 시스템을 설계하고, 계층적 타입 구조를 활용하여 도메인을 체계화할 수 있다.
  2. 수치 함수를 선언하고, 다양한 갱신 연산자를 사용하여 정량적 상태 변화를 모델링할 수 있다.
  3. 메트릭 최적화 목표를 설정하여 비용 최적 계획을 생성할 수 있다.
  4. 파생 술어를 정의하고, 복합 논리 조건을 간결하게 표현할 수 있다.
  5. PDDL 3.0의 선호도 기능을 활용하여 계획 품질을 평가할 수 있다.
  6. 고급 기능을 결합하여 복잡한 로봇 도메인을 효율적으로 모델링할 수 있다.

4. 선행 지식

본 장의 내용을 이해하기 위해서는 PDDL의 기본 문법과 도메인-문제 파일 구조, 액션 스키마의 전제 조건과 효과에 대한 이해가 필요하다.

5. 참고 문헌

  • Fox, M. & Long, D. (2003). “PDDL2.1: An Extension to PDDL for Expressing Temporal Planning Domains.” Journal of Artificial Intelligence Research, 20, 61–124.
  • Edelkamp, S. & Helmert, M. (2004). “On the Implementation of MIPS.” Proceedings of the AIPS Workshop on the Competition: Impact, Organization, Evaluation, Benchmarks.
  • Gerevini, A. & Long, D. (2005). “Plan Constraints and Preferences in PDDL3.” Technical Report, Department of Electronics for Automation, University of Brescia.
  • Ghallab, M., Nau, D., & Traverso, P. (2004). Automated Planning: Theory and Practice. Morgan Kaufmann.
  • Haslum, P., Lipovetzky, N., Magazzeni, D., & Muise, C. (2019). An Introduction to the Planning Domain Definition Language. Morgan & Claypool Publishers.