컴백부터 K-뷰티까지 — K-컬쳐의 모든 것을 메일로 받아보세요메일로 받아보기

METAL MEDIA

물이 가득 찬 욕조 하나로 기존 인과추론 이론의 구멍을 메우다

arXiv:2608.198312026-08-21

Causal Reasoning with Bipartite Graphical Causal Models

물이 가득 찬 욕조 하나로 기존 인과추론 이론의 구멍을 메우다

기존 인과추론 이론(인과 베이지안 네트워크, 구조적 인과모형)은 순환 관계나 균형 상태에 있는 시스템, 예를 들어 물이 일정하게 차 있는 욕조 같은 것을 제대로 설명하지 못한다. 이 논문은 변수와 방정식을 함께 그래프로 그리는 이분 그래프 인과모형(BGCM)을 제안해서, 같은 변수를 같은 값으로 고정하는 개입이라도 '어떤 방정식을 바꿨는지'에 따라 결과가 달라지는 문제를 해결한다. 욕조 사례를 끝까지 분석해서 이 새 표현이 실제 물리적 개입 방법들과 정확히 대응한다는 것을 보였고, 새로운 그래프 분리 기준과 계산 규칙까지 만들었다.

METAL MEDIA 해설 도표

물이 가득 찬 욕조 하나로 기존 인과추론 이론의 구멍을 메우다

  1. 01문제 제기: 욕조에 물이 일정하게 차 있는 상태(수도꼭지 유입=배수구 유출)를 생각하면, 수심을 같은 값으로 고정하는 개입 방법이 여러 가지 있는데 방법에 따라 압력이나 유출량이 다르게 나온다. 기존 이론은 '변수를 값 x로 고정한다'는 표현만 있어서 이 차이를 구분하지 못한다.
  2. 02방법: 변수 노드와 방정식 노드 두 종류를 모두 그래프에 그리는 이분 그래프(bipartite graph)를 만들고, 어떤 방정식을 교체해서 개입했는지까지 표기에 포함시켰다(do(f_j: X_v=값) 형태). 이를 위해 사이먼의 인과 순서 알고리즘을 확장해 방정식 묶음(클러스터)들 사이의 부분적 순서를 구했다.
  3. 03새로운 분리 기준: 기존 d-분리 개념을 확장한 B-분리라는 그래프 규칙을 만들어서, 방정식이 강제하는 결정론적 관계까지 반영한 더 정밀한 조건부 독립 판정을 가능하게 했다. 이는 일부 변수를 무작위가 아닌 고정 입력값으로 다룰 때도 확장된다.
  4. 04결과: 욕조 사례에서 가능한 모든 개입 방법을 표로 정리해 어떤 개입이 실제로 유일하게 풀리는 시스템을 만드는지, 어떤 개입은 물리적으로 구현 불가능한지 보였다. 공급-수요 시장처럼 진짜 순환 구조를 가진 사례에도 같은 틀을 적용해 검증했다.
  5. 05의의: 이렇게 만든 BGCM은 기존의 인과 베이지안 네트워크와 구조적 인과모형을 특수한 경우로 포함하면서도, 그래프를 이용한 인과추론 능력은 그대로 유지한다.
METAL MEDIA이 원문을 바탕으로 재구성한 해설 도표이며, 논문 저자의 원문 figure가 아닙니다.

무엇을 했나

  1. 문제 제기: 욕조에 물이 일정하게 차 있는 상태(수도꼭지 유입=배수구 유출)를 생각하면, 수심을 같은 값으로 고정하는 개입 방법이 여러 가지 있는데 방법에 따라 압력이나 유출량이 다르게 나온다. 기존 이론은 '변수를 값 x로 고정한다'는 표현만 있어서 이 차이를 구분하지 못한다.
  2. 방법: 변수 노드와 방정식 노드 두 종류를 모두 그래프에 그리는 이분 그래프(bipartite graph)를 만들고, 어떤 방정식을 교체해서 개입했는지까지 표기에 포함시켰다(do(f_j: X_v=값) 형태). 이를 위해 사이먼의 인과 순서 알고리즘을 확장해 방정식 묶음(클러스터)들 사이의 부분적 순서를 구했다.
  3. 새로운 분리 기준: 기존 d-분리 개념을 확장한 B-분리라는 그래프 규칙을 만들어서, 방정식이 강제하는 결정론적 관계까지 반영한 더 정밀한 조건부 독립 판정을 가능하게 했다. 이는 일부 변수를 무작위가 아닌 고정 입력값으로 다룰 때도 확장된다.
  4. 결과: 욕조 사례에서 가능한 모든 개입 방법을 표로 정리해 어떤 개입이 실제로 유일하게 풀리는 시스템을 만드는지, 어떤 개입은 물리적으로 구현 불가능한지 보였다. 공급-수요 시장처럼 진짜 순환 구조를 가진 사례에도 같은 틀을 적용해 검증했다.
  5. 의의: 이렇게 만든 BGCM은 기존의 인과 베이지안 네트워크와 구조적 인과모형을 특수한 경우로 포함하면서도, 그래프를 이용한 인과추론 능력은 그대로 유지한다.
Figure 1: The bathtub system (rendered by Google Gemini).
Figure 1: The bathtub system (rendered by Google Gemini).
Table 1: Feasibility of hard interventions do(fj:Xv=ξv) for the bathtub. Checkmarks indicate uniquely solvable systems; ∅ indicates the system is not uniquely solvable.
do(fj:Xv=ξv)f1f2f3
XO=ξO✓∅∅
XP=ξP✓✓∅
XD=ξD✓✓✓
Figure 2: Three different interventions on the bathtub that all set the water depth to a fixed value (Example 20).
Figure 2: Three different interventions on the bathtub that all set the water depth to a fixed value (Example 20).
Table 2: Solution functions for all hard interventions on the bathtub model.
XOXPXD
observationalXIXI2XK2XI2XK2​Xg
do⁡(XI=ξI)ξIξI2XK2ξI2XK2​Xg
do⁡(XK=ξK)XIXI2ξK2XI2ξK2​Xg
do⁡(Xg=ξg)XIXI2XK2XI2XK2​ξg
do(f1:XO=ξO)ξOξO2XK2ξO2XK2​Xg
do(f1:XP=ξP)ξP​XKξPξPXg
do(f1:XD=ξD)XK​Xg​ξDXg​ξDξD
do(f2:XP=ξP)XIξPξPXg
do(f2:XD=ξD)XIXg​ξDξD
do(f3:XD=ξD)XIXI2XK2ξD

왜 중요한가

물리, 공학, 경제, 생물 같은 분야에서 흔한 되먹임(피드백) 구조를 가진 시스템은 기존 인과추론 도구로 제대로 다룰 수 없었는데, 이 연구는 어떤 메커니즘을 건드렸는지까지 명시하는 새 표기법으로 이 문제를 해결할 실마리를 준다. 실험 설계나 정책 개입을 논의할 때 '같은 변수를 고정했다'는 말이 실제로는 서로 다른 결과를 낳는 다른 개입일 수 있음을 명확히 구분하게 해준다.

이 논문의 용어

  • 인과 베이지안 네트워크(CBN) · 방향성 비순환 그래프와 조건부 확률로 인과관계를 표현하는 기존 표준 모형
  • 구조적 인과모형(SCM) · 각 변수를 방정식으로 정의해 인과관계를 표현하는 기존 표준 모형
  • 이분 그래프(bipartite graph) · 변수 노드와 방정식 노드 두 종류로 이루어져, 변수가 그 방정식에 등장할 때만 선으로 연결하는 그래프
  • B-분리 · 이분 그래프에서 두 변수 집합이 조건부로 독립인지 판정하는 새로운 그래프 규칙
  • do-계산법(do-calculus) · 개입 전후의 확률분포 관계를 유도하는 규칙 체계

저자 · Joris M. Mooij

arXiv에서 원문 보기

최신 논문

논문 전체 보기 →

METAL MEDIA 최신 기사

그림 출처: Joris M. Mooij et al., arXiv:2608.19831, arxiv-nonexclusive