Subject | English | Russian |
math. | chaining algorithm | зацепления алгоритм |
AI. | forward chaining algorithm | алгоритм прямого логического вывода (от исходных посылок (от фактов, на которых будет основываться доказательство) к целевой гипотезе (цели, т.е. к тому, что нужно доказать) Alex_Odeychuk) |
AI. | forward chaining algorithm for selecting productions to execute to meet current goals | алгоритм прямого логического вывода для выбора и запуска на выполнение продукционных правил, соответствующих текущим целям (Alex_Odeychuk) |