Exploiting macro-actions and predicting plan length in planning as satisfiability.
Alfonso Emilio GereviniAlessandro SaettiMauro VallatiPublished in: AI Commun. (2015)
Keyphrases
- macro actions
- planning domains
- plan library
- plan recognition
- planning problems
- temporally extended
- ai planning
- markov decision processes
- orders of magnitude
- reinforcement learning
- plan generation
- model checking
- state space
- predictive model
- computational complexity
- decision theoretic planning
- search strategies
- planning systems
- sat encodings
- domain independent
- plan execution
- optimal planning
- decision theoretic
- neural network
- case based planning
- learned knowledge
- partially observable