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