A formal analysis of why heuristic functions work.
B. John OommenLuís G. RuedaPublished in: Artif. Intell. (2005)
Keyphrases
- formal analysis
- heuristic functions
- search methods
- heuristic search
- dynamic programming
- heuristic function
- search algorithm
- prune the search space
- search space
- optimal planning
- evaluation function
- planning domains
- formal methods
- agent model
- causal graph
- state space
- expert systems
- pattern databases
- ban logic
- search tree
- admissible heuristics
- metaheuristic
- genetic algorithm
- search strategies
- orders of magnitude
- artificial intelligence