Combining Logical and Probabilistic Reasoning.
Michael GelfondJ. Nelson RushtonWeijun ZhuPublished in: AAAI Spring Symposium: Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering (2006)
Keyphrases
- probabilistic reasoning
- probabilistic logic
- probabilistic knowledge
- bayesian networks
- reasoning under uncertainty
- probabilistic inference
- first order logic
- belief networks
- bayesian logic programs
- constraint satisfaction
- automated reasoning
- default reasoning
- knowledge representation
- statistical relational learning
- training data
- inductive logic programming
- logic programming
- graphical models
- markov logic networks
- objective function
- neural network