Логика по умолчанию — это немонотонная логика, предложенная Раймондом Рейтером для формализации рассуждений с предположениями о по умолчанию. Логика по умолчанию может выражать такие факты, как «по умолчанию, что-то истинно»;напротив, стандартная логика может только выразить, что что-то истинно или что-то ложно.Это проблема, потому что рассуждения часто включают факты, которые истинны…