该研究探讨了干预模拟程序的概念分析条件推理，并将其应用于概率仿真模型。研究者定义了条件语言中的概率，并证明了基本结果。他们还提出了概率线性不等式推理的公理化方法。研究者证明了该逻辑的可满足性问题的正确性、完备性和NP-完全性。