-
21 logical inference
English-Russian dictionary of computer science > logical inference
-
22 logical inference
Англо-русский словарь по исследованиям и ноу-хау > logical inference
-
23 logical inference
Большой англо-русский и русско-английский словарь > logical inference
-
24 transitive inference
Англо-русский словарь по машиностроению > transitive inference
-
25 transitive inference
Англо-русский словарь по робототехнике > transitive inference
-
26 logical inference
мат. -
27 deductive inference
inference machinery — схемы вывода; механизмы вывода
-
28 inductive inference
inference machinery — схемы вывода; механизмы вывода
-
29 transitive inference
English-Russian big polytechnic dictionary > transitive inference
-
30 rules of inference
inference machinery — схемы вывода; механизмы вывода
The English-Russian dictionary general scientific > rules of inference
-
31 inductive inference
1) Математика: индуктивное суждение, индуктивное умозаключение2) Вычислительная техника: индуктивный вывод3) Автоматика: логический вывод, логическое заключение (напр. в экспертной системе), логическое умозаключение (напр. в экспертной системе)4) Макаров: вывод по индукции -
32 goal-directed inference
1) Лингвистика: целеориентированный (логический) вывод2) Автоматика: умозаключение, направляемое целями (напр. в экспертной системе)3) Макаров: заключение, направляемое целями (напр. в экспертной системе)Универсальный англо-русский словарь > goal-directed inference
-
33 goal-oriented inference
Лингвистика: целеориентированный (логический) выводУниверсальный англо-русский словарь > goal-oriented inference
-
34 logical inference
1) Компьютерная техника: логический вывод2) Программирование: логическое умозаключение -
35 transitive inference
Механика: транзитивный логический вывод -
36 logical inference
-
37 logical inference
The New English-Russian Dictionary of Radio-electronics > logical inference
-
38 draw
1) тяга || вытягивать2) волочение || волочить4) волочение || волочить5) всасывание, втягивание || всасывать; втягивать6) выводить умозаключение, делать (логический) вывод7) игра вничью, ничья8) чертить, рисовать9) жеребьёвка; жребий || тянуть жребий10) тащить; протягивать11) горн. осадка, проседание ( пород в шахте)12) балка, промоина13) горн. проходить горизонтальную выработку•draw a deduction — сделать вывод, вывести следствие
to draw a figure — геом. строить фигуру
to draw an inference — делать вывод; приходить к заключению
to draw to full scale — вычерчивать в масштабе 1:1; вычерчивать в натуральную величину; вычерчивать в полном масштабе
-
39 deduce
делать вывод, выводить -
40 transitive
1. n грам. переходный, транзитивный глагол2. n грам. переходная, транзитивная конструкция3. a грам. переходный, транзитивный4. a мат. лог. транзитивныйСинонимический ряд:transitory (adj.) fleeting; passing; transient; transitional; transitory
См. также в других словарях:
логический вывод — — [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия EN inference … Справочник технического переводчика
вывод (логический) — — [Е.С.Алексеев, А.А.Мячев. Англо русский толковый словарь по системотехнике ЭВМ. Москва 1993] Тематики информационные технологии в целом EN inference … Справочник технического переводчика
Искусственный интеллект — Запрос «ИИ» перенаправляется сюда; см. также другие значения. Искусственный интеллект (ИИ, англ. Artificial intelligence, AI) наука и технология создания интеллектуальных машин, особенно интеллектуальных компьютерных программ. ИИ… … Википедия
СЕМАНТИЧЕСКИХ КАТЕГОРИЙ ТЕОРИЯ — СЕМАНТИЧЕСКИХ КАТЕГОРИЙ ТЕОРИЯ теория типологии значений выражений естественных и искусственных языков. Различают типы сущностей и типы символов, типы значений выражений языка. Учение о семантических категориях восходит к Т. Фреге и… … Философская энциклопедия
СЕМАНТИЧЕСКИХ КАТЕГОРИЙ ТЕОРИЯ – — теория типологии значений выражений естественных и искусственных языков. Различают типы сущностей и типы символов, типы значений выражений языка. Учение о семантических категориях восходит к Г.Фреге и особенно к Э.Гуссерлю… … Философская энциклопедия
CLIPS — CLIPS, (от англ. C Language Integrated Production System) программная среда для разработки экспертных систем. Синтаксис и название предложены Чарльзом Форги (Charles Forgy) в OPS (Official Production System). Первые версии CLIPS… … Википедия
Формальная верификация — формальное доказательство соответствия или несоответствия формального предмета верификации его формальному описанию. Предметом выступают алгоритмы, программы и другие доказательства. Из за рутинности даже простой формальной верификации и… … Википедия
Логика — (греч. logike̅́) наука о приемлемых способах рассуждения. Слово «Л.» в его современном употреблении многозначно, хотя и не столь богато смысловыми оттенками, как древнегреч. lógos, от которого оно происходит. В духе традиции с понятием Л … Большая советская энциклопедия
ЛОГИЧЕСКИЕ МАШИНЫ — механические, электромеханические или электронные устройства для полуавтоматич. или автоматич. выполнения к. л. операций логики. Л. м. применяются для анализа и упрощения формул нек рых разделов логики (в частности, для определения тех значений… … Философская энциклопедия