플라스모듐 논리 모델링

초록

이 논문은 물곰팡이 Physarum polycephalum 의 성장·융합·선택 과정을 논리 연산으로 해석하고, 이를 전통 논리와 공정 계산(process calculus)을 결합한 새로운 형식적 모델에 매핑한다. 저자는 플라스모듐을 라벨이 붙은 전이 시스템으로 보고, 무한 트레이스에 대한 공동대수적(co‑algebraic) 논리와 상태 전이 기반의 비전통 논리(무동작·융합·선택)를 동시에 정의한다. 마지막으로, 물리·생물적 현상을 프로세스 연산자(Nil, ?, |, , &, + 등)와 결합한 “플라스모듐 프로세스 계산”을 제시하여, 비전통 컴퓨팅 매체의 형식적 설계와 검증을 가능하게 한다.

상세 분석

논문은 먼저 전통적인 전자식 컴퓨팅에서 구조적 회로와 데이터가 고정·가변으로 구분되는 점을 지적하고, 반응‑확산 매체에서는 두 요소가 모두 동적으로 변한다는 점을 강조한다. 이러한 배경에서 Physarum polycephalum 의 플라스모듐은 영양원 탐색·네트워크 형성·빛 회피 등 복합적인 행동을 보이며, 이는 자연적인 반응‑확산 컴퓨팅의 한 형태로 해석될 수 있다.

저자는 플라스모듐을 라벨 전이 시스템(Labeled Transition System) 으로 모델링한다. 상태 집합 L = {p_ij}와 전이 집합 T을 정의하고, 전이 관계 p —σ→ p′ 로 표현한다. 여기서 트레이스(trace)는 상태들의 무한·유한 시퀀스로, 각각을 그래프(노드=상태, 엣지=전이)로 본다.

두 종류의 논리 연결자를 도입한다. 첫 번째는 공동대수적(co‑algebraic) 논리 로, 무한 트레이스를 스트림처럼 다루며, 초기값과 미분 방정식 형태의 전이 규칙을 통해 ¬, ∨, ∧, ⊃ 등을 정의한다. 이 접근은 전통 논리와 동일한 진리값을 유지하면서도, 트레이스 전체에 대한 귀납적 증명을 가능하게 하는 공동귀납(coinduction) 원리를 제공한다.

두 번째는 상태 전이 기반 비전통 논리 로, 플라스모듐의 특수 행동인 무동작(Nil), 융합(&), 선택(+) 를 논리 연산으로 해석한다. 여기서는 전통적인 부울 대수의 법칙이 성립하지 않으며, 각각이 실제 물리적 과정(예: 두 가짜돌기가 만나 합쳐지는 현상, 한 가짜돌기가 멈추는 현상, 두 가짜돌기 사이의 경쟁)과 직접 대응한다.

이후 논문은 플라스모듐 프로세스 계산을 제시한다. 계산 영역 Ω를 K개의 셀로 분할하고, 각 셀에 N개의 활성 구역(p_ij)·영양원(A)·빛 회피 물체(R)·원위관(C)를 정의한다. 프로세스 문법은
P ::= Nil | α?P | A(α)?P | R(α)?P | C(α) | (P|Q) | P\Q | P & Q | P + Q
와 같은 형태이며, 각 연산자는 물리적 행동에 대응한다. 예를 들어, α?P는 라벨 α에 대한 입력 후 P로 전이, C(α)는 확산, P & Q는 상보 라벨의 융합을 통해 Nil 상태로 전이한다. 연산자들의 의미론은 전이 규칙으로 명시되어, 동시성, 동기화(τ), 은닉() 등을 정형적으로 기술한다.

핵심 통찰은 플라스모듐의 동적 네트워크가 전통 논리와 비전통 논리의 혼합 체계로 표현될 수 있다는 점이다. 공동대수적 논리는 전체 트레이스의 전역적 성질을, 상태 전이 논리는 순간적인 물리적 상호작용을 포착한다. 이를 통해 플라스모듐 기반 컴퓨팅을 설계할 때, 논리적 사양과 물리적 구현 사이의 격차를 형식적으로 메우는 방법을 제공한다. 또한, 이러한 모델은 반응‑확산 시스템, 화학 추상 기계, 그리고 다른 생물학적 컴퓨팅 매체에도 일반화 가능성을 시사한다.