무한 도메인 마코프 로직의 새로운 지평

초록

본 논문은 마코프 로직 네트워크(MLN)를 무한 도메인에 확장하기 위해 Gibbs 측도 이론을 적용한다. 각 기본 원자가 유한한 이웃을 갖는 경우에 한해 MLN이 Gibbs 측도를 갖는 조건을 제시하고, 가중치가 충분히 작을 때 측도의 유일성을 보인다. 비유일한 경우에는 다중 측도의 구조와 물리학의 상전이 현상과의 연관성을 분석한다. 또한, 일阶 논리의 만족 가능성과 MLN 측도의 관계를 탐구한다.

상세 분석

논문은 먼저 기존 마코프 로직이 유한 도메인에만 정의된 한계를 명확히 짚고, 이를 극복하기 위한 수학적 기반으로 Gibbs 측도(Gibbs measure)를 도입한다. Gibbs 측도는 무한 그래프 상에서 정의되는 확률분포로, 로컬 상호작용을 통해 전역 분포를 구성한다는 점에서 MLN의 템플릿 기반 특성과 자연스럽게 맞물린다. 저자들은 “각 ground atom이 유한한 수의 이웃을 가진다”는 조건을 ‘local finiteness’라 명명하고, 이 조건이 만족될 때 무한 도메인에서도 모든 ground formula이 정상화된 확률밀도를 정의할 수 있음을 증명한다. 이는 무한히 많은 변수와 제약이 존재하더라도, 각 변수에 대한 조건부 확률이 유한히 정의될 수 있음을 의미한다.

다음으로, 비단위(clause) 가중치가 충분히 작을 경우에 측도의 유일성을 보이는 정리를 제시한다. 여기서 ‘작다’는 의미는 가중치의 절대값이 그래프의 최대 이웃 수와 연관된 상수보다 작다는 것으로, 이는 Dobrushin의 영향계수 조건과 유사한 형태이다. 이 조건 하에서는 Gibbs 샘플링이 수렴하고, 전역적인 확률분포가 하나만 존재한다는 강력한 결과를 얻는다.

반면, 가중치가 크거나 구조가 복잡해져 Dobrushin 조건을 위반하면 측도가 다중으로 존재할 수 있다. 저자들은 이러한 비유일 상황을 ‘phase transition’ 현상에 비유하며, 물리학에서 관측되는 여러 상(예: 자성체의 상전이)과 동일한 수학적 메커니즘이 MLN에서도 나타난다고 설명한다. 특히, 동일한 논리식 집합이지만 가중치에 따라 서로 다른 확률적 해석을 갖는 현상을 통해, MLN이 표현할 수 있는 모델 클래스가 무한 도메인에서도 매우 풍부함을 강조한다.

또한, 논문은 일阶 논리의 만족 가능성(satisfiability) 문제와 MLN 측도의 존재·유일성 사이의 관계를 탐구한다. 구체적으로, 어떤 MLN이 전혀 측도를 갖지 못한다면 해당 논리식 집합은 모순이며, 반대로 최소 하나의 측도가 존재한다면 논리식은 만족 가능하다는 일종의 확률적 완전성을 제시한다. 이는 전통적인 SAT/UNSAT 판정과 확률적 모델링을 연결하는 새로운 관점을 제공한다.

마지막으로, 기존의 무한 마코프 랜덤 필드, 무한 베이지안 네트워크 등과 비교하여, 제안된 무한 MLN 프레임워크가 논리적 템플릿과 확률적 상호작용을 동시에 다룰 수 있는 보다 일반적인 모델임을 입증한다.