A Bayesian rationalist AI