發送短信: Many−Valued First−Order Logics with Probabilistic Semantics