A Proposal for the Dartmouth Summer Research Project on Artficial Intelligence