Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

Expectation of logical formula over a probabilistic circuits #5

Open
khosravipasha opened this issue Apr 6, 2020 · 1 comment
Open

Expectation of logical formula over a probabilistic circuits #5

khosravipasha opened this issue Apr 6, 2020 · 1 comment
Milestone
Version 0.3

Comments

@khosravipasha
Copy link
Contributor

khosravipasha commented Apr 6, 2020 •
edited
Loading

  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 khosravipasha added this to the Version 0.2 milestone Apr 6, 2020
@khosravipasha khosravipasha self-assigned this Apr 6, 2020
@khosravipasha khosravipasha changed the title Expectation of logical circuit over a probabilistic circuits Expectation of logical formula over a probabilistic circuits Jul 25, 2020
@khosravipasha khosravipasha modified the milestones: Version 0.2, Version 0.3 Oct 24, 2020
@khosravipasha
Copy link
Contributor Author

For general usecase waiting on:
Tractables/LogicCircuits.jl#43

@khosravipasha khosravipasha removed their assignment Jun 4, 2022
# for free to join this conversation on GitHub. Already have an account? # to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
Version 0.3
Development

No branches or pull requests
1 participant
@khosravipasha