Non-monotonic reasoning formalization of commonsense reasoning - Łukaszewicz, Witold 1947- (Horwood, 1990)