 |
| |||
| inference rule; production | |||
| derivation rule (A rule to determine a classifier for classifying the financial consequences of an accounting event) | |||
| modus ponens (ssn) | |||
| deduction rule; rule of derivation; rewrite rule (ssn); rules of inference | |||
| production rule | |||
| derivation rule; rule of inference (логического) | |||
| |||
| inference rule | |||
| Russian thesaurus | |||
| |||
| правило, определяющее переход от посылок к следствиям; более точно - правило, устанавливающее определенного вида соответствие между некоторой совокупностью высказываний формул, называемым посылками, и одним определенным высказыванием формулой, называемым логическим следствием из этих посылок. Большой Энциклопедический словарь | |||
| правило вывода: 22 phrases in 9 subjects |
| Artificial intelligence | 4 |
| Automated equipment | 1 |
| Computers | 1 |
| Electronics | 2 |
| Information technology | 3 |
| Linguistics | 1 |
| Makarov | 4 |
| Microsoft | 2 |
| Programming | 4 |