 |
| |||
| правила вывода | |||
| правила логических выводов (ssn) | |||
| |||
| правило умозаключений (на основе фактов) | |||
| импликация (в экспертной системе Alex_Odeychuk); продукционное правило (represents behaviors of the type IF condition THEN action Alex_Odeychuk); правило вывода | |||
| дедуктивное правило | |||
| правило логического вывода (ssn) | |||
| правило логического вывода | |||
| правило умозаключения (Alex_Odeychuk) | |||
| Английский тезаурус | |||
| |||
| deduction rule (ssn); derivation rule (ssn); rule of derivation (ssn); rule of inference (ssn) | |||
|
inference rules : 27 фраз в 9 тематиках |
| Информационные технологии | 3 |
| Искусственный интеллект | 5 |
| Компьютеры | 1 |
| Лингвистика | 3 |
| Логика | 3 |
| Макаров | 1 |
| Математика | 2 |
| Программирование | 8 |
| Техника | 1 |