TY - GEN
T1 - Recovering Incedence Functions
AU - Liu, Weiru
AU - Bundy, Alan
AU - Robertson, David Stuart
PY - 1993
Y1 - 1993
N2 - In incidence calculus, inferences usually are made by calculating incidence sets and probabilities of formulae based on a given incidence function in an incidence calculus theory. However it is still 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) of probabilities on the relevant propositional language set.
AB - In incidence calculus, inferences usually are made by calculating incidence sets and probabilities of formulae based on a given incidence function in an incidence calculus theory. However it is still 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) of probabilities on the relevant propositional language set.
U2 - 10.1007/BFb0028206
DO - 10.1007/BFb0028206
M3 - Conference contribution
SN - 978-3-540-57395-1
T3 - Lecture Notes in Computer Science
SP - 241
EP - 248
BT - Symbolic and Quantitative Approaches to Reasoning and Uncertainty
PB - Springer Berlin Heidelberg
CY - London, UK, UK
ER -