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