分布双相似性通过凸代数的力量
摘要：概率自动机（PA），也称为概率非确定有标记转换系统，结合了概率和非确定性。它们可以具有不同的语义，例如强同余、凸同余或（最近的）分布同余。后者基于将PA视为概率分布的转换器，也称为信念状态，并将分布提升为一等公民的观点。我们给出了分布同余的共代数描述，并解释了信念状态转换器从PA产生的过程。为此，我们明确了PA中存在的凸代数结构，并将信念状态转换器识别为带有凸代数的状态空间的转换系统。由于我们的抽象方法，我们可以提供一种称为同余上加凸外壳的有效证明技术。
作者：Filippo Bonchi, Alexandra Silva, and Ana Sokolova
论文ID：1707.02344
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-06-22