Exploiting Macro-actions and Predicting Plan Length in Planning as Satisfiability.
Alfonso GereviniAlessandro SaettiMauro VallatiPublished in: AI*IA (2011)
Keyphrases
- macro actions
- planning domains
- plan library
- plan recognition
- temporally extended
- markov decision processes
- planning problems
- ai planning
- orders of magnitude
- reinforcement learning
- state space
- plan generation
- classical planning
- domain independent
- predictive model
- plan execution
- planning systems
- search strategies
- decision theoretic
- computational complexity
- planning process
- model checking
- learning algorithm
- sat encodings
- machine learning methods