Propositional, Probabilistic and Evidential Reasoning. Integrating Numerical and Symbolic Approaches (Studies in Fuzziness and Soft Computing Vol. 77) (Studies in Fuzziness and Soft Computing, 77)