Problem solving in AI