wiki #default-logic #default-logic 1 page tagged with "default-logic" reasoning defeasible arguments — non-monotonic reasoning - rational inferences that can be overturned by new information back to wiki