인과 추론의 공리화 재귀·고유·일반 모델 완전 체계

초록

이 논문은 Pearl이 정의한 방정식 기반 인과 모델을 세 가지 클래스(재귀 이론, 고유 해를 갖는 이론, 일반 이론)로 구분하고, 각각에 대한 완전한 공리 체계를 제시한다. 가장 일반적인 클래스에서는 기존 언어가 부족함을 보이며 언어 확장을 제안하고, 모든 경우에 대한 결정 절차의 복잡도도 분석한다.

상세 분석

본 연구는 인과 모델을 수학적으로 엄밀히 다루기 위해 ‘공리화’라는 접근법을 채택한다. 먼저 Pearl의 구조적 방정식 모델을 기반으로, 변수들 간의 함수적 종속성을 명시한다. 이때 모델이 만족해야 할 기본적인 논리적 성질을 공리로 정리하고, 그 공리들이 특정 클래스의 모델에서 완전하고 일관된 추론을 보장함을 증명한다. 첫 번째 클래스인 재귀 이론은 피드백 루프가 없으며, 변수들의 순서적 종속성으로 인해 방정식 시스템이 항상 유일한 해를 가진다. 여기서는 기존의 Galles‑Pearl 언어가 충분히 표현력을 제공함을 확인하고, 다섯 개의 핵심 공리(예: 반사성, 전이성, 합성성 등)를 통해 모든 유효한 인과 진술을 도출한다. 두 번째 클래스는 해가 존재하지만 반드시 유일하지 않을 수 있는 경우를 다룬다. 이 경우, 동일한 변수 집합에 대해 여러 가능한 세계가 존재하므로, 단순한 가능성 논리만으로는 충분하지 않다. 저자는 ‘가능성·필연성’ 연산자를 도입한 확장 언어를 제안하고, 이에 맞는 추가 공리(예: 선택 공리, 분할 공리)를 정의한다. 이 공리들은 해의 다중성을 포착하면서도 논리적 일관성을 유지한다. 세 번째이자 가장 일반적인 클래스는 방정식이 해를 전혀 갖지 않을 수도, 혹은 무한히 많은 해를 가질 수도 있는 상황을 포함한다. 기존 언어와 공리 체계는 이러한 비정상적 경우를 기술하지 못한다는 점을 지적하고, ‘불가능성’ 연산자를 추가함으로써 모델이 비실현 가능함을 명시한다. 새로운 언어는 ‘모든 가능한 세계에서 …’, ‘어떤 세계에서는 …’와 같은 양화 구문을 허용하며, 이에 대응하는 공리(예: 존재 공리, 전역 불가능 공리)를 도입한다. 논문은 각 클래스별로 결정 문제의 복잡도를 분석한다. 재귀 이론은 폴리노미얼 시간 내에 해결 가능함을 보이며, 고유 해를 갖는 이론은 PSPACE‑complete 수준으로 상승한다. 가장 일반적인 클래스는 EXPTIME‑hard로, 언어 확장이 복잡도 상승을 초래함을 확인한다. 이러한 복잡도 분석은 실제 인과 추론 시스템 설계 시, 모델 선택과 언어 설계가 계산적 비용에 미치는 영향을 평가하는 데 중요한 지표가 된다. 전체적으로, 논문은 인과 모델링의 이론적 기반을 공리화함으로써, 모델 클래스별로 명확한 추론 메커니즘과 복잡도 경계를 제공한다는 점에서 학술적·실용적 의의를 갖는다.