The question of what type of reasoning should be done inside a computer is crucial in AI. While humans cannot describe their own reasoning processes, various styles of reasoning need to be done inside a computer depending on the problem at hand, with abstractions playing a critical role.