Problem Solving in AI