發送短信: Probabilistic Default Reasoning with Conditional Constraints