Anfonwch hwn fel neges destun: Symbolic and quantitative approaches to reasoning with uncertainty