Logical formalizations of commonsense reasoning : papers from the AAAI Spring Symposium