Mixed Logical Inference and Probabilistic Planning for Robots in Unreliable Worlds.
Shiqi ZhangMohan SridharanJeremy L. WyattPublished in: IEEE Trans. Robotics (2015)
Keyphrases
- probabilistic planning
- logical inference
- theorem proving
- planning problems
- heuristic search
- planning under uncertainty
- probabilistic inference
- markov decision processes
- logical structure
- knowledge compilation
- markov decision process
- multi agent
- decision theoretic
- finite automata
- infinite horizon
- hill climbing
- theorem prover
- random walk