SLIDE 1
Predicate Exchange
Inference with Declarative Knowledge
Zenna Tavares Javier Burroni, Edgar Minasyan, Armando Solar Lezama, Rajesh Ranganath
Predicate Exchange Inference with Declarative Knowledge Zenna - - PowerPoint PPT Presentation
Predicate Exchange Inference with Declarative Knowledge Zenna - - PowerPoint PPT Presentation
Predicate Exchange Inference with Declarative Knowledge Zenna Tavares Javier Burroni, Edgar Minasyan, Armando Solar Lezama, Rajesh Ranganath Objective Objective Priors with constraints condition on balls not intersecting Inverse Graphics with
SLIDE 2
SLIDE 3
Objective
SLIDE 4
Priors with constraints
condition on balls not intersecting
SLIDE 5
Inverse Graphics with constraints
condition on balls not intersecting
SLIDE 6
Predicate Exchange
SLIDE 7
Convert predicates into soft predicates
Soft predicate represents degree to which hard predicate is satisfied
(x > y) ∨ ¬( = 2) → (x y) ( 2) x2 >̃ ∨̃ ¬̃ x2 =̃
SLIDE 8
Approximate Posterior
SLIDE 9
Temperature trades-off accuracy / convergence
SLIDE 10
Replica Exchange
SLIDE 11
Omega.jl: A Causal, Higher-Order PPL
github.com/zenna/Omega.jl
Poster #52
cond
causal inference higher-order inference
do rcd