基于密度的反应性概率编程语义
摘要：异步语言是紧急嵌入式系统的标准工具。设计人员通过使用方块图来组合值的流来编写高级规范。这些语言已经通过贝叶斯推理扩展，用于编写计算分布流的状态空间模型，给定一系列观测。然而，概率模型的语义仅针对计划方程进行定义，与不需要任何排序的数据流同步语言和方块图相比，这是一个重要限制。 在本文中，我们提出了一种概率同步语言的两种计划不可知语义。关键思想是将概率表达式解释为将随机变量值映射到结果和正分数的未标准化密度函数流。共迭代语义将程序解释为状态机，并使用固定点运算符计算方程。关系语义直接操作流，因此更适合推理程序等价性。我们使用关系语义来证明必要的程序转换的正确性，以运行具有恒定参数的状态空间模型的优化推理算法。
作者：Guillaume Baudart, Louis Mandel, Christine Tasson
论文ID：2308.01676
分类：Programming Languages
分类简称：cs.PL
提交时间：2023-08-04