The mechanism of drawing defeasible conclusions from typical or presumptive information in the absence of contrary evidence; conclusions hold by default until contradicted.

Principle

Default rules express normalcy with an applicability condition and a consequent; conflict resolution is achieved by specificity, ranking, or consistency checks so that exceptions block default application.

Demonstration

Given the default rule 'Typically, birds fly', an agent infers 'bird b flies' when only 'b is a bird' is known; if later told 'b is a penguin', the default is blocked and the inference is retracted.

Misapplication

Applying defaults when explicit information about exceptions exists, or indiscriminately chaining incompatible defaults without mechanisms for conflict resolution, leading to unsound or irrelevant conclusions.

Consequence

Enables compact knowledge representations and plausible inference under incomplete information, making systems behave sensibly in routine situations without exhaustive exception lists.

Reversal

Strict logical inference with no default rules: only conclusions that follow deductively from premises are accepted; typicality-based assumptions are disallowed.

Boundary

Covers formal frameworks that encode defaults (Reiter-style default logic, defeasible rule systems, prioritized defaults); does not equate to statistical generalization or probability assignments, though it can be combined with them.

Semantic Tension

Tension between default conclusions (categorical but retractable) and probabilistic generalizations (graded likelihoods); also tension with rule-based normative systems where exceptions are explicit obligations rather than defeasible facts.

Synthesis

Default reasoning is the practice of applying typicality-laden rules to derive plausible conclusions in the absence of counterevidence, governed by priorities and blocking conditions to manage exceptions.