SMS: Fixpoint Characterizations for Many−Valued Disjunctive Logic Programs with Probabilistic Semantics