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

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

• 1315.1PDDL 타입 시스템의 개요와 필요성

• 1315.2기본 타입과 사용자 정의 타입

• 1315.3타입 계층 구조의 설계

• 1315.4다중 상속과 타입 합집합

• 1315.5타입 제약을 통한 액션 매개변수 제한

• 1315.6타입 기반 술어 매개변수 제약

• 1315.7타입 시스템의 도메인 모델 간결화 효과

• 1315.8타입 설계의 모범 사례

• 1315.9PDDL 함수의 개념과 정의

• 1315.10수치 함수의 선언 구문

• 1315.11함수의 매개변수와 타입 제약

• 1315.12함수의 초기값 설정 방법

• 1315.13함수 값의 갱신 연산

• 1315.14increase 연산자의 활용과 구문

• 1315.15decrease 연산자의 활용과 구문

• 1315.16assign 연산자를 통한 값 할당

• 1315.17scale-up과 scale-down 연산자

• 1315.18수치 전제 조건에서의 함수 활용

• 1315.19비교 연산자를 이용한 수치 조건 검사

• 1315.20함수 기반 비용 모델링

• 1315.21에너지 소비 모델링 사례

• 1315.22이동 거리 기반 비용 계산 사례

• 1315.23시간 기반 비용 모델링 사례

• 1315.24메트릭 최적화 목표의 정의

• 1315.25minimize와 maximize 지시자

• 1315.26총 비용 최적화 전략

• 1315.27다목적 최적화를 위한 메트릭 설계

• 1315.28파생 술어의 개념과 정의

• 1315.29파생 술어의 선언 구문

• 1315.30파생 술어의 규칙 기반 정의

• 1315.31파생 술어의 추론 메커니즘

• 1315.32파생 술어의 계층적 정의

• 1315.33파생 술어와 일반 술어의 차이

• 1315.34파생 술어를 활용한 도메인 간소화

• 1315.35연결성 검사를 위한 파생 술어 활용

• 1315.36도달 가능성 분석을 위한 파생 술어

• 1315.37안전 조건 표현을 위한 파생 술어

• 1315.38파생 술어의 성능 영향 분석

• 1315.39파생 술어 설계의 모범 사례

• 1315.40선호도와 제약을 위한 PDDL 3.0 기능

• 1315.41preference 지시자의 구문과 의미

• 1315.42선호도 기반 계획 품질 평가

• 1315.43제약 조건의 PDDL 표현

• 1315.44타입, 함수, 파생 술어의 결합 활용

• 1315.45복합 로봇 도메인에서의 고급 기능 적용 사례

• 1315.46드론 배송 도메인의 ���급 PDDL 모델링

• 1315.47다중 로봇 도메인의 고급 기능 활용

• 1315.48고급 PDDL 기능의 플래너 호환성 검토

• 1315.49PlanSys2에서의 고급 PDDL 기능 지원 현황

• 1315.50PDDL 고급 기능 활용을 위한 설계 가이드라인