비모놀로지 논리에서의 삼항 독립성: 한계와 규칙 생성

초록

본 논문은 비모놀로지 논리에서 독립성을 삼항 관계로 정의하고, 확률적·집합적 독립성을 비교한다. 유한한 공리계가 존재하지 않음을 증명하고, 모든 유효 규칙을 체계적으로 구성하는 방법을 제시한다.

상세 분석

논문은 먼저 독립성이라는 개념을 전통적인 확률론에서 차용해, 변수 집합 X, Y, Z 사이의 삼항 관계 X | Y | Z 를 정의한다. 여기서 X와 Z는 Y를 조건으로 독립한다는 의미이며, 이는 P(x,y,z)·P(y)=P(x,y)·P(y,z) 라는 확률식으로 표현된다. 저자는 이 정의를 집합론적 독립성으로도 옮겨, A⊆X×Y×Z에 대해 “임의의 σ,τ∈A에 대해 σ(X)와 τ(Z)를 결합한 ρ∈A가 존재한다”는 조건을 제시한다. 이 두 정의가 동일함을 보이면서, 확률적 독립성이 집합적 독립성을 함축한다는 사실을 증명한다(Fact 3.1.2).

다음으로 저자는 ‘카운터블한 불일치 공식’이라는 부수적인 결과를 제시한다. 언어의 크기와 무관하게, 서로 모델 집합이 겹치지 않는 일관된 공식들의 집합은 최대 가산임을 보인다. 이는 논리식의 구성에 있어 무한히 많은 불일치 상황을 만들 수 없다는 제한을 제공한다.

핵심 기여는 ‘유한한 특성화가 불가능함’을 증명한 부분이다. 저자는 다양한 사례와 구성(예: X×Z, X×Z×W, X×Y×Z 등)를 통해 기존의 기본 규칙만으로는 모든 유효한 삼항 독립성 규칙을 포괄할 수 없음을 보인다. 특히, 새로운 규칙을 생성하기 위한 ‘함수 트리’, ‘파생 트리’, ‘보편 트리’ 등의 메커니즘을 도입한다. 이 메커니즘은 기본 규칙을 적용하면서도, 복합적인 변수 조합에 대한 독립성을 검증할 수 있게 한다.

또한, 논문은 ‘레이어 합성’, ‘시스템적 구성’, ‘케이스별 해결’ 등 단계별 접근법을 제시하여, 무한히 많은 경우를 체계적으로 다룰 수 있는 절차적 틀을 만든다. 이를 통해 모든 가능한 독립성 규칙을 생성하고, 그 완전성을 보장한다.

마지막으로, 비모놀로지 논리의 ‘하위 이상 경우(Subideal Cases)’와 ‘멀티셋 코딩 그래프’에 대한 논의를 통해, 독립성 개념이 기본 논리 외에도 비정형 데이터 구조와 기본 규칙 필터링을 넘어서는 확장 가능성을 탐색한다. 전체적으로 논문은 비모놀로지 논리에서 독립성을 삼항 관계로 형식화하고, 그 관계를 완전하게 기술하기 위한 무한 규칙 체계와 생성 알고리즘을 제시함으로써, 기존 연구의 한계를 뛰어넘는 이론적 토대를 제공한다.