Немонотонная (или побеждающая) логика включает формализмы, разработанные для отражения механизмов, лежащих в основе подобных примеров. См. отдельную запись о логике и искусственном интеллекте, которая посвящена немонотонным рассуждениям, а также рассуждениям о времени и изменениях. Здесь также представлена история первых дней развития ИИ на основе логики, в которой ясно показан вклад тех, кто основал эту традицию (например, Джона Маккарти и Пэта Хейса; см. их основополагающую статью 1969 года).