Key Procedures to be Defined
- EXPAND
Generate all successor nodes of a given node
- GOAL-TEST
Test if state satisfies all goal conditions
- QUEUEING-FUNCTION
Used to maintain a ranked list of nodes that are candidates for
expansion
Different choices for these three functions lead to the different major types
of search.