ωPAP Spaces: Reasoning Denotationally About Higher-Order, Recursive Probabilistic and Differentiable Programs.
Mathieu HuotAlexander K. LewVikash K. MansinghkaSam StatonPublished in: CoRR (2023)
Keyphrases
- higher order
- probabilistic logic
- logical inference
- probabilistic reasoning
- high order
- probabilistic knowledge
- natural images
- objective function
- pairwise
- knowledge base
- probabilistic logic programs
- generative model
- probabilistic model
- automated reasoning
- bayesian networks
- causal networks
- reasoning systems
- recursive programs
- markov random field
- theorem proving
- uncertain data
- low order
- conditional random fields
- loss function
- computer programs
- answer sets
- fixpoint
- maximum entropy
- reasoning about actions
- graphical models