Pātuhitia tēnei: Nonmonotonic reasoning logical foundations of commonsense/