Terms containing inference rules

Subject	English	Russian
ling.	belief-inference rule	правило вывода из системы убеждений
comp.	compositional inference rule	композиционное правило вывода
AI.	conclusions derived out of inference rules	выводы, полученные на основе правил логического вывода (Alex_Odeychuk)
progr.	formal system of axioms and inference rules	формальная система аксиом и правил вывода (ssn)
AI.	inference rule	импликация (в экспертной системе Alex_Odeychuk)
microel.	inference rule	дедуктивное правило
AI.	inference rule	продукционное правило (represents behaviors of the type IF condition THEN action Alex_Odeychuk)
AI.	inference rule	правило вывода
automat.	inference rule	правило умозаключений (на основе фактов)
robot.	inference rule	правило логического вывода
progr.	inference rule	правило логического вывода (ssn)
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)
progr.	set of inference rules	набор правил вывода (Alex_Odeychuk)
logic	set of inference rules	формальная система (Alex_Odeychuk)
progr.	set of inference rules assigning types to terms	набор правил вывода, присваивающих термам типы (ssn)