Representing and reasoning with probabilistic knowledge: A logical approach to probabilities