Propositional Probabilistic And Evidential Reasoning Integrating Numerical And Symbolic Approaches 2001