因果推理的一般形式理論,是對因果模型、推理和推理的邏輯研究。
在這本書中,Alexander Bochman提出了因果推理的一般形式理論,作為對因果模型、推理和推理的邏輯研究,其基於的假設是,因果推理不是邏輯推理的競爭對手,而是對缺乏邏輯充分數據或知識的情況的補充。Bochman還探討了這一理論與 Judea Pearl 提出的流行的因果關係結構方程方法的關係,並探討了從人工智能到法律理論的幾個應用,包括綁架、反事實、實際和近似因果關係、動態因果模型,以及關於人工智能中的行動和變化的推理。
作為邏輯準備,在引入因果概念之前,Bochman為經典邏輯描述了另一種基於情景的語義,它可以更好地理解純邏輯手段可以捕捉到什麼。然後,他提出了另一個先決條件,概述了與他自己的理論相關的非單調推理的一般理論的那些部分。這兩個組成部分為因果演算的主要兩層形式主義提供了邏輯背景,作為他的理論的形式基礎。他提出了主要的因果形式主義的書作為一個自然概括的經典邏輯,允許因果推理。這為後續章節提供了正式的背景知識。最後,Bochman將因果推理推廣到動態域。