arXivDaily arXiv每日学术速递 周一至周五更新
arXiv cs/0407057cs.LGcs.AIcs.CCcs.ITmath.ITmath.PR
收藏

个体随机序列半测度的泛收敛性

Universal Convergence of Semimeasures on Individual Random Sequences

Marcus Hutter, Andrej Muchnik

摘要:

所罗门诺夫的中心结果归纳是,后一个普遍的半措施M收敛迅速,并以概率1的真实序列产生后亩,如果后者是可计算的。因此,在未知μ的情况下,M有资格作为通用序列预测子。尽管文献中有一些邻近的结果和证明,但所有(马丁-洛夫)随机序列收敛的更强结果仍然悬而未决。这样的收敛结果将是特别有趣和自然的,因为随机性可以用M本身来定义。我们证明了存在不收敛于所有随机序列的泛半测度M,即我们给出了公开问题的部分否定答案。对于一些非普适半测度,我们也给出了肯定的答案。我们定义不可计算测度D为所有可计算测度上的混合,可计算半测度W为所有可计算近似测度上的混合。我们证明了W收敛到D和D到μ的所有随机序列。测量两个分布的接近程度的Hellinger距离起着核心作用。

英文摘要:

Solomonoff's central result on induction is that the posterior of a universal semimeasure M converges rapidly and with probability 1 to the true sequence generating posterior mu, if the latter is computable. Hence, M is eligible as a universal sequence predictor in case of unknown mu. Despite some nearby results and proofs in the literature, the stronger result of convergence for all (Martin-Loef) random sequences remained open. Such a convergence result would be particularly interesting and natural, since randomness can be defined in terms of M itself. We show that there are universal semimeasures M which do not converge for all random sequences, i.e. we give a partial negative answer to the open problem. We also provide a positive answer for some non-universal semimeasures. We define the incomputable measure D as a mixture over all computable measures and the enumerable semimeasure W as a mixture over all enumerable nearly-measures. We show that W converges to D and D to mu on all random sequences. The Hellinger distance measuring closeness of two distributions plays a central role.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑