...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Journal of complexity >Representing probability measures using probabilistic processes
【24h】

Representing probability measures using probabilistic processes

机译：用概率过程表示概率测度

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

In the Type-2 Theory of Effectivity, one considers representations of topological spaces in which infinite words are used as "names" for the elements they represent. Given such a representation, we show that probabilistic processes on infinite words, under which each successive symbol is determined by a finite probabilistic choice, generate Borel probability measures on the represented space. Conversely, for several well-behaved types of space, every Borel probability measure is represented by a corresponding probabilistic process. Accordingly, we consider probabilistic processes as providing "probabilistic names" for Borel probability measures. We show that integration is computable with respect to the induced representation of measures.
机译：在类型2有效性理论中，人们考虑了拓扑空间的表示形式，其中无限单词被用作其表示元素的“名称”。给定这样的表示形式，我们证明了无限单词上的概率过程（在该过程下，每个连续符号由有限概率选择确定）在所表示的空间上生成Borel概率度量。相反，对于几种行为良好的空间类型，每个Borel概率度量均由相应的概率过程表示。因此，我们认为概率过程为Borel概率度量提供了“概率名称”。我们表明，关于度量的诱导表示，积分是可计算的。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号