来源：专知
本文为论文介绍，建议阅读5分钟
本文提出了因果推理的一般形式理论，作为对因果模型、推理和推理的逻辑研究。
因果推理的一般形式理论，是对因果模型、推理和推理的逻辑研究。
在这本书中，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将因果推理推广到动态域。
| 留言与评论（共有 0 条评论） “” |
