I was going to say the same thing. You might also be interested in logical induction: https://golem.ph.utexas.edu/category/2016/09/logical_uncertainty_and_logi

I was going to say the same thing. You might also be interested in logical induction: https://golem.ph.utexas.edu/category/2016/09/logical_uncertainty_and_logica.html https://golem.ph.utexas.edu/category/2016/09/logical_uncerta... https://intelligence.org/2016/09/12/new-paper-logical-induction/ https://intelligence.org/2016/09/12/new-paper-logical-induct...