この資料をSMS送信: Symbolic and quantitative approaches to reasoning with uncertainty