pub fn mln_probability(
_expr: &TLExpr,
weights: &[(f64, TLExpr)],
evidence: &HashMap<String, bool>,
) -> f64Expand 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.