Zaslat SMS: Probabilistic Logics and Probabilistic Networks