Describir: Probabilistic Logics and Probabilistic Networks