Skip to main content

mln_probability

Function mln_probability 

Source
pub fn mln_probability(
    _expr: &TLExpr,
    weights: &[(f64, TLExpr)],
    evidence: &HashMap<String, bool>,
) -> f64
Expand description

Compute probability of an expression under a Markov Logic Network (MLN) semantics.

MLN uses weighted rules where weight w corresponds to log-odds ratio. P(world) ∝ exp(∑ w_i * n_i) where n_i is number of groundings satisfied.