我们提出了Omega，一种支持反事实推理的概率编程语言。反事实推理是指观察当前的某些事实，并推断如果过去采取某种干预措施会发生什么情况，例如，假设药物在x剂量时无效，那么在2剂量时有效的概率是多少?“我们通过在概率编程中引入一个新的操作符来实现这一点，类似于Pearl的做法，定义它的正式语义，提供一个实现，并通过各种仿真模型中的示例演示它的效用。

http://proceedings.mlr.press/v139/tavares21a/tavares21a.pdf