Terms containing inference rules

Subject	English	Russian
ling.	belief-inference rule	правило вывода из системы убеждений
progr.	case of derived rules of inference	случай производных правил вывода (ssn)
comp.	compositional inference rule	композиционное правило вывода
IT	compositional rule of inference	обобщённый утверждающий модус (условно-категорического силлогизма ssn)
IT	compositional rule of inference	композиционное правило умозаключения (ssn)
AI.	conclusions derived out of inference rules	выводы, полученные на основе правил логического вывода (Alex_Odeychuk)
progr.	derived rule of inference	производное правило вывода (ssn)
progr.	derived rules of inference	производные правила вывода (ssn)
AI.	follow the rules of inference	следовать правилам логического вывода (Alex_Odeychuk)
progr.	formal system of axioms and inference rules	формальная система аксиом и правил вывода (ssn)
AI.	forward and backward chaining inference based rules engine	машина обработки правил с прямым и обратным логическим выводом (Alex_Odeychuk)
AI.	inference rule	импликация (в экспертной системе Alex_Odeychuk)
AI.	inference rule	продукционное правило (represents behaviors of the type IF condition THEN action Alex_Odeychuk)
progr.	inference rule	правило логического вывода (ssn)
AI.	inference rule	правило вывода
microel.	inference rule	дедуктивное правило
robot.	inference rule	правило логического вывода
automat.	inference rule	правило умозаключений (на основе фактов)
philos.	inference rule	правило умозаключения (Alex_Odeychuk)
IT	inference rules	правила вывода
progr.	inference rules	правила логических выводов (ssn)
progr.	inference rules assigning types to terms	правила вывода, присваивающие термам типы (ssn)
progr.	number of inference rules in the type system	количество правил выведения типов в системе типов (Alex_Odeychuk)
AI.	research on inference rules	научные исследования в области правил логического вывода (Alex_Odeychuk)
tech.	rule of inference	правило вывода (логического)
Gruzovik, logic	rule of inference	правило умозаключения
Makarov.	rule of inference	правило логического вывода
IT	rule of logical inference	правило логического вывода (ssn)
ling.	rule of situational inference	правила ситуационного вывода
math.	rules of inference	правила вывода (м. лог.)
ling.	rules of inference	правила вывода
math.	rules of inference	правило вывода
progr.	set of inference rules	набор правил вывода (Alex_Odeychuk)
logic	set of inference rules	формальная система (Alex_Odeychuk)
progr.	set of inference rules assigning types to terms	набор правил вывода, присваивающих термам типы (ssn)