Formalizing common sense: papers by John McCarthy McCarthy, John Popularity → Current 18 Peak 35 Niche 65 Intellect 1998 256 pages