The intelligent computer. Description matching and goal reduction. Exploiting natural constraints. Exploring alternatives. Control metaphors. Problem-solving paradigms. Logic and theorem proving. Representing commonsense knowledge. Language understanding. Image understanding. Learning class descriptions from samples. Learning rules from experience. Bibliography.