发送短信 : Studies in model-based diagnosis /