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

Research Paper #648

Title:Recovering Incidence Functions
Authors:Liu,W; Bundy,A; Robertson,DS
Date:Aug 1993
Presented:Short version: Proc. of ECSQUARU-93, Lecture Notes in Computer Science, Springer.
Abstract:In incidence calculus, inferences are usually made by calculating incidence sets and computing probabilities of formulae based on a given incidence function in an incidence calculus theory. Incidence functions are vital for performing any further inference. Without the existence of the case that numerical values are assigned on some formulae directly without giving the incidence function. This paper discusses how to recover incidence functions in these cases. The result can be used to calculate mass functions from belief functions in the Dempster-Shafer theory of evidence (or DS theory) and define probability spaces from inner measures (or lower bounds) or probabilities on the relevant propositional language set.

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