Formalizing common sense - McCarthy, John 1927-2011 (Ablex series in artificial intelligence, 1990)