TY - JOUR
T1 - Incidence Calculus: A Mechanism for Probabilistic Reasoning
AU - Bundy, Alan
PY - 1985
Y1 - 1985
N2 - Mechanisms for the automation of uncertainty are required for expert systems. Sometimes these
mechanisms need to obey the properties of probabilistic reasoning. We argue that a purely numeric
mechanism, like those proposed so far, cannot provide a probabilistic logic with truth functional connec-
tives. We propose an alternative mechanism, Incidence Calculus, which is based on a representation of
uncertainty using sets of points, which might represent situations models or possible worlds. Incidence
Calculus does provide a probabilistic logic with truth functional connectives.
AB - Mechanisms for the automation of uncertainty are required for expert systems. Sometimes these
mechanisms need to obey the properties of probabilistic reasoning. We argue that a purely numeric
mechanism, like those proposed so far, cannot provide a probabilistic logic with truth functional connec-
tives. We propose an alternative mechanism, Incidence Calculus, which is based on a representation of
uncertainty using sets of points, which might represent situations models or possible worlds. Incidence
Calculus does provide a probabilistic logic with truth functional connectives.
KW - Incidence Calculus
KW - probability
KW - uncertainty
KW - logic
KW - expert systems
KW - inference
U2 - 10.1007/BF00244272
DO - 10.1007/BF00244272
M3 - Article
VL - 1
JO - Journal of Automated Reasoning
T2 - Journal of Automated Reasoning
JF - Journal of Automated Reasoning
SN - 0168-7433
IS - 3
ER -