发送短信: Explanatory nonmonotonic reasoning