丹尼尔·瓦拉卡；格林·温斯克尔 在非确定性上分配概率。 （英语） 兹比尔1093.18002 数学。结构。计算。科学。 16，第1期，87-113（2006）. 结合概率和非确定性对系统操作语义的分析表明，一般来说，概率选择应该分布于非确定性选择之上。本文从范畴的角度研究概率论和非确定性的结合。从类别上讲，非确定性和概率性行为都可以解释为单数（分别与幂域结构和估价幂域相关）；但它们的分配组合失败了，这是因为在非确定性monad和概率性monad之间不存在分配律。本工作提供的解决方案是稍微修改其中一个单子的定义，以便允许它们之间存在范畴分配律。作者在本文中介绍了指数估值以及指数估值与有限非空幂集之间存在分配律的证明。指数估值是从估值理论中去掉一个方程得到的方程理论的自由代数，这种修改的副作用是指数估值不满足概率分布通常满足的所有定律。然而，指数估值确实具有计算意义，作者通过为包含随机分配和非确定性选择的命令式语言提供语义来表示。审核人：Manuel Ojeda Aciego（马拉加） 引用于1审查引用于48文件 MSC公司： 18立方厘米 单子（=标准结构，三元组或三元组），单子代数，单子的同调函子和派生函子 第68季度55 计算理论中的语义学 关键词：可能性；非决定论；单子；分配定律 PDF格式BibTeX公司 XML格式引用 \textit{D.Varacca}和\textit{G.Winskel}，数学。结构。计算。科学。16，第1号，87--113（2006；Zbl 1093.18002） 全文： 内政部