Probabilistic game semantics
Probabilistic game semantics
复制标题
概率游戏语义
DOI：
--
复制
发表时间：
2000
期刊：
影响因子：
--
通讯作者：
Russell Harmer
中科院分区：
文献类型：
--
作者：
V. Danos;Russell Harmer
开发了一类 HO/N 型游戏和概率策略，其中策略的可能选择被量化，以便衡量观看给定游戏的可能性。双面骰子在这一类别中被证明是通用的，因为任何策略都可以分解为某些确定性策略和该骰子之间的组合。然后通过描述笛卡尔封闭子范畴来证明该范畴的解释能力，该子范畴提供了理想化 Algol 概率扩展的完全抽象模型。
A category of HO/N-style games and probabilistic strategies is developed where the possible choices of a strategy are quantified so as to give a measure of the likelihood of seeing a given play. A 2-sided die is shown to be universal in this category, in the sense that any strategy breaks down into a composition between some deterministic strategy and that die. The interpretative power of the category is then demonstrated by delineating a Cartesian closed subcategory which provides a fully abstract model of a probabilistic extension of Idealized Algol.