An analytic solution to discrete Bayesian reinforcement learning | Synapse