Problem-Solving in AI