Inference for a New Probabilistic Constraint Logic.
Steffen MichelsArjen HommersomPeter J. F. LucasMarina VelikovaPieter W. M. KoopmanPublished in: IJCAI (2013)
Keyphrases
- logical inference
- probabilistic logic
- bayesian networks
- probabilistic reasoning
- inference process
- abductive reasoning
- inference mechanism
- belief networks
- probabilistic networks
- probability theory
- probabilistic model
- deductive reasoning
- modal logic
- generative model
- bayes nets
- automated reasoning
- statistical relational learning
- probabilistic knowledge
- bayesian reasoning
- probabilistic inference
- classical logic
- factor graphs
- linear constraints
- theorem proving
- bayesian inference
- constraint language
- soft constraints
- message passing
- uncertain data
- posterior probability