Game AI Agent Modeling Using Petri Nets and Behavior Trees
논문 정보
- 제목: Game AI Agent Modeling Using Petri Nets and Behavior Trees
- 저자: S. Lee, J. Kim, H. Park
- 학회/저널: Multimedia Tools and Applications, Vol. 81, pp. 5845-5868 (Springer)
- 발행일: 2022
- DOI: 10.1007/s11042-021-11681-7
- 주요 연구 내용: 페트리 넷(Petri Nets)과 행동 트리(Behavior Trees)를 결합한 하이브리드 프레임워크를 통해 게임 AI 에이전트의 복잡한 병렬 행동과 상태 전이를 모델링하는 방법 제안
- 주요 결과 및 결론: 실제 게임 AI 시나리오에서의 실험을 통해 하이브리드 모델의 표현력과 실행 효율성을 검증
- 기여점: BT의 계층적 행동 제어와 페트리 넷의 병렬성·동기화 표현 능력을 결합하여 복잡한 멀티태스킹 게임 AI 행동의 형식적 명세와 검증 방법론 제시
요약
초록
게임 AI 에이전트의 복잡한 행동을 모델링하기 위해 페트리 넷(Petri Nets)과 행동 트리(Behavior Trees)를 결합한 하이브리드 프레임워크를 제안한다. 기존의 행동 트리만으로는 병렬 행동과 상태 전이의 복잡한 의존성을 표현하기 어렵다는 한계를 페트리 넷의 형식적 모델링 능력으로 보완한다. 게임 캐릭터가 복수의 목표를 동시에 추구하거나, 환경 변화에 따라 우선순위를 동적으로 조정하는 복잡한 행동 패턴을 효과적으로 표현하는 방법을 제시한다. 실제 게임 AI 시나리오에서의 실험을 통해 제안 모델의 표현력과 실행 효율성을 검증하였다.
서론
게임 AI에서 NPC(Non-Player Character)의 행동을 설계하는 것은 게임 개발의 핵심 과제이다. 행동 트리는 Halo 시리즈 등 상용 게임에서 먼저 실용화되어 게임 AI의 표준 프레임워크로 자리잡았으나, 병렬 행동과 복잡한 상태 전이 의존성을 표현하는 데 한계가 있다. 반면 페트리 넷은 병렬 프로세스, 동기화, 자원 경쟁을 수학적으로 모델링하는 데 강점을 갖고 있다. 본 연구는 두 형식주의(formalism)의 장점을 결합하여 복잡한 게임 AI 에이전트 행동을 효과적으로 모델링하는 하이브리드 접근법을 제안한다.
모델 아키텍처 / 방법론
제안하는 하이브리드 프레임워크의 핵심 구성요소는 다음과 같다:
- 페트리 넷 (Petri Nets): 병렬 프로세스, 동기화, 자원 경쟁을 수학적으로 모델링하는 형식 시스템이다. 상태(place), 전이(transition), 토큰(token)으로 구성되며, 상태 전이와 조건을 그래프 구조로 표현한다. 에이전트의 동시적 행동과 자원 의존성을 형식적으로 명세한다.
- 행동 트리 (Behavior Trees): NPC 행동을 계층적으로 구조화하는 프레임워크이다. 시퀀스, 셀렉터, 데코레이터 등의 노드를 통해 복잡한 행동 로직을 모듈적으로 조직한다. 고수준의 행동 제어와 의사결정을 담당한다.
- 하이브리드 통합: 페트리 넷이 병렬 행동의 동기화와 자원 관리를 담당하고, BT가 계층적 행동 선택과 실행을 담당하는 구조이다. 두 형식주의의 장점을 결합하여 복잡한 멀티태스킹 행동을 표현한다.
- 동적 우선순위 조정: 환경 변화에 따라 에이전트의 행동 우선순위를 동적으로 조정하는 메커니즘이다. 복수 목표 간의 갈등 해소와 상황 적응적 행동을 지원한다.
실험 및 결과
실제 게임 AI 시나리오에서 광범위한 실험을 수행하여 하이브리드 모델의 유효성을 검증하였다. 에이전트가 동시에 여러 행동을 수행하는 병렬 실행 상황에서 페트리 넷-BT 하이브리드 모델이 기존 BT 단독 접근법 대비 높은 표현력을 보였다. 또한 실행 효율성 측면에서도 실용적 수준의 성능을 확인하였다.
결론
본 논문은 페트리 넷의 형식적 모델링 능력과 BT의 계층적 행동 제어를 결합한 하이브리드 에이전트 모델링 프레임워크를 제안하였다. 게임 도메인에서 개발된 이 접근법은 자율주행 시뮬레이션 등 다른 도메인으로의 확장 가능성을 보여준다. 특히 교통 시뮬레이션에서 복수의 차량이 교차로에서 동시에 행동을 결정해야 하는 상황(병렬성)을 모델링하는 데 참고할 수 있다. 페트리 넷 기반 BT 형식화는 BT의 수학적 검증 가능성을 높이는 연구 흐름에 기여한다.