| |||
| механизм прямого логического вывода (механизм логического вывода от исходных посылок (от фактов, на которых будет основываться доказательство) к целевой гипотезе (цели, т.е. к тому, что нужно доказать) Alex_Odeychuk) | |||
| |||
| машина прямого логического вывода (Alex_Odeychuk) | |||
|
forward- chaining inference engine : 2 phrases, 1 sujets |
| Intelligence artificielle | 2 |