Critical Issues in Nonmonotonic Reasoning