[논문 리뷰] Team semantics for interventionist counterfactuals and causal dependence

Fausto Barbero, Gabriel Sandu|arXiv (Cornell University)|2017. 12. 22.

Semantic Web and Ontologies참고 문헌 31인용 수 3

한 줄 요약

이 논문은 구조방정식모형 내에서 간접적 조작에 기반한 가상사고적 추론와 인과적 의존성을 통합하는 일반화된 팀 의미론 프레임워크인 인과적 팀 의미론을 소개한다. 팀 의미론에 조작 연산자와 공식적 입력, 더 약한 진리값(반증 가능성과 타당성)을 도입하여, 결정론적 및 확률론적 인과적 논의에 대한 통합된 논리적 기반을 제공함으로써 직접적 및 총합 인과관계, 불변성, 가상사고적 의존성의 형식적 분석을 가능하게 한다.

ABSTRACT

We introduce a generalization of team semantics which provides a framework for manipulationist theories of causation based on structural equation models, such as Woodward's and Pearl's; our causal teams incorporate (partial or total) information about functional dependencies that are invariant under interventions. We give a unified treatment of observational and causal aspects of causal models by isolating two operators on causal teams which correspond, respectively, to conditioning and to interventionist counterfactual implication. The evaluation of counterfactuals may involve the production of partially determined teams. We suggest a way of dealing with such cases by 1) the introduction of formal entries in causal teams, and 2) the introduction of weaker truth values (falsifiability and admissibility), for which we suggest some plausible semantical clauses. We introduce formal languages for both deterministic and probabilistic causal discourse, and study in some detail their inferential aspects. Finally, we apply our framework to the analysis of direct and total causation, and other notions of dependence and invariance.

연구 동기 및 목표

• 기존의 팀 의미론을 확장하여 인과 모델 내에서 조작에 기반한 가상사고적 추론를 포괄하는 논리적 프레임워크를 개발하는 것.
• 표준 팀 의미론이 조작에 대해 불변인 기능적 의존성과 같은 인과관계를 표현하는 데 한계를 보이는 문제를 다루는 것.
• 팀에 대한 조건화와 조작 연산자를 도입하여 관측적 추론와 인과적 조작을 통합하는 것.
• 비모수적 모델과 부분적으로 결정된 팀을 다루기 위해 공식적 입력과 약화된 진리값(반증 가능성과 타당성)을 사용하는 것.
• 결정론적 및 확률론적 인과적 논의를 위한 논리 언어를 제공하여 인과관계, 의존성, 불변성의 형식적 분석을 가능하게 하는 것.

제안 방법

• 할당 집합을 기능적 의존성과 조작 능력으로 확장하여 팀 의미론을 인과적 팀으로 일반화하는 것.
• 관측적 추론을 위한 조건화 연산자와 가상사고적 추론을 위한 조작 연산자를 도입하며, 이를 팀 변환을 통해 공식화하는 것.
• 구조방정식에 기반하여 변수 할당을 수정하는 방식으로 인과적 팀에 대한 조작을 정의하며, 조작에 대해 불변성을 유지하는 것.
• 비모수적 모델에서 부분적으로 결정된 값을 표현하기 위해 공식적 입력을 도입하여 가상사고적 추론의 논리적 평가를 가능하게 하는 것.
• 비모수적 설정에서 표준 진리값이 실패하는 경우를 다루기 위해 반증 가능성과 타당성 등의 약화된 진리값을 채택하는 것.
• 의존성 원소, 가상사고 조건문, 불변성 공식을 포함하는 논리 언어(결정론적 및 확률론적)를 구성하며, 팀 기반 의미론을 사용하는 것.

실험 결과

연구 질문

• RQ1 팀 의미론은 어떻게 구조방정식모형 내에서 조작에 기반한 가상사고적 추론을 모델링할 수 있는가?
• RQ2 팀 기반 프레임워크에서 관측적 조건화와 인과적 조작을 구분하기 위해 필요한 논리 연산자는 무엇인가?
• RQ3 비모수적 모델과 부분적으로 결정된 팀을 논리적 의미론 프레임워크 내에서 어떻게 다룰 수 있는가?
• RQ4 직접적 및 총합 인과관계, 불변성 등의 개념은 이 확장된 의미론에서 형식적으로 표현되고 분석될 수 있는가?
• RQ5 제안된 논리 언어는 인과적 논의에 대해 어떤 추론적 및 정의적 능력을 지니는가?

주요 결과

• 논리적 프레임워크는 구조방정식모형과 일관되게 작동하는 공식적 조작 연산자를 도입함으로써, 팀 의미론에 조작에 기반한 가상사고적 추론을 성공적으로 통합하였다.
• 공식적 입력과 약화된 진리값(반증 가능성과 타당성)의 도입으로, 표준 진리값이 실패하는 비모수적 모델에서도 가상사고적 추론의 논리적 평가가 가능해졌다.
• 논문은 모든 조작에 대해 유지되는 불변 의존성—즉, 모든 조작에 대해 동일하게 유지되는 의존성—을 가상사고 조건문을 포함하는 공식의 체계를 통해 형식적으로 정의할 수 있음을 보였다.
• 논리적 프레임워크는 결정론적 및 확률론적 인과적 논의를 통합적으로 다룰 수 있으며, 조작 전·후 상태를 구분할 수 있는 언어를 제공한다.
• 프레임워크는 직접적 및 총합 인과관계와 같은 일부 인과적 개념이 인과적 팀 위에서 논리 공식을 통해 표현되고 분석될 수 있음을 드러내며, 조작 이론에 대한 형식적 기반을 제공한다.
• 논문은 비순환 모델, 관측되지 않은 변수, 비수술적 조작으로의 프레임워크 확장을 위한 도전 과제를 규명하였으며, 표현력과 증명 체계 분야에서 향후 연구 방향을 제시한다.