 |
| |||
| правила вывода | |||
| правила логических выводов (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: 26 phrases in 9 subjects |
| Artificial intelligence | 4 |
| Computers | 1 |
| Information technology | 4 |
| Linguistics | 3 |
| Logic | 2 |
| Makarov | 1 |
| Mathematics | 2 |
| Programming | 8 |
| Technology | 1 |