 |
| |||
| forward chaining algorithm (от исходных посылок (от фактов, на которых будет основываться доказательство) к целевой гипотезе (цели, т.е. к тому, что нужно доказать) Alex_Odeychuk) | |||
|
алгоритм прямого логического вывода : 2 צירופים, 1 נושאים |
| בינה מלאכותית | 2 |