немонотонный вывод. Способ вывода, при котором истинность выведенных высказываний может уменьшаться. Например, утверждения, признанные истинными на одном этапе, могут быть быть отвергнуты в дальнейшем.
NONMONOTONIC REASONING
Англо-русский перевод NONMONOTONIC REASONING
English-Russian dictionary of computers . Англо-Русский словарь по компьютерам. 2012