[논문 리뷰] From Deterministic ODEs to Dynamic Structural Causal Models

Paul K. Rubenstein, Stephan Bongers외 2명|arXiv (Cornell University)|2016. 08. 29.

Bayesian Modeling and Causal Inference참고 문헌 13인용 수 19

한 줄 요약

이 논문은 일반 미분방정식(OEDs)에서 시간에 따라 변화하는 간섭 조건 하에서 渐近적 시스템 행동을 모델링할 수 있도록 구조적 인과모델(SCMs)을 동적 설정으로 확장하여 동적 구조적 인과모델(DSCMs)을 제안한다. 동적 구조적 안정성 하에서 DSCMs가 임의의 간섭 조건 하에서 ODE 궤적의 渐近적 진화를 정확하게 포착할 수 있음을 증명하며, 이는 이전 연구에서 정적 평형점에 국한된 제한된 결과를 일반화한다.

ABSTRACT

Structural Causal Models are widely used in causal modelling, but how they relate to other modelling tools is poorly understood. In this paper we provide a novel perspective on the relationship between Ordinary Differential Equations and Structural Causal Models. We show how, under certain conditions, the asymptotic behaviour of an Ordinary Differential Equation under non-constant interventions can be modelled using Dynamic Structural Causal Models. In contrast to earlier work, we study not only the effect of interventions on equilibrium states; rather, we model asymptotic behaviour that is dynamic under interventions that vary in time, and include as a special case the study of static equilibria.

연구 동기 및 목표

• 정적 평형점 외의 동적 시간에 따라 변화하는 간섭 조건을 갖는 ODE에서의 행동을 모델링하기 위해 SCM 프레임워크를 정적 평형점에서 초월하여 확장하는 것.
• DSCM이 ODE의 정적 행동을 간섭 조건 하에서 기술할 수 있도록 하는 충분한 조건를 규명하는 것.
• 이전 연구에서 초기 조건과 무관하게 시스템이 정적 평형점으로 수렴한다는 가정의 한계를 해결하는 것.
• 정적 ODE와 인과 모델링 간의 공식적 다리를 놓기 위해 DSCMs를 통해 비평형 동적 시스템에서의 인과 추론을 가능하게 하는 이론적 기반을 제공하는 것.

제안 방법

• 정적 SCMs의 확장으로서 간섭 조건이 시간에 따라 변화하고 결과가 渐近적 궤적으로 기술되는 동적 구조적 인과모델(DSCMs)을 제안한다.
• 정상적 행동에 기반한 궤적의 동치성을 정의하여 일시적 동역학에서의 추상화를 가능하게 한다.
• 간섭 조건이 ODE의 정상적 행동의 정성적 구조를 변화시키지 않도록 보장하기 위해 동적 구조적 안정성 개념을 도입한다.
• Mooij 등(2013)의 접근 방식을 수정하여, SCM 프레임워크 내에서 평형 상태 대신 연속 시간 궤적을 사용한다.
• 정상적 궤적 위에 구조적 방정식 모델을 구성함으로써 ODE에서 DSCM을 유도하며, 간섭 조건은 시간에 따라 변화하는 do-계산법을 통해 적용한다.
• ODE가 간섭 집합 하에서 동적 구조적 안정성을 만족할 경우, 해당 DSCM은 모든 간섭 조건 하에서 정상적 행동을 정확히 모델링함을 증명한다.

실험 결과

연구 질문

• RQ1 SCM 프레임워크는 시간에 따라 변화하는 간섭 조건 하에서 정적 평형점으로 수렴하지 않는 시스템을 모델링할 수 있는가?
• RQ2 ODE와 그 간섭 조건이 DSCM을 유도할 수 있도록 하는 충분한 조건는 무엇인가?
• RQ3 DSCM 프레임워크는 연속 시간 동역학과 간섭 조건을 다룰 때 기존의 동적 베이지안 네트워크(DBNs)와 어떻게 다를 수 있는가?
• RQ4 DSCM은 어떤 의미에서 정상적 행동을 정확하게 표현할 수 있으며, 이는 DBNs에서의 근사적 이산화와 어떻게 비교될 수 있는가?
• RQ5 DSCM 프레임워크는 비선형 초기 조건 의존성과 동적 시스템 내의 확률적 성격을 다룰 수 있도록 어떻게 일반화될 수 있는가?

주요 결과

• 동적 구조적 안정성 하에서, ODE에서 임의의 시간에 따라 변화하는 간섭 조건 하에서 궤적의 정상적 행동을 기술하는 DSCM을 유도할 수 있음을 입증한다.
• 유도된 DSCM은 간섭 조건 하에서 ODE의 정상적 행동을 정확히 포착하며, DBNs와 같은 이산 시간 모델에서 내재된 근사 오차를 피한다.
• 이전 연구에서 정적 평형점에 국한된 가정을 벗어나, 비상수이자 시간에 따라 변화하는 간섭 조건을 허용함으로써 기존 연구를 일반화한다.
• DSCM 구축 과정은 일시적 동역학에 영향을 받지 않으며, 오직 장기적 행동에만 초점을 맞추므로, 복잡한 시스템에서의 간결한 인과 추론을 가능하게 한다.
• 이 방법은 비평형 동적 시스템에서 SCM을 사용할 수 있는 이론적 기반을 제공하며, 시스템 생물학, 신경과학, 공학 분야에 응용 가능성이 있다.
• DSCMs는 연속적인 동역학을 근사하기 위해 시간 이산화를 더 세밀하게 할 경우 발생하는 계산 비용 증가를 피하며, 정상적 행동을 직접 모델링하므로 이에 기인한 비용 증가가 없다.