도메인 모델의 정확성 요구 (Domain Model Accuracy Requirements)

1. 개요

자율 계획 시스템의 품질은 도메인 모델의 정확성에 직접적으로 의존한다. PDDL로 기술된 도메인 모델이 실제 로봇의 능력과 환경의 물리학을 정확히 반영하지 못하면, 생성된 계획이 실행 불가능하거나 비효율적일 수 있다.

2. 도메인 모델의 정확성 요소

2.1 행동 전제 조건의 완전성

행동의 전제 조건이 실제로 필요한 모든 조건을 포함하여야 한다. 누락된 전제 조건은 실행 불가능한 계획을 초래한다.

2.2 효과의 정확성

행동의 효과가 실제 결과를 정확히 반영하여야 한다.

2.3 상태 표현의 적절성

세계 상태를 기술하는 술어와 타입이 임무 수행에 충분한 수준으로 정의되어야 한다.

3. 도메인 모델 오류의 유형

3.1 구문적 오류 (Syntactic Errors)

PDDL 문법 오류. 계획기가 파싱 단계에서 감지한다.

3.2 의미적 오류 (Semantic Errors)

문법은 올바르나 의미가 잘못된 경우. 계획기가 감지하지 못하며, 실행 시 실패로 나타난다.

3.3 불완전성 (Incompleteness)

모델이 실제 환경의 모든 측면을 반영하지 못하는 경우. 필요한 행동이나 조건이 누락되면 계획 생성이 실패하거나 비효율적 계획이 생성된다.

4. 도메인 모델 검증 방법

5. 기호-물리 정합성

PDDL의 기호적 행동(예: move(robot, A, B))과 실제 물리적 실행(경로 계획, 모터 제어) 사이의 정합성을 보장하여야 한다. 기호적 수준에서는 이동이 항상 성공하는 것으로 모델링되나, 물리적 수준에서는 장애물, 미끄러짐 등에 의해 실패할 수 있다.

6. 참고 문헌

• Ghallab, M., Nau, D., & Traverso, P. (2016). Automated Planning and Acting. Cambridge University Press.