시스템 견고성과 신뢰성 비교 (System Robustness and Reliability Comparison)

1. 개요

하드코딩과 자율 계획은 시스템의 견고성(robustness)과 신뢰성(reliability) 측면에서 상이한 특성을 가진다. 하드코딩은 정의된 범위 내에서의 높은 신뢰성을, 자율 계획은 미예측 상황에 대한 견고성을 제공한다.

2. 견고성 비교

2.1 예상 범위 내 동작

2.2 미예측 상황 대응

3. 신뢰성 비교

3.1 하드코딩의 신뢰성

• 결정론적 동작으로 높은 예측 가능성
• 형식 검증으로 안전성 속성 보장 가능
• 정적 분석에 의한 오류 사전 발견
• 한계: 정의되지 않은 상태에서의 동작이 미정의

3.2 자율 계획의 신뢰성

• 도메인 모델의 정확성에 의존
• 계획기의 정확성(soundness)에 의존
• 생성된 계획의 형식적 유효성은 보장되나, 실행 유효성은 도메인 모델 정확도에 의존
• 한계: 계획 생성 실패(타임아웃, 해 없음) 가능

4. 실패 모드 분석

4.1 하드코딩의 실패 모드

1. 규칙 누락: 미예측 상태에 대한 규칙이 없어 행동 불가
2. 규칙 충돌: 복수 규칙이 충돌하여 부적절한 행동 선택
3. 규칙 오류: 잘못된 규칙에 의한 위험 행동

4.2 자율 계획의 실패 모드

1. 계획 실패: 유효한 계획을 생성하지 못함
2. 도메인 오류: 잘못된 도메인 모델에 의한 실행 불가능한 계획
3. 실행 편차: 계획과 실행 사이의 불일치
4. 타임아웃: 계획 생성 시간 초과

5. 하이브리드에 의한 신뢰성 향상

안전 가드(행동 트리)와 자율 계획을 결합하면, 양 패러다임의 신뢰성 장점을 모두 확보할 수 있다.

[자율 계획] → 고수준 행동 시퀀스 (유연성)
    ↓
[행동 트리] → 실행 관리 + 안전 가드 (신뢰성)
    ↓
[하드코딩] → 저수준 제어 (결정론적 안전)

6. 참고 문헌

• Ghallab, M., Nau, D., & Traverso, P. (2016). Automated Planning and Acting. Cambridge University Press.
• Colledanchise, M., & Ogren, P. (2018). Behavior Trees in Robotics and AI: An Introduction. CRC Press.