An introduction to issues surrounding machine intelligence. General topics include knowledge representation, searching, reasoning, learning, and planning. Specific problems drawn from areas including computer game playing, theorem proving, natural language processing, expert systems, and robotics will be addressed. Programming projects in Scheme, Prolog, or related languages are required. Prerequisites: CS 210 , CS 270 , MATH 250 . (Group II)