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

1. 개요

본 절에서는 1313.45 PDDL 파일의 유효성 검증 방법에 대해 다룬다. PDDL 언어를 활용한 로봇 도메인의 체계적 기술과 ROS2 환경에서의 실용적 활용에 중점을 둔다.

2. 핵심 내용

PDDL의 도메인과 문제 정의는 AI 플래닝의 표준 입력 형식으로, PlanSys2를 통해 ROS2 로봇 시스템에 직접 적용된다. 도메인의 정확한 기술과 문제의 올바른 정의가 유효한 계획 생성의 전제 조건이다.

3. 참고 문헌

• McDermott, D., et al. (1998). “PDDL — The Planning Domain Definition Language.” Technical Report CVC TR-98-003.
• Fox, M., & Long, D. (2003). “PDDL2.1: An Extension to PDDL for Expressing Temporal Planning Domains.” JAIR, 20, 61-124.
• Ghallab, M., Nau, D., & Traverso, P. (2016). Automated Planning and Acting. Cambridge University Press.
• PlanSys2 공식 문서. https://plansys2.github.io/