この資料をSMS送信: Nonmonotonic reasoning logical foundations of commonsense/