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. |

Keywords: | |

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. |

Download: | POSTSCRIPT COPY |