English | Russian |
according to formal rules | по формальным правилам (Alex_Odeychuk) |
frame rule | правило фрейма (Ключевым для локальных рассуждений является введённое О’Хирном правило фрейма, в котором никакая свободная переменная не изменяется под влиянием команды. Alex_Odeychuk) |
rule of inference | правило умозаключения |
rule out a possibility that | исключить вероятность того, что (financial-engineer) |
set of inference rules | формальная система (Alex_Odeychuk) |