【干貨書】因果關(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)域。




評(píng)論
圖片
表情
