| |||
Produktionsregel f (в экспертных системах) | |||
Inferenzregel f | |||
Ableitungsvorschrift | |||
Ableitungsregel f (ssn); Schlussregel f (ssn) | |||
| |||
Inferenzregel f | |||
Ableitungsregel f; Schlussregel f | |||
Русский тезаурус | |||
| |||
правило, определяющее переход от посылок к следствиям; более точно - правило, устанавливающее определенного вида соответствие между некоторой совокупностью высказываний формул, называемым посылками, и одним определенным высказыванием формулой, называемым логическим следствием из этих посылок. Большой Энциклопедический словарь |
правило вывода: 8 фраз в 3 тематиках |
Геология | 2 |
Майкрософт | 2 |
Программирование | 4 |