【干貨書】因果關(guān)系的邏輯理論

來(lái)源：專知
本文為論文介紹，建議閱讀5分鐘
本文提出了因果推理的一般形式理論，作為對(duì)因果模型、推理和推理的邏輯研究。

因果推理的一般形式理論，是對(duì)因果模型、推理和推理的邏輯研究。

在這本書中，Alexander Bochman提出了因果推理的一般形式理論，作為對(duì)因果模型、推理和推理的邏輯研究，其基于的假設(shè)是，因果推理不是邏輯推理的競(jìng)爭(zhēng)對(duì)手，而是對(duì)缺乏邏輯充分?jǐn)?shù)據(jù)或知識(shí)的情況的補(bǔ)充。Bochman還探討了這一理論與 Judea Pearl 提出的流行的因果關(guān)系結(jié)構(gòu)方程方法的關(guān)系，并探討了從人工智能到法律理論的幾個(gè)應(yīng)用，包括綁架、反事實(shí)、實(shí)際和近似因果關(guān)系、動(dòng)態(tài)因果模型，以及關(guān)于人工智能中的行動(dòng)和變化的推理。

作為邏輯準(zhǔn)備，在引入因果概念之前，Bochman為經(jīng)典邏輯描述了另一種基于情景的語(yǔ)義，它可以更好地理解純邏輯手段可以捕捉到什么。然后，他提出了另一個(gè)先決條件，概述了與他自己的理論相關(guān)的非單調(diào)推理的一般理論的那些部分。這兩個(gè)組成部分為因果演算的主要兩層形式主義提供了邏輯背景，作為他的理論的形式基礎(chǔ)。他提出了主要的因果形式主義的書作為一個(gè)自然概括的經(jīng)典邏輯，允許因果推理。這為后續(xù)章節(jié)提供了正式的背景知識(shí)。最后，Bochman將因果推理推廣到動(dòng)態(tài)域。