|
Катериненко, А. С. Метод ускорения логического вывода и продукционной модели знаний [Текст] / А. С. Катериненко, И. А. Бессмертный // Программирование. – 2011. – № 3. – С. 76-80.
Рассматривается проблема комбинаторной сложности логического вывода в базах знаний, построенных на основе продукционной модели. |