概率和因果可满足性：边缘化的影响
原文中文，约200字，阅读约需1分钟。发表于：。研究了 Pearl 的因果层次结构 (PCH) 框架中的推理和计算复杂性，重点关注概率和因果语言中表达的满足性问题，特别是与边缘化相关的方程，证明了不同层次和操作符的确切计算复杂性结果，以及对受限模型进行了考虑。
该文章介绍了通过干预模拟程序的概念分析条件推理，并将其扩展到概率仿真模型的情况。文章定义了条件语言中的概率，并证明了其基本结果。同时，文章还介绍了关于概率的线性不等式推理的公理化方法。作者证明了该逻辑的可满足性问题的正确性、完备性和 NP - 完全性。
