Skip to main content

propagate_probabilities

tensorlogic_ir

Function propagate_probabilities 

Source 
pub fn propagate_probabilities(
    expr: &TLExpr,
    prob_map: &HashMap<String, ProbabilityInterval>,
) -> ProbabilityInterval
Expand description

Propagate probability intervals through a logical expression.

Given probability assignments to atomic predicates, computes probability bounds for the compound expression.