The University of Edinburgh -
Division of Informatics
Forrest Hill & 80 South Bridge

Research Paper #497

Title:Incidence Calculus
Date: 1990
Presented:Commissioned by the Encyclopedia of Artificial Intelligence
Abstract: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.

[Search These Pages] [DAI Home Page] [Comment]