AI at 50: From Programs to Solvers - Models and Techniques for General Intelligence