Theory Formation by Heuristic Search.

Douglas B. Lenat

Published in: Artif. Intell. (1983)

Keyphrases

heuristic search
state space
search algorithm
search space
constraint satisfaction
search strategies
search problems
automated planning
state space search
planning problems
heuristic function
ai planning
probabilistic planning
beam search
genetic algorithm
bidirectional search
hill climbing
forward search