この資料をSMS送信: Fixpoint Characterizations for Many−Valued Disjunctive Logic Programs with Probabilistic Semantics