sa:probabilistic_reasoning