A Bundy - Encyclopedia of Artificial Intelligence, 1992 - research.ed.ac.uk
We describe incidence calculus, a logic for probabilistic reasoning. In incidence calculus,
probabilities are not directly associated with formulae. Rather sets of possible worlds are …