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

在這本書中，Alexander Bochman提出了因果推理的一般形式理論，作為對因果模型、推理和推理的邏輯研究，其基於的假設是，因果推理不是邏輯推理的競爭對手，而是對缺乏邏輯充分數據或知識的情況的補充。Bochman還探討了這一理論與 Judea Pearl 提出的流行的因果關係結構方程方法的關係，並探討了從人工智能到法律理論的幾個應用，包括綁架、反事實、實際和近似因果關係、動態因果模型，以及關於人工智能中的行動和變化的推理。

https://mitpress.mit.edu/books/logical-theory-causality#:~:text=In%20this%20book%2C%20Alexander%20Bochman,logically%20sufficient%20data%20or%20knowledge.

作為邏輯準備，在引入因果概念之前，Bochman為經典邏輯描述了另一種基於情景的語義，它可以更好地理解純邏輯手段可以捕捉到什麼。然後，他提出了另一個先決條件，概述了與他自己的理論相關的非單調推理的一般理論的那些部分。這兩個組成部分為因果演算的主要兩層形式主義提供了邏輯背景，作為他的理論的形式基礎。他提出了主要的因果形式主義的書作為一個自然概括的經典邏輯，允許因果推理。這為後續章節提供了正式的背景知識。最後，Bochman將因果推理推廣到動態域。