NONMONOTONIC REASONING

немонотонный вывод. способ вывода, при котором истинность выведенных высказываний может уменьшаться. например, утверждения, признанные истинными на одном этапе, могут быть быть отвергнуты в дальнейшем