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

| do(fj:Xv=ξv) | f1 | f2 | f3 |
|---|---|---|---|
| XO=ξO | ✓ | ∅ | ∅ |
| XP=ξP | ✓ | ✓ | ∅ |
| XD=ξD | ✓ | ✓ | ✓ |

| XO | XP | XD | |
|---|---|---|---|
| observational | XI | XI2XK2 | XI2XK2Xg |
| do(XI=ξI) | ξI | ξI2XK2 | ξI2XK2Xg |
| do(XK=ξK) | XI | XI2ξK2 | XI2ξK2Xg |
| do(Xg=ξg) | XI | XI2XK2 | XI2XK2ξg |
| do(f1:XO=ξO) | ξO | ξO2XK2 | ξO2XK2Xg |
| do(f1:XP=ξP) | ξPXK | ξP | ξPXg |
| do(f1:XD=ξD) | XKXgξD | XgξD | ξD |
| do(f2:XP=ξP) | XI | ξP | ξPXg |
| do(f2:XD=ξD) | XI | XgξD | ξD |
| do(f3:XD=ξD) | XI | XI2XK2 | ξD |
왜 중요한가
물리, 공학, 경제, 생물 같은 분야에서 흔한 되먹임(피드백) 구조를 가진 시스템은 기존 인과추론 도구로 제대로 다룰 수 없었는데, 이 연구는 어떤 메커니즘을 건드렸는지까지 명시하는 새 표기법으로 이 문제를 해결할 실마리를 준다. 실험 설계나 정책 개입을 논의할 때 '같은 변수를 고정했다'는 말이 실제로는 서로 다른 결과를 낳는 다른 개입일 수 있음을 명확히 구분하게 해준다.
이 논문의 용어
- 인과 베이지안 네트워크(CBN) · 방향성 비순환 그래프와 조건부 확률로 인과관계를 표현하는 기존 표준 모형
- 구조적 인과모형(SCM) · 각 변수를 방정식으로 정의해 인과관계를 표현하는 기존 표준 모형
- 이분 그래프(bipartite graph) · 변수 노드와 방정식 노드 두 종류로 이루어져, 변수가 그 방정식에 등장할 때만 선으로 연결하는 그래프
- B-분리 · 이분 그래프에서 두 변수 집합이 조건부로 독립인지 판정하는 새로운 그래프 규칙
- do-계산법(do-calculus) · 개입 전후의 확률분포 관계를 유도하는 규칙 체계
논문 원문 초록 (영문)
Causal Bayesian networks (CBNs) and structural causal models (SCMs) are the dominant frameworks for graphical causal reasoning, but they cannot adequately represent all real-world causal systems. In particular, systems at equilibrium---where feedback mechanisms create cyclic causal dependencies---can exhibit causal semantics that are fundamentally incompatible with these frameworks: different interventions that enforce the same variable value may have different effects, rendering the standard ``perfect intervention'' do($X = x$) ambiguous. We propose bipartite graphical causal models (BGCMs), in which the structure of a system of equations is encoded by a bipartite graph with variable and equation nodes. In this framework, a hard intervention do($f_j : X_v = \xi_v$) specifies which equation is replaced, which variable is targeted, and at what value---resolving the ambiguity of the standard notion. We demonstrate, through a detailed case study of a physical system, that this representation naturally corresponds to distinct real-world interventions. We formulate a Markov property in terms of a new graphical separation criterion (B-separation) that exploits the functional determinism inherent in the equations, and we extend it to settings with non-random inputs. We show how this gives rise to a do-calculus for reasoning about domain invariances. BGCMs strictly generalize CBNs and SCMs while retaining the ability to perform graphical causal reasoning.
arXiv에서 원문 보기최신 논문
- Specification-delta-driven data governance: an empirical study of the {\guillemotleft}spec-delta{\guillemotright} as the unit of change in lakehouse data platforms데이터 플랫폼 변경도 코드처럼 '설계도 조각'을 붙여서 검토하면 어떨까: 실험 설계 논문
- Are LLMs becoming similarly creative? Evidence from three years of models최신 AI 챗봇일수록 서로 비슷한 답을 내놓는다는 3년치 조사 결과
- Auditing Cross-Lingual Fairness in Language Model WatermarkingAI 생성 텍스트를 잡아내는 워터마크 기술이 영어 아닌 언어에서는 훨씬 부실하게 작동하고, 그 격차는 개별 언어가 아니라 언어 계열 단위로 나타난다
- TESTNAV: Pareto-Guided Search for Compositional Robustness TestingAI 모델을 여러 손상이 겹친 입력으로 시험할 때, 굳이 다 테스트하지 않고도 '진짜 위험한 실패'만 골라내는 탐색법
- Optimal Skill Selection for LLM Agents with Provable Bicriteria GuaranteesAI 에이전트에게 어떤 '스킬 문서'를 몇 개나 줘야 잘 작동하는지, 수학적으로 최적해를 보장하며 골라주는 방법
- Reliable Financial Named Entity Recognition under Domain Shift금융 AI가 서류체 문장에서 배운 자신감은 트위터로 가면 거짓말이 된다
- FlashPrefill V2: Block-Sparse Prefill Attention for Long-Context LLM Serving논문 속 시연이 아니라 실제 서비스에 넣을 수 있는 희소 어텐션 만들기
- Robust Incomplete Multimodal Sentiment Analysis via Iterative Proxy Correction텍스트가 빠지거나 망가져도, AI가 그 자리를 대신할 '가짜 텍스트'를 한 번에 만들지 않고 여러 번 고쳐가며 감정을 더 정확히 읽어낸다
METAL LAB 최신 기사
그림 출처: Joris M. Mooij et al., arXiv:2608.19831, arxiv-nonexclusive