TY - CHAP
T1 - Incidence Calculus
AU - Bundy,Alan
PY - 1992
Y1 - 1992
N2 - 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 directly associated with formulae and probabilities
are calculated from these. This enables incidence calculus to be truth functional,
which a logic based on a purely numeric uncertainty measure cannot
be. This, in turn, enables tighter probablity intervals to be calculated for
theorems of an incidence calculus theory than is possible in a purely numeric
uncertainty theory.
AB - 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 directly associated with formulae and probabilities
are calculated from these. This enables incidence calculus to be truth functional,
which a logic based on a purely numeric uncertainty measure cannot
be. This, in turn, enables tighter probablity intervals to be calculated for
theorems of an incidence calculus theory than is possible in a purely numeric
uncertainty theory.
M3 - Chapter
SN - 0471503053
BT - Encyclopedia of Artificial Intelligence
PB - John Wiley & Sons Inc.
ER -