Keyphrases
- state space
- heuristic search
- planning problems
- stochastic domains
- planning tasks
- macro actions
- classical planning
- forward search
- heuristic function
- reinforcement learning
- goal state
- belief space
- markov chain
- optimal policy
- dynamic programming
- dynamical systems
- markov decision processes
- ai planning
- database
- belief state
- concurrency control
- markov decision problems
- modal logic
- multi valued
- partially observable
- classical logic
- orders of magnitude
- planning systems
- planning graph
- machine learning
- mobile robot
- decision support
- asynchronous circuits
- logic programming
- initial state
- planning domains
- pattern databases
- domain independent
- particle filter
- proof theory
- logical framework
- search space
- linear temporal logic
- action selection