發送短信: Explanatory nonmonotonic reasoning