ProbabilisticCircuits.jl icon indicating copy to clipboard operation
ProbabilisticCircuits.jl copied to clipboard

Expectation of logical formula over a probabilistic circuits

Open khosravipasha opened this issue 4 years ago • 1 comments

  1. Given Logical Formula, and a psdd (pc, vtree)
  2. Compile it to a smooth logical circuit with the same vtree
  3. Compute Expectation of logical circuit w.r.t. the pc.

Other options could be

  1. Given a logical Formula
  2. Compile it to a smooth struct decomasable logical cirucit, and get the vtree.
  3. Learn a PC abiding the vtree
  4. Compute Expectation

khosravipasha avatar Apr 06 '20 19:04 khosravipasha

For general usecase waiting on: https://github.com/Juice-jl/LogicCircuits.jl/issues/43

khosravipasha avatar Nov 07 '20 05:11 khosravipasha