Reverse processes as Bayesian retrodiction