396.6 임무, 과업, 행동의 계층적 관계 분석

1. 삼층 추상화 모델

임무 관리의 핵심적 개념 체계는 임무(Mission), 과업(Task), 행동(Behavior)의 삼층 추상화 모델(Three-Layer Abstraction Model)에 기반한다. 이 세 개념은 추상화 수준, 시간 척도, 의사 결정의 범위에서 명확히 구분되며, 동시에 유기적으로 연결된 계층적 관계를 형성한다.

형식적으로, 이 계층 구조는 다음과 같이 표현된다:

\text{Mission} \xrightarrow{\Phi_1} \text{Task Set} \xrightarrow{\Phi_2} \text{Behavior Set}

여기서 \Phi_1: \mathcal{M} \rightarrow 2^{\mathcal{T}}는 임무-과업 분해 함수이고, \Phi_2: \mathcal{T} \rightarrow 2^{\mathcal{B}}는 과업-행동 분해 함수이다. 각 분해 함수는 상위 수준의 추상적 개체를 하위 수준의 구체적 개체 집합으로 변환한다.

1.1 각 계층의 비교 분석

2. 계층적 분해 과정

2.1 임무에서 과업으로의 분해

임무는 하나 이상의 과업으로 분해된다. 이 과정은 계층적 작업 네트워크(Hierarchical Task Network, HTN)의 메서드(Method) 적용을 통해 수행된다(Erol et al., 1994).

HTN에서 비원시 과업(Non-primitive Task) t_{\text{np}}는 메서드 m에 의해 하위 과업의 순서 쌍으로 분해된다:

m: t_{\text{np}} \rightarrow \langle t_{1}, t_{2}, \ldots, t_{k} \rangle

분해의 유효성은 다음 조건을 만족해야 한다:

\bigcup_{i=1}^{k} \text{eff}(t_i) \supseteq \text{post}(t_{\text{np}})

즉, 하위 과업들의 효과의 합집합이 상위 과업의 종료 조건을 포함해야 한다.

분해 예시: “건물 탐색” 임무

[Mission: 건물 탐색]
├── [Task 1: 건물 진입]
│   ├── [Behavior: 진입로 탐색]
│   ├── [Behavior: 장애물 회피 이동]
│   └── [Behavior: 문 통과]
├── [Task 2: 층별 탐색]
│   ├── [Sub-Task 2.1: 1층 탐색]
│   │   ├── [Behavior: 실내 이동]
│   │   ├── [Behavior: 센서 스캔]
│   │   └── [Behavior: 데이터 기록]
│   └── [Sub-Task 2.2: 2층 탐색]
│       ├── [Behavior: 계단 이동]
│       ├── [Behavior: 실내 이동]
│       └── [Behavior: 센서 스캔]
├── [Task 3: 결과 보고]
│   └── [Behavior: 데이터 전송]
└── [Task 4: 귀환]
    ├── [Behavior: 경로 계획]
    └── [Behavior: 자율 이동]

2.2 과업에서 행동으로의 분해

과업에서 행동으로의 분해는 과업의 내부 구조를 원자적 행동(Atomic Behavior)의 시퀀스, 병렬 구성, 또는 조건부 선택으로 변환하는 과정이다. 이 분해는 다음의 구성 연산자(Composition Operator)를 사용하여 표현된다:

순차 구성(Sequential Composition):

t = b_1 ; b_2 ; \ldots ; b_n

행동 b_1이 성공적으로 완료된 후 b_2가 실행되는 순차적 실행이다.

병렬 구성(Parallel Composition):

t = b_1 \| b_2 \| \ldots \| b_n

모든 행동이 동시에 실행되며, 모든 행동이 완료될 때 과업이 완료된다.

선택 구성(Selection Composition):

t = b_1 \oplus b_2 \oplus \ldots \oplus b_n

조건에 따라 하나의 행동이 선택되어 실행된다.

조건부 구성(Conditional Composition):

t = \text{if } c \text{ then } b_1 \text{ else } b_2

조건 c의 참/거짓에 따라 행동이 결정된다.

3. 계층 간 정보 흐름

3.1 하향 정보 흐름 (Top-Down)

상위 계층에서 하위 계층으로 전달되는 정보는 주로 **명령(Command)**과 **목표(Goal)**의 형태를 취한다:

\text{Mission Manager} \xrightarrow{\text{goal specification}} \text{Task Executor} \xrightarrow{\text{action command}} \text{Behavior Controller}

하향 정보의 특성:

• 추상화 수준의 감소: 상위에서 하위로 갈수록 정보가 구체화된다.
• 시간적 해상도의 증가: 장기적 목표가 단기적 명령으로 세분화된다.
• 결정의 구속: 상위 계층의 결정이 하위 계층의 행동 범위를 제한한다.

3.2 상향 정보 흐름 (Bottom-Up)

하위 계층에서 상위 계층으로 전달되는 정보는 **상태 보고(Status Report)**와 **이벤트 통보(Event Notification)**의 형태를 취한다:

\text{Behavior Controller} \xrightarrow{\text{status/event}} \text{Task Executor} \xrightarrow{\text{progress/exception}} \text{Mission Manager}

상향 정보의 특성:

• 추상화 수준의 증가: 원시 센서 데이터가 의미적 정보로 변환된다.
• 시간적 해상도의 감소: 고빈도 데이터가 저빈도 요약 보고로 집약된다.
• 이벤트 기반: 정상 상태에서는 최소한의 보고만 수행하고, 이상 상황 발생 시 즉각적으로 통보한다.

4. 계층적 일관성의 보장

4.1 목표 일관성 (Goal Consistency)

계층적 분해가 유효하려면, 각 수준에서의 목표가 상위 수준의 목표와 일관되어야 한다:

\forall t_i \in \Phi_1(\mathcal{M}): \text{post}(t_i) \subseteq \text{GoalSpace}(\mathcal{M})

\forall b_j \in \Phi_2(t_i): \text{eff}(b_j) \subseteq \text{EffectSpace}(t_i)

4.2 자원 일관성 (Resource Consistency)

하위 계층에서 소비되는 자원의 총합은 상위 계층에서 할당된 자원을 초과하지 않아야 한다:

\sum_{b_j \in \Phi_2(t_i)} \rho_{b_j}(r) \leq \rho_{t_i}(r), \quad \forall r \in \mathcal{R}

4.3 시간 일관성 (Temporal Consistency)

하위 과업의 수행 시간 합은 상위 과업의 시간 제약을 만족해야 한다:

\sum_{t_j \in \text{CriticalPath}(\Phi_1(\mathcal{M}))} \tau_{t_j} \leq T_{\text{deadline}}(\mathcal{M})

5. 동적 계층 관리

5.1 런타임 재분해 (Runtime Re-decomposition)

임무 수행 중 환경 변화가 발생하면, 기존의 분해 구조를 동적으로 수정해야 한다. 이를 런타임 재분해(Runtime Re-decomposition)라 한다:

\text{Event}(e) \wedge \text{InvalidPlan}(\Pi) \Rightarrow \Pi' = \text{Redecompose}(\mathcal{M}, \mathcal{E}')

재분해의 범위는 변화의 영향 범위에 따라 결정된다:

• 전면 재분해: 임무 목표 자체가 변경된 경우
• 부분 재분해: 특정 과업의 실행 조건이 변경된 경우
• 행동 수준 적응: 행동의 매개변수만 조정하면 되는 경우

5.2 수직적 이벤트 전파 (Vertical Event Propagation)

하위 계층에서 발생한 이벤트가 상위 계층의 의사 결정에 영향을 미치는 경우, 이벤트가 수직적으로 전파된다. 이때 각 계층은 자체적인 이벤트 필터링과 추상화를 수행한다:

\text{Event}_{L_0} \xrightarrow{\text{filter}} \text{Event}_{L_1} \xrightarrow{\text{abstract}} \text{Event}_{L_2}

예를 들어, 행동 수준에서의 “장애물 감지” 이벤트는 과업 수준에서 “경로 차단“으로 추상화되고, 임무 수준에서 “대체 경로 필요“로 재해석될 수 있다.

6. 계층적 관계의 한계와 확장

6.1 계층적 분해의 한계

순수한 계층적 분해는 다음과 같은 한계를 가진다:

1. 계층 간 피드백 지연: 하위 계층의 이상이 상위 계층에 전달되는 데 시간이 소요된다.
2. 계층 고착(Layer Ossification): 각 계층의 인터페이스가 경직되면 시스템의 적응성이 저하된다.
3. 추상화 손실(Abstraction Loss): 분해 과정에서 상위 수준의 의도가 왜곡될 수 있다.

6.2 네트워크적 관계로의 확장

최근 연구에서는 엄격한 계층 구조 대신, 계층 간의 유연한 상호작용을 허용하는 네트워크적 구조(Heterarchical Structure)가 제안되고 있다. 이 구조에서는 동일 계층의 구성 요소 간에도 직접적인 통신과 조정이 가능하며, 필요에 따라 계층을 건너뛰는 통신(Skip-Level Communication)이 허용된다.

7. 참고 문헌

• Erol, K., Hendler, J., and Nau, D. S. (1994). “HTN Planning: Complexity and Expressivity.” Proceedings of the Twelfth National Conference on Artificial Intelligence (AAAI-94), 1123-1128.
• Gat, E. (1998). “On Three-Layer Architectures.” Artificial Intelligence and Mobile Robots, MIT Press, 195-210.
• Musliner, D. J., Durfee, E. H., and Shin, K. G. (1993). “CIRCA: A Cooperative Intelligent Real-Time Control Architecture.” IEEE Transactions on Systems, Man, and Cybernetics, 23(6), 1561-1574.
• Simmons, R. G. (1994). “Structured Control for Autonomous Robots.” IEEE Transactions on Robotics and Automation, 10(1), 34-43.

Version: v1.0 (2026-03-23)