Немонотонный вывод

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