Vineet Gupta;拉德哈·贾加迪桑(Radha Jagadeesan);普拉卡什·帕南加登-实时概率过程的近似推理

lmcs:2258-计算机科学中的逻辑方法,2006年3月7日,第2卷第1期-https://doi.org/10.2168/LMCS-2(1:4)2006
实时概率过程的近似推理第条

作者:Vineet Gupta;拉德哈·贾加迪桑(Radha Jagadeesan);普拉卡什·帕南加登

    我们开发了广义互模拟的伪度量模拟半马尔可夫过程。这个伪度量的核对应于互模拟;因此,我们扩展了连续时间的互模拟概率过程到比指数分布。这个伪度量提供了一个有用的处理存在数字信息的近似推理——例如概率和时间——在模型中。我们给出了一个不动点特征伪测量的。这使得共推推理原则可用于关于距离的推理。我们证明了我们的方法对通过表明距离是内在的,潜在的特殊距离表达潜在的一致性。我们对此进行了逻辑描述使用实值模态逻辑实现一致性。我们表明感兴趣的性质相对于伪度量是连续的。因此,如果两个过程在度量上很接近,那么可以观察到的定量性质感兴趣的人确实很接近。


    资料来源:arXiv.org:cs/0505063
    卷:第2卷第1期
    发布日期:2006年3月7日
    提交日期:2004年11月5日
    关键词:计算机科学-计算机科学中的逻辑,D.2.4,D.2.8,D.4.8,G.3
    基金:
      来源:OpenAIRE Graph
    • 合作研究:时间方面; 资助单位:国家科学基金;代码:0430175
    • 资助方:加拿大自然科学与工程研究委员会
    • 随机并发中的近似推理:在安全替换和随机混合系统中的应用; 资助单位:国家科学基金;代码:0244901

    10引用本文的文件

    咨询统计数据

    这个页面已经被浏览了1106次。
    本文的PDF已下载419次。