渐近逻辑不确定性与本福德检验
机器学习
2015-10-13 v1 人工智能
摘要
我们给出一种算法A，其为逻辑句子分配概率。对于任意简单的无限句子序列，若其真值看起来与以概率p输出“真”的有偏硬币不可区分，则A分配给这些句子的概率序列收敛于p。
引用
@article{arxiv.1510.03370,
title = {Asymptotic Logical Uncertainty and The Benford Test},
author = {Scott Garrabrant and Siddharth Bhaskar and Abram Demski and Joanna Garrabrant and George Koleszarik and Evan Lloyd},
journal= {arXiv preprint arXiv:1510.03370},
year = {2015}
}