wiki#default-logic#default-logic1page tagged with "default-logic"reasoningdefeasible arguments— non-monotonic reasoning - rational inferences that can be overturned by new informationback to wiki