Heuristics for Planning with SAT and Expressive Action Definitions.
Jussi RintanenPublished in: ICAPS (2011)
Keyphrases
- classical planning
- heuristic search
- search algorithm
- stochastic local search algorithms
- sat encodings
- initial state
- planning problems
- sat solving
- planning tasks
- action selection
- sensing actions
- heuristic function
- domain independent planning
- derived predicates
- plan execution
- variable ordering
- propositional satisfiability
- forward search
- search procedures
- satisfiability problem
- search strategies
- domain independent
- enforced hill climbing
- control knowledge
- sat solvers
- international planning competition
- action sequences
- state space
- ai planning
- optimal planning
- concurrent actions
- stochastic local search
- planning systems
- solving hard
- search problems
- macro operators
- plan quality
- external events
- constraint satisfaction
- durative actions
- propositional logic
- situation calculus
- partial plans
- knowledge representation languages
- orders of magnitude
- action selection mechanism
- planning graph