实时概率过程的近似推理
计算机科学中的逻辑
2017-01-11 v4
摘要
我们发展了广义半马尔可夫过程的仿射度量类比的二分相似度。该仿射度量的核对应于二分相似度；因此，我们将二分相似度推广到远远超过指数分布的更广泛分布类。该仿射度量为在模型中包含数值信息（如概率和时间）的近似推理提供了有用工具。我们给出该仿射度量的固定点特征描述。这使得可用作二分推理原则，用于推理关于距离的问题。我们演示了我们的 метод不受距离 articulation 可能性上的随意性的影响，表明它是源于底层均匀性的。我们使用实值模态逻辑对该均匀性进行逻辑特征描述。我们显示，若干感兴趣的定性属性相对于该仿射度量是连续的。因此，如果两个过程在度量上彼此接近，则感兴趣的可观测定性质确实彼此接近。
引用
@article{arxiv.cs/0505063,
title = {Approximate reasoning for real-time probabilistic processes},
author = {Vineet Gupta and Radha Jagadeesan and Prakash Panangaden},
journal= {arXiv preprint arXiv:cs/0505063},
year = {2017}
}
备注
Preliminary version appeared in QEST 04