-
101 предположение
assumption имя существительное: -
102 подразумеваемое
implication имя существительное: -
103 машина логического вывода
1. inferencing engine2. inference engineсхемы вывода; механизмы вывода — inference machinery
3. inference machineРусско-английский большой базовый словарь > машина логического вывода
-
104 искусственный интеллект
искусственный интеллект
Способность вычислительной машины моделировать процесс мышления за счет выполнения функций, которые обычно связывают с человеческим интеллектом.
Примечание
Такими функциями являются, например, обучение и логический вывод.
[ ГОСТ 15971-90]
искусственный интеллект
Способность устройства или прикладного процесса обнаруживать свойства, ассоциируемые с разумным поведением человека.
Задачей искусственного интеллекта является придание системам способности обучаться и "думать". При этом, естественно предполагается, что алгоритм решения задачи, выполняемой искусственным интеллектом, не известен. Создание искусственного интеллекта является исключительно сложной задачей, в которой часто используется эвристика. Между тем, ее решение уже осуществляется по нескольким следующим направлениям:
создание эффективно функционирующих обучающих систем;
разработка многочисленных экспертных систем, определяемых набором взаимосвязанных правил, формулирующих опыт специалистов в некоторой области, и механизмом решения, позволяющим распознать систуацию, ставить диагноз, давать рекомендации к действию;
решение многих задач распознавания речи, что позволяет компьютерам понимать естественные языки, правда пока в ограниченной области применения;
внедрение в реальную жизнь технологии и идентификации отпечатков пальцев;
серьезные достижения в распознавании передних частей головы человека. Эти задачи уже решены для тех случаев, когда в этом заинтересованы сами люди, например, опознание для работы с банковских системах;
использование диагностических систем в исследовании явлений и процессов, например, для анализа крови, управления доменным процессом, изучения состояния нефтяных полей и т.д.
Важную роль в развитии искусственного интеллекта играют специально создаваемые для этой цели языки. Среди них следует выделить универсальный сетевой язык, язык LISP и язык PROLOG.
[ http://www.morepc.ru/dict/]
искусственный интеллект
«условное обозначение кибернетических систем, моделирующих некоторые стороны интеллектуальной деятельности человека — логическое, аналитическое мышление» (СЭС, стр. 507).
[ http://slovar-lopatnikov.ru/]Тематики
EN
56. Искусственный интеллект
Artifical intelligence
Способность вычислительной машины моделировать процесс мышления за счет выполнения функций, которые обычно связывают с человеческим интеллектом.
Примечание. Такими функциями являются, например, обучение и логический вывод
Источник: ГОСТ 15971-90: Системы обработки информации. Термины и определения оригинал документа
Русско-английский словарь нормативно-технической терминологии > искусственный интеллект
-
105 прямая цепочка рассуждений
прямая цепочка рассуждений
прямой логический вывод
—
[Л.Г.Суменко. Англо-русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.]Тематики
Синонимы
EN
Русско-английский словарь нормативно-технической терминологии > прямая цепочка рассуждений
-
106 правило вывода
1. rule of inference2. production rule -
107 схемы вывода
схемы вывода; механизмы вывода — inference machinery
-
108 программирование вывода
схемы вывода; механизмы вывода — inference machinery
Русско-английский словарь по информационным технологиям > программирование вывода
-
109 механизм логического вывода
1. inference engine2. inferencing engine3. inferential mechanismмеханизм вывода; устройство вывода — output mechanism
Русско-английский большой базовый словарь > механизм логического вывода
-
110 мощность логического вывода
Русско-английский большой базовый словарь > мощность логического вывода
-
111 получение выводов
1. inference making2. inferencingРусско-английский большой базовый словарь > получение выводов
-
112 супермашина логического вывода
Русско-английский большой базовый словарь > супермашина логического вывода
-
113 управление выводом
Русско-английский большой базовый словарь > управление выводом
-
114 управление процессом вывода
Русско-английский большой базовый словарь > управление процессом вывода
-
115 аналогия
аналогия
Не унаследованное от общих предков морфологическое сходство органов у представителей различных таксономических групп при сходстве выполняемых этими органами функций, являющееся результатом конвергенции; один из характерных примеров А. - строение глаз у головоногих моллюсков и позвоночных; современное значение термину "А." придано Р.Оуэном в 1843.
[Арефьев В.А., Лисовенко Л.А. Англо-русский толковый словарь генетических терминов 1995 407с.]
аналогия
Логический вывод, в результате которого знание о признаках одного предмета возникает на основании известного сходства его с другими предметами (см. Подобие). Это свойство позволяет после исследования одного предмета (например, модели) делать вывод, хотя и не окончательный, не доказательный в полном смысле этого слова, о другом предмете (системе). В этом случае используется А. трех видов: А. свойств, А. отношений и А. изоморфизма (между объектами тождественной структуры). Принцип А. лежит в основе экономико-математического моделирования и экспериментального подхода к изучению экономики (как, естественно, всякого моделирования и эксперимента).
[ http://slovar-lopatnikov.ru/]Тематики
EN
Русско-английский словарь нормативно-технической терминологии > аналогия
-
116 делаться
become, get, grow, happen, turn• Делается логический вывод, что... - Logical deductions are drawn that...• Здесь не делается попыток объяснить... - No attempt is made here to explain...• Однако основной упор в этом параграфе делается на... - The main emphasis of this section, however, is...• Относительно... здесь не делается никаких предположений. - No assumption is made here about...• Часто делается утверждение (= утверждается), что... - The statement is often made that...• Это делается, в основном, потому что... - This is done, essentially, because... -
117 паратактическое искажение
(по Г. Салливану - ошибочный логический вывод причинной связи между фактически независимыми событиями) parataxic distortionRussian-english psychology dictionary > паратактическое искажение
-
118 умозаключение
1. (логический процесс) о συλλογισμός 2. (вывод, основанный на рассуждении, размышлении) το συμπέρασμα.Русско-греческий словарь научных и технических терминов > умозаключение
-
119 последовательный
1) ( следующий один за другим) successivo, consecutivo2) ( логически обоснованный) coerente, logico* * *прил.1) successivo, consecutivo2) ( логический) logico, coerente, conseguente, consequenzialeпроводить после́довательную политику — condurre una politica coerente
3) (неуклонно следующий чему-л.) coerente, conseguente* * *adj1) gener. filato, coerente, conseguente, scalare, sequenziale2) comput. seriale -
120 сверхлёгкий
См. также в других словарях:
ВЫВОД ЛОГИЧЕСКИЙ — ВЫВОД ЛОГИЧЕСКИЙ рассуждение, в котором осуществляется переход по правилам от высказывания или системы высказываний к высказыванию или системе высказываний. К логическому выводу обычно предъявляются (совместно или по отдельности)… … Философская энциклопедия
вывод логический — ВЫВОД ЛОГИЧЕСКИЙ рассуждение, в котором по определенным правилам осуществляется переход от высказываний или системы высказываний к высказыванию или системе высказываний. К В. л. обычно предъявляются (разом или по отдельности) следующие… … Энциклопедия эпистемологии и философии науки
вывод (логический) — — [Е.С.Алексеев, А.А.Мячев. Англо русский толковый словарь по системотехнике ЭВМ. Москва 1993] Тематики информационные технологии в целом EN inference … Справочник технического переводчика
вывод логический — рассуждение, в ходе которого из к. л. исходных суждений посылок с помощью логических правил получают заключение новое суждение. Напр., из суждений Все люди смертны и Кай человек мы можем вывести с помощью правил простого категорического… … Словарь терминов логики
ВЫВОД — логический формальный вывод в исчислении, содержащем логические правила и имеющем в качестве основных выводимых объектов формулы (интерпретацией к рых являются суждения;см. Логические исчисления. Логико математические исчисления). Поскольку… … Математическая энциклопедия
ЛОГИЧЕСКИЙ — (греч. logikos, от logos рассуждение). Согласный с логикою или основанный на законах мышления. Словарь иностранных слов, вошедших в состав русского языка. Чудинов А.Н., 1910. ЛОГИЧЕСКИЙ греч. logikos, от logos, рассуждение. Согласный или… … Словарь иностранных слов русского языка
ВЫВОД — в (традиционной) логике рассуждение, в ходе которого из некоторых исходных высказываний (суждений), называемых посылками, с помощью логических правил получают новое высказывание, называемое заключением. Напр., из высказываний «Все полноправные… … Философская энциклопедия
логический вывод — — [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия EN inference … Справочник технического переводчика
Логический вывод — Вывод процесс рассуждения, в ходе которого осуществляется переход от некоторых исходных суждений (предпосылок) к новым суждениям заключениям. Правила преобразования исходной системы предпосылок в систему заключений называются правилами вывода… … Википедия
ЛОГИЧЕСКИЙ — ЛОГИЧЕСКИЙ, логическая, логическое (книжн.). 1. прил. к логика. Логические категории. 2. (в качестве кратк. употр. логичен, логична, логично). Основанный на правильном умозаключении, отвечающий требованиям логики. Логический вывод. Логическое… … Толковый словарь Ушакова
вывод — Логически выведенное положение, умозаключение. Важный, верный, глубокий, единогласный, закономерный, значимый, категорический, категоричный, конкретный, логический, логичный, ложный, малообоснованный, мудрый, научный, неверный, необоснованный,… … Словарь эпитетов