该文介绍了干预模拟程序的条件推理和概率仿真模型的扩展，定义了条件语言中的概率并证明了其基本结果。作者还发现了关于概率的线性不等式推理的公理化方法，并证明了该逻辑的可满足性问题的正确性、完备性和 NP - 完全性。
完成下面两步后，将自动完成登录并继续当前操作。
