General Problem Solver

Assume a current state $C$ and goal state $S$, define a difference/distance between the 2 states $d$. With previously known operator $o$, a transition can be made from $C$ to an intermediate state $I$.

• GPS: subgoaling
• universal subgoaling
• problem space