search

ML-KULeuven / problog

ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.
https://dtai.cs.kuleuven.be/problog/
298 stars 34 forks source link

Used SDD instead of XSDD for query(true). #35

Closed VincentDerk closed 4 years ago

VincentDerk commented 4 years ago

query(True) with NSP should go over all possible models (smoothing) but take into account the evidence and constraints. The evidence_weight is the WMC of the evidence_node which was conjoined with the constraint node.

codecov-io commented 4 years ago

Codecov Report

Merging #35 into develop will decrease coverage by 0.05%. The diff coverage is 100%.

Impacted file tree graph

@@             Coverage Diff             @@
##           develop      #35      +/-   ##
===========================================
- Coverage    51.92%   51.86%   -0.06%     
===========================================
  Files           85       85              
  Lines        18386    18384       -2     
===========================================
- Hits          9547     9535      -12     
- Misses        8839     8849      +10
Impacted Files Coverage Δ
problog/sdd_formula.py 70.21% <100%> (-0.15%) :arrow_down:
problog/tasks/sample.py 37.38% <0%> (-1.85%) :arrow_down:

Continue to review full report at Codecov.

Legend - Click here to learn more Δ = absolute <relative> (impact), ø = not affected, ? = missing data Powered by Codecov. Last update 397a6cb...600d03d. Read the comment docs.