Default logic is a form of non-monotonic logic used to formalize reasoning with default assumptions. It allows conclusions to be drawn in the absence of contrary evidence and revised when new information invalidates an assumption.
A non-monotonic logic proposed by Raymond Reiter to formalize reasoning with default assumptions.