Encoding HTN Heuristics in PDDL Planning Instances - (Extended Abstract).
Christoph MiesJoachim HertzbergPublished in: KI (2013)
Keyphrases
- extended abstract
- planning domains
- planning systems
- planning problems
- ai planning
- planning tasks
- optimal planning
- htn planning
- classical planning
- heuristic search
- hierarchical task network
- macro operators
- control knowledge
- search strategies
- domain independent
- hierarchical task networks
- orders of magnitude
- planning process
- planning graph
- temporal planning
- integer linear programming formulation
- state space
- domain independent planning
- search procedures
- derived predicates
- partial order planning
- action models
- search algorithm
- definition language
- sat encodings
- model checking
- timetabling problem
- mutual exclusion
- search strategy
- forward search
- domain specific
- constraint satisfaction
- search space
- temporally extended
- partially observable
- heuristic function
- optimal solution