OptTyper: Probabilistic Type Inference by Optimising Logical and Natural Constraints.
Irene Vlassi PandiEarl T. BarrAndrew D. GordonCharles SuttonPublished in: CoRR (2020)
Keyphrases
- probabilistic logic
- bayesian networks
- inference process
- probabilistic reasoning
- belief networks
- probabilistic inference
- probabilistic networks
- probabilistic model
- bayes nets
- bayesian reasoning
- linear constraints
- logical inference
- probabilistic knowledge
- bayesian inference
- generative model
- consistency checking
- markov logic networks
- real world
- graphical models
- representing knowledge
- abductive reasoning
- factor graphs
- global constraints
- constrained optimization
- bayesian model
- man made
- probability theory