Prediction, Bayesian inference and feedback in speech recognition