We introduce the notion of a stochastic probabilistic program and present a reference implementation of a probabilistic programming facility supporting specification of stochastic probabilistic programs and inference in them. Stochastic probabilistic programs allow straightforward specification and efficient inference in models with nuisance parameters, noise, and nondeterminism. We give several examples of stochastic probabilistic programs, and compare the programs with corresponding deterministic probabilistic programs in terms of model specification and inference. We conclude with discussion of open research topics and related work.

中文翻译：

---

随机概率程序

我们介绍了随机概率程序的概念，并提供了支持随机概率程序规范和推理的概率编程工具的参考实现。随机概率程序允许在具有干扰参数、噪声和不确定性的模型中进行直接指定和有效推理。我们给出了几个随机概率程序的例子，并在模型规范和推理方面将这些程序与相应的确定性概率程序进行了比较。我们以对开放研究主题和相关工作的讨论结束。