forward chaining loop(прямой логический вывод осуществляется от исходных посылок (от фактов, на которых будет основываться доказательство) к целевой гипотезе (цели, т.е. к тому, что нужно доказать) Alex_Odeychuk)
recognize – act cycle(управленческий цикл в экспертных системах продукционного типа; в цикле выполняется сравнение образцов из рабочей памяти с условными частями продукционных правил в базе знаний Alex_Odeychuk)