매일 아침, 어제의 AI를 한 통으로 정리해 보내드립니다메일로 받아보기

METAL LAB

Spike-based Belief Propagation in Nonlinear Dynamical Systems

arXiv:2608.199072026-08-21

뇌처럼 스파이크로 신호를 주고받는 신경망이 확률 추론으로 자동차 주차 문제를 풀다

이 논문은 뇌의 뉴런처럼 스파이크(짧은 전기 신호)로 정보를 주고받는 신경망과 베이지안 추론(불확실한 상황에서 확률로 판단하는 방법)을 결합한 제어 알고리즘을 제안한다. 이 방법을 언덕 사이에 낀 자동차가 힘이 부족해 바로 못 올라가고 반대로 밀었다가 되돌아와 목표 지점에 도달해야 하는 마운틴카 문제에 적용해 검증했다. 그 결과 스파이크 기반 신경망만으로도 기존의 숫자 계산 방식 제어기와 비슷하게 목표 지점에 도달하는 데 성공했다.

무엇을 했나

  1. 뇌의 신경세포처럼 스파이크로 작동하는 인공 신경망(스파이킹 신경망)에 확률적 추론 방식인 벨리프 프로퍼게이션을 결합해, 비선형적이고 여러 변수가 얽힌 자동차의 움직임을 실시간으로 추정하고 다음 행동을 계획하는 방법을 제시했다.
  2. 위치와 속도 같은 연속적인 값을 뉴런 집단의 스파이크 발생 패턴으로 표현하는 인코딩 방식(NEF, Neural Engineering Framework)을 이용하고, 언샌티드 칼만 필터라는 근사 기법으로 비선형 계산 결과를 다시 정규분포 형태로 정리했다.
  3. 실험 도구로는 스파이킹 신경망 구현에 Nengo, 추론 계산 자동화에 RxInfer를 사용했으며, 뉴런 수는 중력 성분 300개, 마찰 성분 100개, 엔진힘 성분 100개로 설정했다.
  4. 마운틴카 환경에서 기존 능동적 추론(active inference) 제어기와 비교한 결과, 두 방법 모두 처음엔 목표 반대 방향으로 움직여 탄력을 모은 뒤 목표 지점을 향해 이동해 도달했으며, 스파이크 기반 방식이 기존 방식의 제어 전략을 질적으로 재현했다.
Figure 1: (left) The Mountain Car environment; (right) trajectory of the car position when the agent naively applies the maximum forward engine force at every time step. The orange curve shows the resulting position over time, while the dashed green line indicates the goal position. This strategy fails to reach the goal state; see Section 2.
Figure 1: (left) The Mountain Car environment; (right) trajectory of the car position when the agent naively applies the maximum forward engine force at every time step. The orange curve shows the resulting position over time, while the dashed green line indicates the goal position. This strategy fails to reach the goal state; see Section 2.
x˙t=x˙t−1+Fg​(xt−1)+Ff​(x˙t−1)+Fa​(ut)(15a)
xt=xt−1+x˙t,(15b)
Figure 4: NEF-based function transformation between two spiking neural populations. Input signal x is encoded into input currents IP for ensemble P. Synaptic weights W connect population P to population Q, implementing the transformation f⁡(x) implicitly. The decoder DQ reconstructs the output signal z≈f⁡(x) from the spiking activity RQ.
Figure 4: NEF-based function transformation between two spiking neural populations. Input signal x is encoded into input currents IP for ensemble P. Synaptic weights W connect population P to population Q, implementing the transformation f⁡(x) implicitly. The decoder DQ reconstructs the output signal z≈f⁡(x) from the spiking activity RQ.
p⁡(s0)=𝒩⁡(s0|(−0.5, 0), 10−12​I)(23a)
p⁡(uk)=𝒩⁡(uk| 0, 1012).(23b)
Figure 5: Illustration of the unscented transform. A Gaussian distribution is represented by a deterministic set of sigma points, which are propagated through a nonlinear function. The transformed points are then used to reconstruct a Gaussian approximation of the resulting distribution.
Figure 5: Illustration of the unscented transform. A Gaussian distribution is represented by a deterministic set of sigma points, which are propagated through a nonlinear function. The transformed points are then used to reconstruct a Gaussian approximation of the resulting distribution.

왜 중요한가

스파이크 기반 신경망은 신호가 발생할 때만 계산하기 때문에 에너지 효율이 높은 뉴로모픽 하드웨어에서 실행하기에 유리하다. 이 연구는 확률적 추론과 제어를 뇌처럼 작동하는 하드웨어에서도 구현할 수 있다는 가능성을 보여줘, 향후 저전력 지능형 로봇이나 제어 시스템 개발에 발판이 될 수 있다.

Figure 6: Comparison of the reference active inference controller (left), versus the proposed controller (right) for the Mountain Car environment. The top panel shows the vehicle position over time, with the dashed horizontal line indicating the goal position. The bottom panel shows the corresponding engine force applied at each time step. Both methods exhibit the characteristic Mountain Car strategy of initially moving away from the goal to build momentum before ascending the hill. In both cases, the vehicle successfully reaches and overshoots the goal position, demonstrating successful task completion.
Figure 6: Comparison of the reference active inference controller (left), versus the proposed controller (right) for the Mountain Car environment. The top panel shows the vehicle position over time, with the dashed horizontal line indicating the goal position. The bottom panel shows the corresponding engine force applied at each time step. Both methods exhibit the characteristic Mountain Car strategy of initially moving away from the goal to build momentum before ascending the hill. In both cases, the vehicle successfully reaches and overshoots the goal position, demonstrating successful task completion.

이 논문의 용어

  • 스파이킹 신경망(SNN) · 생물학적 뉴런처럼 연속적인 값 대신 짧은 전기 신호(스파이크)로 정보를 주고받는 인공신경망
  • 벨리프 프로퍼게이션(Belief Propagation) · 확률 그래프에서 국소적인 계산만으로 전체 변수들의 확률 분포를 갱신해 나가는 추론 알고리즘
  • 팩터 그래프(factor graph) · 변수와 그 변수들 간의 확률적 관계(팩터)를 그래프 형태로 표현한 것
  • Neural Engineering Framework(NEF) · 연속적인 값을 뉴런 집단의 스파이크 활동으로 인코딩·디코딩하고 함수 변환을 신경망 가중치로 구현하는 방법론
  • 언샌티드 칼만 필터(Unscented Kalman Filter) · 비선형 함수를 거친 확률분포를 몇 개의 대표점(시그마 포인트)으로 근사해 다시 정규분포로 재구성하는 기법
(b) Proposed (spiking-based) method.
(b) Proposed (spiking-based) method.

논문 원문 초록 (영문)

This paper presents a Bayesian control framework that integrates spike-based dynamics with probabilistic inference for adaptive control. Bayesian inference is widely regarded as a core computational principle of brain function, providing a normative framework for perception, decision-making, and learning under uncertainty. By combining a biologically inspired spiking neural model with Bayesian inference principles, we propose a brain-like control algorithm capable of operating in uncertain environments. We use the mountain car parking problem as a benchmark with non-linear dynamics. Our results demonstrate that the proposed controller can successfully update states in real time and generate goal-directed action plans through spike-driven dynamics. The results highlight the proposed model's potential as a bridge between computational neuroscience and probabilistic control theory.

저자 · Sepideh Adamiat, Hongye Wang, Wouter M. Kouw, Bert de Vries

arXiv에서 원문 보기

최신 논문

논문 전체 보기 →

METAL LAB 최신 기사

그림 출처: Sepideh Adamiat et al., arXiv:2608.19907, arxiv-nonexclusive