Inteligência artificial e teoria de resolução de problemas