SMS dit: Bayesian reasoning and machine learning