forward-chaining | logic programming language
| logic programming language abbr. | |
| progr. | язык логического программирования |
| |||
| с прямым логическим выводом (логический вывод в экспертной системе от исходных посылок (от фактов, на которых будет основываться доказательство) к целевой гипотезе (цели, т.е. к тому, что нужно доказать) Alex_Odeychuk) | |||
| прямая цепочка заключений; прямое логическое умозаключение (в экспертной системе) | |||
| прямой поиск | |||
| использование метода "от событий к цели" | |||
| прямая цепочка рассуждений; вывод "от фактов к цели"; прямое построение цепочки (напр., рассуждений от исходных посылок к целевой гипотезе); прямой логический вывод (в экспертных системах); индуктивный вывод; прямой логический вывод (в экспертных системах) | |||
| прямая цепочка логического вывода (один из методов поиска решения в экспертных системах. Ход рассуждений ведётся от фактов к цели (тому, что нужно доказать) ssn); использование прямой цепочки умозаключений (ssn) | |||
| |||
| с прямым логическим выводом (от исходных посылок (от фактов, на которых будет основываться доказательство) к целевой гипотезе (цели, т.е. к тому, что нужно доказать) Alex_Odeychuk) | |||
|
forward-chaining : 18 phrases in 3 subjects |
| Artificial intelligence | 15 |
| Automated equipment | 2 |
| Programming | 1 |