Exploration of probabilistic reasoning over time given a noisy channel: Viterbi, Forward-Backward algorithms