Логика по умолчанию — это форма немонотонной логики, используемая для формализации рассуждений с предположениями по умолчанию. Она позволяет делать выводы при отсутствии противоположных доказательств и пересматривать их, когда новая информация делает предположение недействительным.
A non-monotonic logic proposed by Raymond Reiter to formalize reasoning with default assumptions.