Не монотонность при выводе — свойство, характерное для вывода в открытой формальной системе и в открытой базе знаний и состоящее в том, что ранее выведенные утверждения могут перестать быть выводимыми при появлении новых фактов.
[Толковый словарь по искусственному интеллекту / Авторы-составители А.Н. Аверкин, М.Г. Гаазе-Рапопорт, Д.А. Поспелов. М.: Радио и связь, 1992. — 256 с.]