| |||
| правила вывода | |||
| правила логических выводов (ssn) | |||
| |||
| импликация (в экспертной системе Alex_Odeychuk); продукционное правило (represents behaviors of the type IF condition THEN action Alex_Odeychuk); правило вывода | |||
| правило умозаключений (на основе фактов) | |||
| дедуктивное правило | |||
| правило умозаключения (Alex_Odeychuk) | |||
| правило логического вывода (ssn) | |||
| правило логического вывода | |||
| English thesaurus | |||
| |||
| deduction rule (ssn); derivation rule (ssn); rule of derivation (ssn); rule of inference (ssn) | |||
|
inference rules : 27 phrases in 9 subjects |
| Artificial intelligence | 5 |
| Computers | 1 |
| Information technology | 3 |
| Linguistics | 3 |
| Logic | 3 |
| Makarov | 1 |
| Mathematics | 2 |
| Programming | 8 |
| Technology | 1 |