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


Research Paper #497

Title:Incidence Calculus
Authors:Bundy,A
Date: 1990
Presented:Commissioned by the Encyclopedia of Artificial Intelligence
Keywords:
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.
Download:POSTSCRIPT COPY


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