La lógica por defecto es una lógica no monotónica propuesta por Raymond Reiter para formalizar el razonamiento con hipótesis por defecto.