  McCarthy’s long-term objective was to formalize common sense reasoning, the prescientific reasoning that is used in dealing with everyday problems. An early example of such a problem, mentioned in  McCarthy 1959,  is getting from home to the airport. Other examples include: