发送短信: Fixpoint Characterizations for Many−Valued Disjunctive Logic Programs with Probabilistic Semantics