论非确定性因果律下干预主义反事实的逻辑
计算机科学中的逻辑
2024-04-16 v2 逻辑
统计理论
统计理论
摘要
我们研究了 Halpern (2000) 中提出的将因果模型推广到非确定性因果律的情形。我们概述了这种更一般的视角在建模上所强加的差异，并提出了一种以 Barbero & Sandu (2020) 的因果团队语义风格实现的广义模型。在这些模型中，定律不是由函数（如在确定性情形中那样）表示，而是更一般地由关系表示。我们分析了非确定性与确定性情形下干预主义反事实公理化的显著差异，并在完整的非确定性模型类及其递归子类上提供了强完备的公理化。
引用
@article{arxiv.2312.07223,
title = {On the logic of interventionist counterfactuals under indeterministic causal laws},
author = {Fausto Barbero},
journal= {arXiv preprint arXiv:2312.07223},
year = {2024}
}
备注
24 pages. Extended version of the paper published in the conference proceedings of FoIKS 2024. Substantial changes in the basic definitions