A formal solution to the grain of truth problem. Proceedings of the Thirty-Second Uncertainty in Artificial Intelligence Conference. (Leike, J., Taylor, J., Fallenstein, B. (2016).)

http://www.auai.org/uai2016/proceedings/papers/87.pdf