Formal Theories of the Commonsense World (Ablex Series in Artificial Intelligence)