Монотонний і немонотонний виводи

Всі факти, які з'являються в робочій області, - в базі даних, при монотонному виводі, при здійсненні виводу зберігаються до кінця виводу без змін. При цьому кількість дійсних фактів монотонно зростає.

При немонотонному виводі факти необов'язково зберігають істинність в процесі виводу. Наприклад, в завданнях планування - деякі первинні рішення визнаються неправильними, при цьому ЕС повинна змінити факти і вибрати інший хід міркувань. При цьому ЕС повинна прослідкувати і відмінити вплив змінених фактів на хід міркувань і врахувати нові знання. В цьому випадку зворотний ланцюжок міняється на пряму.

У системах з немонотонним виводом, користувач може переривати міркування, вносити нові факти і змінювати старі.

Немонотонний вивід успішніше реалізується в системах, де використовуються семантичні мережі та фрейми.

У семантичних мережах всі ланцюжки міркувань існують явно (тому зміна достатня просте), у фреймах для цієї мети застосовують активне значення.