论文标题
混合的非确定性 - 稳定性自动机：将图形概率模型与非确定性混合
Mixed Nondeterministic-Probabilistic Automata: Blending graphical probabilistic models with nondeterminism
论文作者
论文摘要
概率和统计数据中的图形模型是概率推理和概率编程图模型领域的核心概念，包括贝叶斯网络和因子图。在本文中，我们开发了一个新的混合（非确定性/概率）自动机的模型，该模型既包含非确定自动机和图形概率模型。混合自动机配备了并行组成，模拟关系和支持消息传递从图形概率模型继承的算法。将Segala的概率自动机映射到混合自动机。
Graphical models in probability and statistics are a core concept in the area of probabilistic reasoning and probabilistic programming-graphical models include Bayesian networks and factor graphs. In this paper we develop a new model of mixed (nondeterministic/probabilistic) automata that subsumes both nondeterministic automata and graphical probabilistic models. Mixed Automata are equipped with parallel composition, simulation relation, and support message passing algorithms inherited from graphical probabilistic models. Segala's Probabilistic Automatacan be mapped to Mixed Automata.
