[논문 리뷰] What Counterfactuals Can Be Tested

Ilya Shpitser, Judea Pearl|arXiv (Cornell University)|2012. 06. 20.

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

한 줄 요약

이 논문은 실험 데이터를 사용하여 검증할 수 있는 반전자 문장(예: '만약 내가 아스피린을 복용했더라면 두통이 사라졌을 것이다')의 조건을 규명하기 위한 형식적 프레임워크를 제공한다. 반전자 질문의 검증 가능성을 확인하고, 관측 데이터를 사용하여 그 확률을 표현하는 데 완전한 절차를 제시하며, 반전자 질문을 do-계산법과 실험적 추정치로 환원할 수 있는 조건을 설정한다.

ABSTRACT

Counterfactual statements, e.g., "my headache would be gone had I taken an aspirin" are central to scientific discourse, and are formally interpreted as statements derived from "alternative worlds". However, since they invoke hypothetical states of affairs, often incompatible with what is actually known or observed, testing counterfactuals is fraught with conceptual and practical difficulties. In this paper, we provide a complete characterization of "testable counterfactuals," namely, counterfactual statements whose probabilities can be inferred from physical experiments. We provide complete procedures for discerning whether a given counterfactual is testable and, if so, expressing its probability in terms of experimental data.

연구 동기 및 목표

• 반전자 문장(가상의 세계에 대한 가정적 진술)이 실험적으로 검증될 수 있는 조건을 명확히 하는 것.
• 그들이 관측되지 않은 가정적인 성격을 지닌 데서 기인하는 개념적 및 실용적 과제를 다루는 것.
• 주어진 반전자 질문이 실험 데이터로부터 식별 가능한지 여부를 판단하기 위한 체계적인 절차를 개발하는 것.
• 구조적 인과 모델과 do-계산법을 사용하여 검증 가능한 반전자를 완전히 특성화하는 것.
• 연구자가 반전자 질문을 관측 데이터의 추정 가능한 함수로 변환함으로써 실증적 타당성을 확보할 수 있도록 돕는 것.

제안 방법

• 반전자를 가상 세계에서의 간섭으로 공식적으로 표현하기 위해 구조적 인과 모델(Structural Causal Models, SCMs)을 사용한다.
• do-계산법을 적용하여 반전자 확률이 관측 가능한 분포의 형태로 표현될 수 있는지 여부를 판단한다.
• 세 단계 절차를 도입한다: (1) 반전자를 잠재적 결과의 함수로 표현하고, (2) do-계산법 규칙을 적용하여 표현식이 추정 가능한지 식별하고, (3) 확률을 실험 데이터의 형태로 표현한다.
• 특정 가정 하에 반전자를 관측 가능한 데이터와 연결하기 위해 잠재적 결과의 일致성과 일致성을 활용한다.
• 실험 데이터와 do-계산법을 사용하여 확률이 추정 가능한 함수로 환원될 수 있는 반전자를 검증 가능한 반전자로 정의한다.
• d-분리 기준과 조건부 독립을 활용하여 반전자 질문의 식별 가능성을 평가한다.

실험 결과

연구 질문

• RQ1 어떤 반전자 문장이 실험 데이터를 사용하여 실증적으로 검증할 수 있는가?
• RQ2 반전자 사건의 확률이 관측 가능한 데이터의 함수로 표현될 수 있는 조건은 무엇인가?
• RQ3 do-계산법을 사용하여 반전자 질문을 추정 가능한 추정치로 환원하는 방법은 무엇인가?
• RQ4 반전자를 검증 가능하게 하기 위해 필요한 구조적 가정은 무엇인가?
• RQ5 모든 반전자를 검증할 수 있는가, 아니면 그들의 식별 가능성에 내재된 제약가 존재하는가?

주요 결과

• 반자가능성이 성립하는 것은 오직 그 확률이 do-계산법을 사용하여 실험 데이터의 함수로 표현될 수 있을 때에만 가능하다.
• 논문은 주어진 반전자 질문이 관측 및 실험 데이터로부터 식별 가능한지 여부를 판단하기 위한 완전한 알고리즘을 제공한다.
• 이 프레임워크는 랜덤화 시험과 같은 표준 실험 데이터를 사용하여 반전자 질문을 추정 가능한 표현식으로 변환할 수 있도록 한다.
• 이 방법은 모든 반자가능성이 검증 가능한 것은 아니며, 특정한 구조적 및 조건부 독립 제약 조건을 만족하는 경우에만 식별 가능하다는 것을 입증한다.
• 결과는 변수의 간섭이 직접 관측되지 않거나 결과와 d-분리되지 않은 반자기의 경우, 그 확률이 식별 가능하지 않을 수 있음을 보여준다.
• 식별 가능 조건이 충족되면, 관측 데이터의 형태로 반전자 확률에 대한 정확한 표현식을 유도할 수 있다.