-
1 алгоритм логического вывода
Русско-английский словарь по вычислительной технике и программированию > алгоритм логического вывода
-
2 алгоритм логического вывода
Русско-английский большой базовый словарь > алгоритм логического вывода
-
3 процесс вывода
-
4 формирование вывода
Русско-английский большой базовый словарь > формирование вывода
-
5 механизм логического вывода
1. inference engine2. inferencing engine3. inferential mechanismмеханизм вывода; устройство вывода — output mechanism
Русско-английский большой базовый словарь > механизм логического вывода
-
6 получение выводов
1. inference making2. inferencingРусско-английский большой базовый словарь > получение выводов
-
7 машина логического вывода
1. inferencing engine2. inference engineсхемы вывода; механизмы вывода — inference machinery
3. inference machineРусско-английский большой базовый словарь > машина логического вывода
-
8 алгоритм логического вывода
Information technology: inferencing algorithmУниверсальный русско-английский словарь > алгоритм логического вывода
-
9 алгоритм определения типов
Русско-английский словарь по вычислительной технике и программированию > алгоритм определения типов
См. также в других словарях:
Rete algorithm — The Rete algorithm is an efficient pattern matching algorithm for implementing production rule systems. The Rete algorithm was designed by Dr Charles L. Forgy of Carnegie Mellon University, first published in a working paper in 1974, and later… … Wikipedia
Unification (computer science) — Unification, in computer science and logic, is an algorithmic process by which one attempts to solve the satisfiability problem. The goal of unification is to find a substitution which demonstrates that two seemingly different terms are in fact… … Wikipedia
Corticon — Technologies Inc. Type Private Industry BRMS Founded Incorporated 2000 Founder(s) Mark Allen Pedram Abrari … Wikipedia
Clinical decision support system — (CDSS or CDS) is an interactive decision support system (DSS) Computer Software, which is designed to assist physicians and other health professionals with decision making tasks, as determining diagnosis of patient data. A working definition has… … Wikipedia
Ingres (database) — Ingres Ingres Corporation logo Developer(s) Actian Corporation Stable release Ingres Database 10 / October 12, 2010; 13 months ago (2010 10 12) … Wikipedia
Resampling (statistics) — In statistics, resampling is any of a variety of methods for doing one of the following: # Estimating the precision of sample statistics (medians, variances, percentiles) by using subsets of available data (jackknife) or drawing randomly with… … Wikipedia
Quark Framework — CAL Paradigm(s) functional, non strict, modular Appeared in 2004 Designed by Luke Evans, Bo Ilic (Business Objects) Typing discipline static, strong … Wikipedia