problem solving in artificial intelligen