Atomic Worlds
Possible worlds are indivisible “atoms”
n e.g., states in a search algorithm
Algorithms must treat worlds as black boxes
n e.g., access only via goal test, successor function
Enumeration is all you can do!
Size of chess game tree 10150 states