9、新兴因果关系、意识基础与AGI思维的标准建模

新兴因果关系、意识基础与AGI思维的标准建模

1 干预的新兴表征

在探讨相关问题时，即便将干预表示为一个变量，在进行准确归纳之前，该变量仍需明确定义，因为它是一个预设的抽象概念。在某些定义中，变量往往未被明确界定，例如“鸡的数量”这一变量，它预设了鸡的概念和十进制数字系统。相关形式主义的目的是通过归纳构建此类抽象概念，以尽可能少的假设来正式定义现实（包括环境及其内的认知），从而解决符号接地和二元论相关的其他问题。

以拉里的例子来说，我们用词汇表 (v) 来替代变量 (A)、(C) 和 (R)，其中 (c, r \in Lv)，根据相关定义具有真值：
- (c \leftrightarrow) “拉里穿上了雨衣”
- (r \leftrightarrow) “下雨了”

假设通过被动观察得出 (p(r | c) = 1)，简单的解释是我们可以通过强迫拉里穿雨衣来让天下雨。但与该干预相关的陈述并非仅仅是 (c)，而是存在第三个陈述 (a \in L)，即 (a \leftrightarrow) “拉里因为我们强迫他而穿上了雨衣”。

由于我们现在处理的是陈述，而陈述是一组推断得出的声明式程序，而非预先给定的，因此我们不再需要提前明确定义干预。可实现语言中的陈述代表感觉运动活动，通过归纳形成。对 (c) 的观察是感觉运动活动 (a) 的一部分，即 (c \subseteq a)（如果拉里没穿雨衣，那么我们强迫他穿雨衣也就不成立）。虽然没有“do”运算符，但 (i = a - c) 可被理解为代表进行干预一方的身份。若 (i \neq \varnothing)，那么在 (a) 和 (c) 相关的情况下，至少有可能区分干预和被动观察。干预和观察是否可区分