Logical Formalizations of Commonsense Reasoning: A Survey