La logique par défaut est une logique non monotone proposée par Raymond Reiter pour formaliser le raisonnement avec les hypothèses par défaut.