Logical Formalizations of Commonsense Reasoningby Association for the Advancement of Artificial Intelligence2011