NONMONOTONIC REASONING

немонотонный вывод. способ вывода,

при котором истинность выведенных

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

быть отвергнуты в дальнейшем