Abstract Interpretation for Generalized Heuristic Search in Model-Based Planning.
Tan Zhi-XuanJoshua B. TenenbaumVikash K. MansinghkaPublished in: CoRR (2022)
Keyphrases
- heuristic search
- abstract interpretation
- planning problems
- termination analysis
- search algorithm
- automated planning
- forward search
- state space
- ai planning
- search space
- state space search
- static analysis
- search problems
- path finding
- heuristic search algorithms
- optimal planning
- heuristic function
- temporally extended goals
- classical planning
- active rules
- pattern databases
- active databases
- plan quality
- search strategies
- bidirectional search
- planning graph
- database
- planning tasks
- reasoning engine
- orders of magnitude
- logic programming