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