Terms for subject Artificial intelligence containing current to current

English	Russian
be proven to be true with current knowledge	быть доказанным в качестве истинного на основе имеющихся знаний (Alex_Odeychuk)
forward chaining algorithm for selecting productions to execute to meet current goals	алгоритм прямого логического вывода для выбора и запуска на выполнение продукционных правил, соответствующих текущим целям (Alex_Odeychuk)