A Proposal for the Dartmouth Summer Research Project on Artificial Intelligence