루이스 반사실적 사고에 기초한 비개입적 인과 추론 접근법

우리는 반사실적 조건문에 대한 계산적으로 기반을 둔 의미론을 제시한다. 여기에서는 i) 모델의 상태가 두 요소로 분해되며: 제안적 가치와 해당 상태에서 가능한 인과 정보를 나타내는 제안적 형태의 인과 기반; 그리고 ii) 상태 간의 비교 유사성 관계가 두 구성 요소로부터 계산된다. 우리의 의미론을 통해 우리는 개입이라는 원시 개념에 의존하지 않고 실제 원인의 개념을 우아하게 형식화할 수 있음을 보여준다. 또한, 우리는 우리의 의미론에서 반사실적 조건문 언어에 대한 모델 검사 문제의 간결한 공식화를 제공한다. 이 문제는 PSPACE 완전함을 가지며 인과 속성의 자동 검증에 사용할 수 있는 QBF로의 축소를 제공한다.