1292.60 조건 노드의 즉각적 평가

1. 즉각적 평가의 정의

조건 노드의 즉각적 평가(immediate evaluation)란, 조건 노드가 tick을 수신한 시점에서 조건의 참/거짓 판정이 지연 없이 완료되는 특성을 의미한다. 조건 노드는 Running 상태를 반환하지 않으므로, tick 함수의 호출과 반환 사이에 조건 평가의 전 과정이 완결된다. 이 특성은 조건 노드를 행동 트리의 다른 실행 노드, 특히 비동기 액션 노드와 구별하는 근본적인 차이이다 (Colledanchise & Ögren, Behavior Trees in Robotics and AI: An Introduction, 2018).

2. 즉각적 평가의 형식적 제약

조건 노드의 tick 함수는 다음의 형식적 제약을 충족하여야 한다.

$f_{tick} : S \rightarrow \{Success, Failure\}$

여기서 $S$ 는 조건 평가 시점의 시스템 상태이다. 반환 상태의 정의역(codomain)에 Running이 포함되지 않으며, 이는 조건 노드가 항상 즉각적으로 결과를 산출함을 형식적으로 보장한다.

BehaviorTree.CPP 라이브러리에서 ConditionNode 클래스는 이 제약을 런타임에 강제한다. tick 함수에서 Running이 반환되면 예외가 발생하여 프로그램의 실행이 중단된다 (Faconti, BehaviorTree.CPP Documentation, 2024).

즉각적 평가의 필요성

반응형 노드에서의 안전한 재평가

ReactiveSequence와 ReactiveFallback 노드는 매 tick마다 선행 자식을 재평가한다. 조건 노드가 선행 자식으로 배치된 경우, 이 재평가는 매 tick마다 수행된다. 조건의 평가가 즉각적이지 않으면, 재평가 시마다 tick 주기가 지연되어 행동 트리 전체의 반응성이 저하된다.

ReactiveSequence
 ├─ Condition [C1]    ← 매 tick마다 재평가 (즉각적 완료 보장)
 └─ Action [A1]       ← Running 상태 유지 가능

C1의 평가가 즉각적이므로, C1의 재평가에 소요되는 시간은 무시할 수 있으며, A1의 실행에 대한 지속적인 감시가 tick 주기의 지연 없이 이루어진다.

Tick 주기의 보존

행동 트리의 tick 전파는 단일 스레드에서 순차적으로 수행된다. 조건 노드의 평가가 즉각적이면, 조건 노드가 tick 주기에 기여하는 지연은 극히 미미하다. 행동 트리에 다수의 조건 노드가 포함되어 있더라도, 각 조건 노드의 평가 시간이 마이크로초 단위라면 tick 주기에 대한 총 영향은 무시할 수 있다 (Colledanchise & Ögren, 2018).

결정론적 제어 흐름

조건 노드의 즉각적 평가는 행동 트리의 제어 흐름이 결정론적으로 진행됨을 보장한다. 조건 노드가 Running을 반환하지 않으므로, 제어 흐름 노드는 조건의 결과에 기반하여 즉시 분기를 결정할 수 있다. 이는 제어 흐름의 예측 가능성을 높이고, 행동 트리의 정적 분석을 용이하게 한다.

즉각적 평가의 구현 요건

조건 노드가 즉각적으로 평가되기 위해서는 다음의 구현 요건을 충족하여야 한다.

요건	설명	위반 시 결과
비차단적 데이터 접근	조건 평가에 필요한 데이터가 차단 없이 접근 가능	tick 주기 지연
경량 연산	조건 평가의 계산 비용이 tick 주기에 비해 미미	tick 주기 지연
동기적 완결	외부 비동기 호출 없이 동기적으로 완결	Running 반환 불가
로컬 데이터 참조	원격 시스템 질의 없이 로컬 데이터로 평가 가능	네트워크 지연

적합한 데이터 접근 패턴

조건 노드가 즉각적으로 평가되기 위해, 조건 평가에 필요한 데이터는 tick 시점에서 이미 로컬에 존재하여야 한다. 센서 데이터의 경우, 별도의 구독자(subscriber)가 센서 토픽을 수신하여 로컬 변수 또는 블랙보드에 최신 값을 유지하고, 조건 노드는 이 로컬 값을 읽어 조건을 평가한다.

// 적합한 패턴: 로컬 데이터 참조
function BatteryCheck.tick():
    battery_level = blackboard.get("battery_level")  // 로컬 읽기
    if battery_level > threshold:
        return Success
    else:
        return Failure

부적합한 데이터 접근 패턴

원격 서비스 호출, 데이터베이스 질의, 네트워크 요청 등 응답 시간이 불확실한 연산은 조건 노드에서 수행하기에 부적합하다. 이러한 연산은 조건 노드의 즉각적 평가 제약을 위반하며, 행동 트리의 tick 주기를 불예측적으로 지연시킨다 (Faconti, 2024).

조건 평가의 시간 복잡도

조건 노드의 평가 시간은 $O(1)$ 또는 $O(\log n)$ 수준의 상수 또는 준상수 시간 복잡도를 가져야 한다. 예시적인 조건 평가와 그 시간 복잡도는 다음과 같다.

조건 유형	연산	시간 복잡도
스칼라 비교	변수 값과 임계값 비교	$O(1)$
범위 검사	값이 허용 범위 내인지 검사	$O(1)$
불리언 조합	복수 조건의 논리 연산	$O(k)$ , $k$ 는 조건 수
거리 계산	두 점 사이의 유클리드 거리	$O(1)$
집합 소속 검사	해시 기반 집합 소속 여부	$O(1)$ 평균

$O(n^2)$ 이상의 시간 복잡도를 가지는 연산(예: 대규모 점군 처리, 영상 분석)은 조건 노드에서 직접 수행하기보다, 별도의 비동기 프로세스에서 처리한 결과를 블랙보드에 저장하고, 조건 노드는 그 결과만을 참조하는 방식으로 설계하여야 한다.

즉각적 평가와 반응형 제어 패턴

조건 노드의 즉각적 평가는 ReactiveSequence와 결합하여 강력한 반응형 제어 패턴을 형성한다.

ReactiveSequence
 ├─ Condition [C1: 장애물 없음]
 ├─ Condition [C2: 배터리 충분]
 └─ Action [A1: 임무 수행]

이 구조에서 C1과 C2는 매 tick마다 재평가된다. 두 조건 노드의 평가가 즉각적이므로, 각 tick에서 C1과 C2의 평가에 소요되는 시간은 미미하며, A1의 Running 상태 동안에도 안전 조건이 지속적으로 감시된다. C1 또는 C2가 Failure를 반환하면, A1에 즉시 halt가 요청되어 임무가 중단된다 (Colledanchise & Ögren, 2018).

로봇 공학에서의 의의

조건 노드의 즉각적 평가 특성은 로봇의 안전 보장과 실시간 반응성에 직접적으로 기여한다. 안전 조건 검사, 환경 변화 감지, 시스템 상태 감시 등의 조건이 즉각적으로 평가되므로, 위험 상황이 발생하면 행동 트리가 즉시 대응할 수 있다. 이 특성이 보장되지 않으면, 안전 조건의 검사가 지연되어 로봇이 위험한 상태에서 행동을 계속 수행하는 상황이 발생할 수 있다 (Faconti, 2024).

참고 문헌

Colledanchise, M. & Ögren, P. (2018). Behavior Trees in Robotics and AI: An Introduction. CRC Press.
Faconti, D. (2024). BehaviorTree.CPP Documentation. https://www.behaviortree.dev/