forward chaining algorithm (от исходных посылок (от фактов, на которых будет основываться доказательство) к целевой гипотезе (цели, т.е. к тому, что нужно доказать) Alex_Odeychuk)

алгоритм прямого логического вывода

: 2 phrases in 1 subject

Artificial intelligence