A proposal for the dartmouth summer research project on artificial intelligence - McCarthy, J; Minsky, M L; Rochester, N; Shannon, C E (AI Mag, 2006)