Thumbnail
Access Restriction
Open

Author Liu, W.
Source CiteSeerX
Content type Text
File Format PDF
Subject Domain (in DDC) Computer science, information & general works ♦ Data processing & computer science
Subject Keyword Incidence Propagation Method ♦ Possible World ♦ Incidence Set ♦ Incidence Calculus ♦ Coherent Set ♦ Large Set ♦ Way Incidence Set ♦ Probabilistic Logic ♦ Formula Relies ♦ Extended Incidence Calculus ♦ Propositional Logic
Abstract Incidence calculus is a probabilistic logic developed from propositional logic which associates probabilities with sets of possible worlds rather than with formulae directly. The probability of a formula is de ned as the probability of the set of possible worlds in which this formula is true. This set of possible worlds is named as the incidence set of this formula. So the task of calculating probabilities of formulae relies on the task of obtaining incidence sets for formulae. In this paper, we present an approach for manipulating incidences in extended incidence calculus in the situation that the language set is large. We will show how to decompose this large set into small, but coherent sets and then how to propagate incidences among these sets. In this way incidence sets can be calculated eciently.
Educational Role Student ♦ Teacher
Age Range above 22 year
Educational Use Research
Education Level UG and PG ♦ Career/Technical Study