Propositional, Probabilistic and Evidential Reasoning, Studies in Fuzziness and Soft Computing, 77