Bayesian decision theory and navigation