The Method of Assigning Incidences

W. Liu, D. McBryan, Alan Bundy

Research output: Contribution to journalArticlepeer-review


Incidence calculus is a probabilistic logic in which incidences, standing for the situations in which formulae may be true, are assigned to some formulae, and probabilities are assigned to incidences. However, numerical values may be assigned to formulae directly without specifying the incidences. In this paper, we propose a method of discovering incidences under these circumstances which produces a unique output comparing with the large number of outputs from other approaches. Some theoretical aspects of this method are thoroughly studied and the completeness of the result generated from it is proved. The result can be used to calculate mass functions from belief functions in the Dempster-Shafer theory of evidence (DS theory) and define probability spaces from inner measures (or lower bounds) of probabilities on the relevant propositional language set.
Original languageEnglish
JournalApplied Intelligence
Issue number2
Publication statusPublished - Sep 1998

Fingerprint Dive into the research topics of 'The Method of Assigning Incidences'. Together they form a unique fingerprint.

Cite this