Mixed Logical and Probabilistic Reasoning for Planning and Explanation Generation in Robotics.
Zenon ColacoMohan SridharanPublished in: CoRR (2015)
Keyphrases
- probabilistic reasoning
- probabilistic logic
- reasoning under uncertainty
- abductive reasoning
- probabilistic knowledge
- bayesian networks
- first order logic
- bayesian logic programs
- automated reasoning
- default reasoning
- constraint satisfaction
- belief networks
- probabilistic inference
- knowledge representation
- computer vision
- logic programming
- markov logic networks
- artificial intelligence
- heuristic search
- statistical relational learning
- relational databases
- qualitative probabilistic networks
- graphical models