统一高斯概率和非确定性的一个类别
摘要：扩展的高斯映射和高斯关系的分类介绍了统一高斯概率分布和关系非确定性的形式化方法。这两种方法在统计学、工程学和控制理论中有关键且良好理解的应用，但是将它们结合到一个单一的形式化框架中是具有挑战性的。这使我们能够严格地描述各种现象，如带有噪声的物理定律、Willems的开放系统理论和贝叶斯统计中的无信息先验。核心思想是正式接受向量子空间$D\subseteq X$作为广义均匀概率分布。我们的形式化方法代表了连通性系统理论（信号流图、线性关系、超图范畴）和概率论概念之间的首次桥梁。
作者：Dario Stein, Richard Samuelson
论文ID：2204.14024
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-06-08