Terms for subject Programming containing inference

English	Russian
abductive inference	абдуктивное умозаключение (ssn)
adaptive neuro-fuzzy inference system	нейронная сеть с архитектурой ANFIS (ssn)
adaptive neuro-fuzzy inference system	нечёткая адаптивная нейронная сеть с умозаключением по алгоритму Цукамото (сокр. ANFIS ssn)
case of derived rules of inference	случай производных правил вывода (ssn)
chain inference	вывод из цепочки суждений (ssn)
Damas-Milner type inference algorithm	алгоритм вывода типов Дамаса-Милнера (Alex_Odeychuk)
derived rule of inference	производное правило вывода (ssn)
derived rules of inference	производные правила вывода (ssn)
drawing inferences	получение информации (ssn)
drawing inferences from measurement data	получение информации по результатам измерений (ssn)
during the inference engine execution	во время выполнения машины логического вывода (Alex_Odeychuk)
exploit reflection and type inference	использовать отражение и вывод типов (Alex_Odeychuk)
extend type inference to declarations of local variables with initializers	распространить вывод типов на объявления локальных переменных с инициализаторами (InfoWorld, USA Alex_Odeychuk)
formal system of axioms and inference rules	формальная система аксиом и правил вывода (ssn)
fuzzy inference	нечёткое умозаключение (ssn)
grammatical inference	индуктивное умозаключение (ssn)
inference by intuition	вывод по интуиции (ssn)
inference engine	блок программы, реализующий извлечение правил напр. из баз данных и построение умозаключений (часть экспертной системы ssn)
inference engine	машина вывода (часть экспертной системы ssn)
inference engine	механизм (метод) логического вывода (машина логического вывода; в ИИ – часть экспертной системы, которая соотносит информацию от пользователя с известными фактами и правилами вывода, хранящимися в базе знаний, и вырабатывает результат, на котором затем основывается решение, предлагаемое экспертной системой. Обычно активизируется оболочкой ЭС ssn)
inference programming	программирование логического вывода
inference programming	программирование вывода (ssn)
inference rule	правило логического вывода (ssn)
inference rules	правила логических выводов (ssn)
inference rules assigning types to terms	правила вывода, присваивающие термам типы (ssn)
inference step	шаг вывода (ssn)
knowledge-based inference	вывод, основанный на знаниях (ssn)
local variable-type inference	вывод типов локальных переменных (Alex_Odeychuk)
logical inference	логическое умозаключение (ssn)
logical inferences per second	число логических умозаключений за секунду (характеристика быстродействия напр., экспертных систем ssn)
non-resolution inference	нерезолютивный вывод (ssn)
number of inference rules in the type system	количество правил выведения типов в системе типов (Alex_Odeychuk)
order in which inferences are drawn	порядок, в котором делаются логические выводы (ssn)
parallel inference	параллельный вывод (напр., машина параллельного вывода ssn)
parameter inference	вывод типов (напр., при передаче анонимной функции другой функции или методу Scala автоматически выводит типы, когда это возможно ssn)
probabilistic inference	вероятностный логический вывод (Alex_Odeychuk)
set of inference rules	набор правил вывода (Alex_Odeychuk)
set of inference rules assigning types to terms	набор правил вывода, присваивающих термам типы (ssn)
static type inference	статический вывод типа (ssn)
through type inference	с использованием вывода типов (Alex_Odeychuk)
type inference	выведение типа (ssn)
type inference	вывод типов (возможность компилятора самому логически вывести тип значения у выражения. Вывод типов не только сокращает размер исходного кода и повышает его лаконичность, но и нередко повышает повторное использование кода; Microsoft Alex_Odeychuk)
type inference	вывод типа (ssn)
type inference algorithm	алгоритм вывода типов (Alex_Odeychuk)
type inference and polymorphic functions	выведение типа и полиморфные функции (ssn)
type inference for immutable variables	вывод типов неизменяемых переменных (IBM Alex_Odeychuk)
type inference for integer literals	выведение типов целочисленных литералов (Alex_Odeychuk)
type inference for object literals	вывод типов объектных литералов (Alex_Odeychuk)
type inference for the arguments of a closure	вывод типов аргументов замыкания (IBM Alex_Odeychuk)
type inference for the arguments of a closure	вывод типов аргументов замыкания (Alex_Odeychuk)
type, mode, and determinism inference	вывод типов, режима передачи параметров и детерминизма предикатов (University of Melbourne, Австралия Alex_Odeychuk)
type, mode, and determinism inference	вывод типов, режима передачи параметров и детерминизма (Alex_Odeychuk)
unit-of-measure inference	выведение единиц измерения (говоря о значениях численных типов с единицами измерения Alex_Odeychuk)