48
个编辑
更改
跳到导航
跳到搜索
第60行：
第60行： + + + + + +
→因果模型
<font color="#ff8000">因果模型框架 Causal Models Framework</font>从<font color="#ff8000">结构方程（structural equations）Structural Equation Model</font>系统的角度分析反事实。在一个方程系统中，每个变量都被分配了一个值，这个值是系统中其他变量的显式函数。给定这样一个模型，“如果X是X，Y就会是Y（''Y'' would be ''y'' had ''X'' been ''x''）”这个句子 (形式上为 ''X = x'' > ''Y = y'' )被定义为断言。如果我们用一个常数''X = x''取代当前决定 ''X''的方程，并求解变量''Y''的方程组，得到的解将是''Y = y''。这个定义已被证明与可能世界语义学的公理兼容，并构成自然科学和社会科学中因果推理的基础。因为这些领域的每个结构方程都对应于一个熟悉的因果机制，这个因果机制可以被研究者进行有意义地推理。这种方法是由Judea Pearl(2000)提出的，作为编码关于因果关系的细粒度直觉的手段，这些直觉在其他提议的系统中难以捕捉。<ref name="Pearl2000">{{Cite book |last=Pearl |first=Judea |title=Causality |publisher=Cambridge University Press |year=2000 }}</ref>
<font color="#ff8000">因果模型框架 Causal Models Framework</font>从<font color="#ff8000">结构方程（structural equations）Structural Equation Model</font>系统的角度分析反事实。在一个方程系统中，每个变量都被分配了一个值，这个值是系统中其他变量的显式函数。给定这样一个模型，“如果X是X，Y就会是Y（''Y'' would be ''y'' had ''X'' been ''x''）”这个句子 (形式上为 ''X = x'' > ''Y = y'' )被定义为断言。如果我们用一个常数''X = x''取代当前决定 ''X''的方程，并求解变量''Y''的方程组，得到的解将是''Y = y''。这个定义已被证明与可能世界语义学的公理兼容，并构成自然科学和社会科学中因果推理的基础。因为这些领域的每个结构方程都对应于一个熟悉的因果机制，这个因果机制可以被研究者进行有意义地推理。这种方法是由Judea Pearl(2000)提出的，作为编码关于因果关系的细粒度直觉的手段，这些直觉在其他提议的系统中难以捕捉。<ref name="Pearl2000">{{Cite book |last=Pearl |first=Judea |title=Causality |publisher=Cambridge University Press |year=2000 }}</ref>
===因果模型下的定义===
令X和Y是变量集合V中的两个子集，反事实语句“（在情况u下）假如X取x，那么Y可能取到y”可以等价地用数学符号<math> Y_x(u) </math>来描述，表明变量集Y对X取x的反应。
===反事实基本定理===
====等价定理====
令<math> M_x</math>表示结构方程模型M的修改版本（在关于X的结构方程中用X=x来代替），反事实具备下述等价性质：
<math>Y_x(u)=Y_{M_x}(u)</math>
==逻辑和语义==
==逻辑和语义==