ProbabilisticCircuits.jl
ProbabilisticCircuits.jl copied to clipboard
Expectation of logical formula over a probabilistic circuits
- Given Logical Formula, and a psdd (pc, vtree)
- Compile it to a smooth logical circuit with the same vtree
- Compute Expectation of logical circuit w.r.t. the pc.
Other options could be
- Given a logical Formula
- Compile it to a smooth struct decomasable logical cirucit, and get the vtree.
- Learn a PC abiding the vtree
- Compute Expectation
For general usecase waiting on: https://github.com/Juice-jl/LogicCircuits.jl/issues/43