论文标题
贝叶斯推论的最弱点语义
Weakest Preexpectation Semantics for Bayesian Inference
论文作者
论文摘要
我们提供了一种概率的语义，同时具有软调节和连续分布的语言，该语义处理以积极概率分歧的程序。为此，我们通过连续分布和得分运算符的抽签扩展了概率保护的命令语言（PGCL）。主要的贡献是标准最弱的先前语义的扩展，以支持这些结构。作为对我们语义的理智检查，我们定义了一种基于痕量的语言语义，并表明这两个语义是等效的。各种示例说明了语义的适用性。
We present a semantics of a probabilistic while-language with soft conditioning and continuous distributions which handles programs diverging with positive probability. To this end, we extend the probabilistic guarded command language (pGCL) with draws from continuous distributions and a score operator. The main contribution is an extension of the standard weakest preexpectation semantics to support these constructs. As a sanity check of our semantics, we define an alternative trace-based semantics of the language, and show that the two semantics are equivalent. Various examples illustrate the applicability of the semantics.
