dfs_probabilities.pl -- Probabilities

Probabilities of formulas given a set of models.

 dfs_prior_probability(+Vector, -PriorPr) is det

 dfs_prior_probability(+Formula, +ModelSet, -PriorPr) is det

dfs_prior_probability(+Formula, +ModelMatrix, -PriorPr) is det

Prior probability of P, where P is either a vector or a formula.

Pr(P) = sum_i(v_i(P)) / |M|

 dfs_conj_probability(+Vector1, +Vector2, -ConjPr) is det

 dfs_conj_probability(+Formula1, +Formula2, +ModelSet, -ConjPr) is det

dfs_conj_probability(+Formula1, +Formula2, +ModelMatrix, -ConjPr) is det

Conjunction probability of P and Q, where P and Q are either vectors or formulas.

Pr(P&Q) = sum_i(v_i(P&Q)) / |M|

 dfs_cond_probability(+Vector1, Vector2, -ConjPr) is det

 dfs_cond_probability(+Formula1, +Formula2, +ModelSet, -CondPr) is det

dfs_cond_probability(+Formula1, +Formula2, +ModelMatrix, -CondPr) is det

Conditional probability of P given Q, where P and Q are either vectors or formulas.

Pr(P|Q) = Pr(P&Q) / Pr(Q)

 dfs_inference_score(+Vector1, +Vector2, -Score) is det

 dfs_inference_score(+Formula1, +Formula2, +ModelSet, -Score) is det

dfs_inference_score(+Formula1, +Formula2, +ModelMatrix, -Score) is det

Inference score of P from Q, where P and Q are either vectors or formulas.

           | (Pr(P|Q) - Pr(P)) / (1 - Pr(P))    iff Pr(P|Q) > Pr(P)
inf(P,Q) = |
           | (Pr(P|Q) - Pr(P)) / Pr(P)          otherwise