因果团队中的干预主义反事实
Interventionist Counterfactuals on Causal Teams
摘要：
我们介绍了一个扩展的团队语义提供了一个框架的逻辑操纵理论的因果关系的基础上结构方程模型，如伍德沃德和珍珠的，我们的因果团队将（部分或全部）信息的功能依赖关系是不变的干预。我们给出了一个统一的治疗观察和因果方面的因果模型，隔离两个运营商的因果团队，分别对应于条件反射和干预反事实的影响。然后，我们介绍了形式语言的确定性和概率的因果话语，并显示如何在其中定义的原因（如直接和总原因）的各种概念。通过调整结构方程的各种约束（递归性，解的存在性和唯一性，函数的全部或部分定义），我们的框架可以捕获不同的因果模型。我们给出了一个概述的递归，完全定义的情况下的推理方面，我们致力于一些注意递归，部分定义的情况下，这涉及到一个转移的注意力向非经典的真值。
英文摘要：
We introduce an extension of team semantics which provides a framework for the logic of 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. We then introduce formal languages for deterministic and probabilistic causal discourse, and show how various notions of cause (e.g. direct and total causes) may be defined in them. Through the tuning of various constraints on structural equations (recursivity, existence and uniqueness of solutions, full or partial definition of the functions), our framework can capture different causal models. We give an overview of the inferential aspects of the recursive, fully defined case; and we dedicate some attention to the recursive, partially defined case, which involves a shift of attention towards nonclassical truth values.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
