불리언 자동자 네트워크 모델링 이론

초록

본 논문은 불리언 자동자 네트워크(BAN)를 모델링 도구로 삼아, 모델링 과정에서 이론적 정의와 가정이 실제 현상 해석에 미치는 영향을 체계적으로 분석한다. 모델의 형식적 선택—상태 정의, 전이 스케줄, 동기·비동기 전이—이 어떻게 의미론적 해석을 좌우하는지를 논의하고, 관찰 가능한 데이터와 모델 간의 대응 관계를 명확히 하는 방법론적 지침을 제시한다.

상세 분석

논문은 먼저 모델링의 두 단계, 즉 ‘이론적 틀 선택 단계’와 ‘예측 활용 단계’ 사이에 위치하는 ‘이론화 단계’를 강조한다. 여기서 핵심은 불리언 자동자 네트워크의 기본 구성요소—노드(자동자), 상태 집합 B={0,1}, 전이 함수 f_i—를 어떻게 정의하고, 그 정의가 실제 시스템의 관찰과 어떤 가정을 통해 연결되는가이다. 저자는 상호작용 그래프 G=(V,A)를 통해 구조적 연결성을 명시하고, 각 자동자의 전이 함수 f_i를 통해 동적 규칙을 부여한다. 이때 전이 함수는 단순히 논리식으로 표현될 수 있지만, 실제 시스템에서는 ‘언제’·‘어떤 조건에서’ 적용되는지가 중요하다. 이를 위해 원자적 업데이트(F_i)와 비원자적 업데이트(F_W)라는 두 종류의 이벤트를 도입하고, 동기 전이(동시 업데이트)와 비동기 전이(단일 자동자 업데이트)를 구분한다. 이러한 구분은 전이 그래프와 경로(trajectory)의 해석에 직접적인 영향을 미친다. 예를 들어, 특정 전이가 ‘불가능’하다고 판단되는 경우는 전이 함수와 업데이트 스케줄이 충돌할 때이며, 이는 관찰된 상태 변화를 모델이 재현할 수 없는 원인으로 작용한다. 논문은 또한 관찰 가능한 데이터가 ‘상태 시퀀스’에 국한될 때, 전이의 원자성·동기성 정보를 추론하기 위해 사전 지식이 필요함을 강조한다. 마지막으로, 모델링 과정에서 도입되는 가정—예를 들어 모든 자동자가 두 상태만 가질 수 있다는 가정이나, 전이 함수가 완전히 결정적이라는 가정—이 모델의 해석 가능 범위를 제한하고, 결과적으로 모델이 제공하는 ‘의미’가 수학적 정의에 의해 형성된다는 점을 지적한다. 이러한 분석을 통해 저자는 불리언 자동자 네트워크가 제공하는 정성적 인사이트가 실제 시스템의 인과 관계를 파악하는 데 유용하지만, 그 한계와 전제 조건을 명확히 인식해야 함을 역설한다.