Chapter 1313. PDDL 언어 기초: 도메인과 문제 정의 (PDDL Fundamentals: Domain and Problem Definition)

• Chapter 1313. PDDL 언어 기초: 도메인과 문제 정의 (PDDL Fundamentals: Domain and Problem Definition)

• PDDL의 역사와 표준화 과정 (History and Standardization of PDDL)

• PDDL의 목적과 설계 철학 (Purpose and Design Philosophy of PDDL)

• PDDL 버전의 발전 과정 (Evolution of PDDL Versions)

• PDDL 1.2와 PDDL 2.1의 주요 차이 (Key Differences Between PDDL 1.2 and PDDL 2.1)

• PDDL 3.0과 PDDL 3.1의 확장 기능 (Extended Features of PDDL 3.0 and PDDL 3.1)

• PDDL 문법의 기본 구조 (Basic Syntax Structure of PDDL)

• S-Expression 기반 구문 체계 (S-Expression Based Syntax System)

• PDDL 키워드와 예약어 (PDDL Keywords and Reserved Words)

• 도메인 파일의 구조와 역할 (Structure and Role of the Domain File)

• 도메인 이름 선언과 관리 (Domain Name Declaration and Management)

• 요구사항 정의와 :requirements 절 (Requirement Definition and the :requirements Clause)

• :strips 요구사항의 의미와 적용 (:strips Requirement: Meaning and Application)

• :typing 요구사항과 타입 시스템 (:typing Requirement and the Type System)

• :equality 요구사항과 동등성 검사 (:equality Requirement and Equality Checking)

• :negative-preconditions 요구사항 (:negative-preconditions Requirement)

• :disjunctive-preconditions 요구사항 (:disjunctive-preconditions Requirement)

• :conditional-effects 요구사항 (:conditional-effects Requirement)

• 타입 선언과 타입 계층 구조 (Type Declaration and Type Hierarchy)

• 상수 선언과 도메인 수준 객체 (Constants Declaration and Domain-Level Objects)

• 술어 선언의 문법과 의미 (Syntax and Semantics of Predicate Declaration)

• 술어의 매개변수와 타입 제약 (Predicate Parameters and Type Constraints)

• 다항 술어와 단항 술어의 설계 (Design of N-ary and Unary Predicates)

• 액션 스키마의 기본 구조 (Basic Structure of Action Schemas)

• 액션 매개변수의 정의 (Definition of Action Parameters)

• 전제 조건의 논리적 표현 (Logical Representation of Preconditions)

• and, or, not 논리 연산자의 활용 (Usage of and, or, not Logical Operators)

• forall과 exists 양화사의 활용 (Usage of forall and exists Quantifiers)

• 효과의 논리적 표현 (Logical Representation of Effects)

• 조건부 효과의 정의 (Definition of Conditional Effects)

• 문제 파일의 구조와 역할 (Structure and Role of the Problem File)

• 문제 이름과 도메인 참조 (Problem Name and Domain Reference)

• 객체 선언과 타입 할당 (Object Declaration and Type Assignment)

• 초기 상태의 정의 방법 (Methods for Defining the Initial State)

• 1313.34초기 상태에서의 술어 인스턴스화

• 1313.35목표 상태의 정의 방법

• 1313.36목표 조건의 논리적 구성

• 1313.37복합 목표 조건의 설계

• 1313.38도메인과 문제 파일의 관계

• 1313.39도메인 설계의 모범 사례

• 1313.40로봇 도메인 모델링 사례: 이동 로봇

• 1313.41로봇 도메인 모델링 사례: 물체 조작

• 1313.42로봇 도메인 모델링 사례: 순찰 임무

• 1313.43드론 도메인 모델링 사례: 배송 임무

• 1313.44다중 로봇 도메인 모델링 기법

• 1313.45PDDL 파일의 유효성 검증 방법

• 1313.46PDDL 구문 오류 진단과 해결

• 1313.47PDDL 편집기와 개발 도구

• 1313.48PDDL과 ROS2 시스템의 연계

• 1313.49PlanSys2에서의 PDDL 도메인 활용

• 1313.50PDDL 도메인 설계의 향후 표준화 동향