Kolmogorov Extension, Martingale Convergence, and Compositionality of Processes

机译：Kolmogorov扩展，Martingale收敛和过程组成

获取原文

页面导航

摘要
著录项
相似文献
相关主题

摘要

We show that the Kolmogorov extension theorem and the Doob martingale convergence theorem are two aspects of a common generalization, namely a colimit-like construction in a category of Radon spaces and reversible Markov kernels. The construction provides a compositional denotational semantics for lossless iteration in probabilistic programming languages, even in the absence of a natural partial order.

机译：我们证明，Kolmogorov扩展定理和Doob martingale收敛定理是一个通用泛化的两个方面，即Radon空间类别中的类似colimit构造和可逆Markov核。该构造为概率编程语言中的无损迭代提供了组合式指称语义，即使在没有自然偏序的情况下也是如此。

著录项

来源
《Annual ACM/IEEE Symposium on Logic in Computer Science》|2016年|1-8|共8页
会议地点
作者
Dexter Kozen;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种
中图分类
关键词
Kernel; Markov processes; Convergence; Semantics; Probabilistic logic; Radon; Extraterrestrial measurements;

机译：内核;马尔可夫过程;收敛性;语义学;概率逻辑; Ra;外星测量;

相似文献

外文文献
中文文献
专利

1. Biggins’ martingale convergence for branching Lévy processes [J] . Jean Bertoin, Bastien Mallein Electronic Communications in Probability . 2018,第10期

机译：Biggins的mar融合为分支Lévy流程
2. CONVERGENCE THEOREMS AND MAXIMAL INEQUALITIES FOR MARTINGALE ERGODIC PROCESSES [J] . 罗光洲, 马璇, 刘培德数学物理学报：B辑英文版 . 2010,第004期

机译：Martingale ergodic过程的融合定理和最大不等式
3. CONVERGENCE THEOREMS AND MAXIMAL INEQUALITIES FOR MARTINGALE ERGODIC PROCESSES [J] . Luo Guangzhou, Ma Xuan, Liu Peide 数学物理学报（英文版） . 2010,第004期
4. Kolmogorov Extension, Martingale Convergence, and Compositionality of Processes [C] . Dexter Kozen Annual ACM/IEEE Symposium on Logic in Computer Science . 2016

机译：Kolmogorov扩展，Martingale收敛和过程的合成性
5. New majorization theory in economics and martingale convergence results in econometrics. [D] . Ibragimov, Rustam. 2005

机译：经济学中新的专业化理论和mar的融合产生了计量经济学。
6. Complete convergence and complete moment convergence for randomly weighted sums of martingale difference sequence [O] . Huanhuan Ma, Yan Sun -1

机译：mar差序列随机加权和的完全收敛和完全矩收敛
7. Kolmogorov Extension, Martingale Convergence, and Compositionality of Processes [O] . Kozen, Dexter 2015

机译：Kolmogorov扩展，Martingale收敛和过程组成
8. A Martingale Method for the Convergence of a Sequence of Processes to a Jump-Diffusion Process [R] . Kushner, H. J. 1979

机译：一类过程序列收敛到跳跃扩散过程的鞅方法

Kolmogorov Extension, Martingale Convergence, and Compositionality of Processes

摘要

著录项

相似文献

相关主题

期刊订阅