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