Russian | English |
алгоритм прямого логического вывода для выбора и запуска на выполнение продукционных правил, соответствующих текущим целям | forward chaining algorithm for selecting productions to execute to meet current goals (Alex_Odeychuk) |
использоваться для доказательства цели | be used for proving a goal (из кн.: Люгер Дж.Ф. Искусственный интеллект: стратегии и методы решения сложных проблем / Пер. с англ Alex_Odeychuk) |