-
41 inference
вывод (логический)
—
[Е.С.Алексеев, А.А.Мячев. Англо-русский толковый словарь по системотехнике ЭВМ. Москва 1993]Тематики
EN
логический вывод
—
[ http://www.iks-media.ru/glossary/index.html?glossid=2400324]Тематики
- электросвязь, основные понятия
EN
следствие
умозаключение
—
[Л.Г.Суменко. Англо-русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.]Тематики
Синонимы
EN
Англо-русский словарь нормативно-технической терминологии > inference
-
42 backward chaining
1) Общая лексика: использование обратной цепочки умозаключений (один из методов поиска решения в экспертных системах. Путь рассуждений идёт от того, что нужно доказать, к фактам, на которых основывается доказательство. При прямо)2) Компьютерная техника: вывод от цели к фактам, обратный логический вывод, обратный поиск4) Вычислительная техника: обратная цепочка рассуждений, обратное построение цепочки (напр. рассуждений от целевой гипотезы к исходным посылкам), обратный вывод (в экспертных системах), обратный (логический) вывод (в экспертных системах)5) Программирование: цепочка обратного [логического] вывода, использование метода "от цели к событиям"6) Автоматика: обратная цепочка умозаключений, обратное ( логическое) умозаключение (в экспертной системе) -
43 infer
[ɪn'fɜː]1) Общая лексика: вывести, вывод, выводить, выводить заключение, делать вывод, делать заключение, заключать, заключить, значить, означать, подразумевать, сделать заключение2) Разговорное выражение: догадываться3) Техника: заключать (делать вывод)4) Математика: получать как следствие, приходить к заключению5) Психология: делать заключение (вывод)6) Вычислительная техника: делать (логический) вывод, делать логический вывод, логически выводить, (логически) выводить7) Деловая лексика: предполагать8) Макаров: получать (напр. как следствие) -
44 forward chaining
1) Компьютерная техника: прямой поиск2) Вычислительная техника: вывод "от фактов к цели", вывод от фактов к цели, индуктивный вывод, прямая цепочка рассуждений, прямое построение цепочки (напр. рассуждений от исходных посылок к целевой гипотезе), прямой логический вывод (в экспертных системах), прямой (логический) вывод (в экспертных системах)3) Программирование: прямая цепочка [логического] вывода (один из методов поиска решения в экспертных системах. Ход рассуждений ведётся от фактов к цели (тому, что нужно доказать)), использование метода "от событий к цели", использование прямой цепочки умозаключений4) Автоматика: прямая цепочка заключений, прямое ( логическое) умозаключение (в экспертной системе) -
45 reasoning
['riːz(ə)nɪŋ]1) Общая лексика: аргументация, логика, логический ход мысли, мотивировка, мыслящий, объяснение, размышление, рассуждение, способный рассуждать, объяснения, рассуждения (мн.ч. вытекает из контекста), соображение, критерии2) Техника: вывод (логический), логический вывод, логическое мышление3) Математика: продуманность, рассуждая4) Юридический термин: изложение мотивов, основания вынесенного решения5) Университет: обоснование работы (дипломной и т.д.)6) Вычислительная техника: мышление, обоснование, рассуждения, умозаключение7) Реклама: доводы, доказательства, логическое рассуждение8) Автоматика: осмысление, осмысливание, мышление (напр. робота с искусственным интеллектом)9) Робототехника: доказательство10) Авиационная медицина: интеллектуальная деятельность, обдумывание, суждение, убеждение, уговаривание -
46 inferencing
1) Компьютерная техника: вывод, получение вывода, процесс вывода, формирование вывода2) Техника: получение выводов3) Вычислительная техника: логический вывод, получение ( логического) вывода, процесс (логического) вывода, процесс логического вывода, формирование логического вывода, (логический) вывод4) Автоматика: умозаключение, формирование ( логического) вывода, процесс (логического) умозаключения (в искусственном интеллекте) -
47 reason
1. n причина; основаниеby reason of …, for the reason that … — по причине того, что …, из-за того, что …
for no other reason than that I forgot — по той простой причине, что я забыл
with reason — с основанием, по основательным причинам
2. n основание, мотив, соображение; оправданиеto prove with reasons — доказать аргументами, представить резонные соображения
I have good reason to fear that … — у меня все основания опасаться, что …
give me your reasons for refusing — мотивируйте свой отказ, изложите мотивы вашего отказа
alleging as his reason that … — мотивируя тем, что …
valid reason — веское основание; уважительная причина
3. n объяснение, обоснование; мотивированное заявление4. n лог. малая посылка5. v размышлять, рассуждать; делать выводы, умозаключатьto reason from premises — делать вывод из посылок; сделать логический вывод
to reason that … — прийти к выводу, что …
6. v мыслитьthe ability to reason makes man different from animals — способность мыслить отличает человека от животного
7. v обсуждать; дебатировать, дискутировать; рассуждатьto reason what is to be done — обсуждать, что сделать
8. v уговаривать, урезонивать9. v уговорить, убедитьhis mind is pervious to reason — он поддаётся убеждению, его можно убедить
10. v разубеждать11. v преим... обосновывать, аргументировать; доказыватьto reason that … — аргументировать тем, что …; приводить в качестве довода то, что …
12. v уст. библ. спорить или беседоватьСинонимический ряд:1. argument (noun) argument; ground; proof; wherefore; why; whyfor2. basis (noun) basis; foundation; justification; warrant3. cause (noun) antecedent; cause; determinant; occasion4. explanation (noun) account; excuse; explanation; ratiocination; rationale; rationalisation; rationalization5. motive (noun) consideration; motive; spring6. objective (noun) aim; design; impetus; incentive; intention; object; objective7. point (noun) case; point8. rationalism (noun) common sense; discernment; intellect; intelligence; judgement; rationalism; understanding9. reasons (noun) grounds; motivation; purpose; reasons10. sense (noun) judgment; logic; rationale; rationality; sense11. wit (noun) acumen; lucidity; mind; saneness; sanity; senses; soundness; soundnesss; wit; wits12. argue (verb) argue; contend; convince; discuss; dispute; influence; persuade13. think (verb) analyse; analyze; cerebrate; cogitate; conclude; contemplate; debate; deduce; deliberate; examine; induce; infer; rationalise; rationalize; reflect; speculate; thinkАнтонимический ряд:fallacy; falsification; folly; guess; impropriety; intuition; irrationality; misconception; misinterpretation; pretence; pretext; wrong -
48 deduction
dɪˈdʌkʃən сущ.
1) а) вычет;
удержание( for;
from) ;
снижение, сокращение to make a deduction ≈ вычитать Our employer makes a deduction from our salary for the income tax. ≈ Наш работодатель вычитает из нашего жалованья подоходный налог. Syn: subtracting, deducting, abatement б) вычитаемое (число, сумма, величина и т.д.) Syn: subtrahend
2) сбавка, скидка, уступка Syn: discount, rebate
3) а) логический вывод (процедура получения умозаключения), дедукция б) вывод, заключение illogical deduction ≈ нелогичный вывод logical deduction ≈ логичный вывод a deduction about ≈ заключение о These events confirm my deduction that he was to blame. ≈ Эти события подтвердили мое заключение о том, что он виновен. to make a deduction ≈ делать заключение Syn: conclusion, reasoning Ant: induction вычитание, удержание - * of a sum from smb.'s pay удержание определенной суммы из зарплаты удержание, вычет - after * of taxes после удержания налогов - to make a * удерживать (математика) вычитаемое скидка, сбавка;
уступка - a * in the yearly rent скидка на годовую ренту - he wouldn't give me a * on it он не сделает мне скидки на это вывод, (умо) заключение, следствие - fallacious * ложный вывод (логика) выведение, дедукция - to draw a * сделать вывод, вывести следствие - to reach an opinion through /by/ * прийти к какому-л. выводу с помощью дедукции advance ~ авансовый вычет advance ~ предварительное удержание after ~ of за вычетом allowable ~ налог. законная льгота allowable ~ разрешенная скидка basic ~ основной вычет deduction вывод, следствие ~ вывод, заключение;
лог. дедукция ~ вывод ~ вычет ~ вычитаемое ~ вычитание, удержание ~ вычитание, вычет;
удержание;
deduction in pay вычеты, удержания из жалованья ~ вычитание ~ дедукция ~ скидка ~ следствие ~ удержание ~ умозаключение ~ уступка ~ for assessment purposes удержание в целях налогообложения ~ for social security удержание в целях социального обеспечения ~ вычитание, вычет;
удержание;
deduction in pay вычеты, удержания из жалованья ~ of expenditure удержание расходов ~ of interest on premature withdrawal удержание процентов при преждевременном снятии вклада ~ of tax удержание налога disallowed ~ неразрешенное удержание disallowed ~ неразрешенный вычет dividends received ~ вычет из полученного дивиденда excess ~ чрезмерный вычет harmonization ~ соц. скидка для согласованного налогообложения interest ~ процентный вычет invalid's ~ скидка для инвалидов legal ~ удержание по суду maintenance ~ удержание алиментов medical cost ~ вычет на оплату медицинского обслуживания mortgage interest ~ вычет с процента по закладной mortgage interest ~ скидка с процента по закладной nonitemized ~ удержание, не распределенное по статьям percentage ~ процентная скидка с налога personal ~ вычет из личного дохода, не подлежащий обложению repurchase ~ удержание при покупке ранее проданного товара resulting ~ вчт. регулирующий вывод salary ~ вычет из заработной платы salary ~ удержание из заработной платы standard ~ вчт. нормативный вычет standard ~ стандартная сумма дохода, не облагаемая индивидуальным подоходным налогом subsidiary ~ вчт. вспомогательный вывод tax ~ взимание налога tax ~ удержание налога tax ~ based on degree of disability снижение ставки налога в зависимости от группы инвалидности wage ~ вычеты из зарплатыБольшой англо-русский и русско-английский словарь > deduction
-
49 inference
[ˈɪnfərəns]abductive inference абдуктивный вывод chain inference цепное заключение direct inference прямой вывод fuzzy inference нечеткий вывод immediate inference прямое вмешательство inductive inference индуктивный вывод inference вывод inference заключение inference умозаключение inference making вчт. получение выводов intuitionistic inference интуиционистский вывод knowledge-based inference вывод на знаниях linear inference линейный вывод logical inference логический вывод non-monotonic inference немонотонный вывод probabilitic inference вероятностный вывод statistical inference статистический вывод -
50 logical
ˈlɔdʒɪkəl прил.
1) логический, относящийся к логике
2) логический, логичный, последовательный, связный It is logical to assume that they will attend. ≈ Логично думать, что они явятся.
3) способный рассуждать логически (о человеке)
4) рациональный, разумный Syn: rational, reasonable логический;
относящийся к логике - * symbol( специальное) символ логической связи логичный, последовательный - * conclusion логический вывод - * mind логичный /последовательный/ ум неизбежно вытекающий( из предыдущего) - * assumption законное предположение разумный - * behaviour разумное поведение( компьютерное) логический - * addition логическое сложение, дизъюнкция - * multiplication логическое умножение, конъюнкция logical логический ~ логичный, последовательный ~ логичный ~ последовательный -
51 infer
verb1) заключать, делать заключение, вывод2) означать, подразумевать* * *(v) делать вывод; сделать вывод* * *заключать; делать вывод; выводить* * *[in·fer || ɪn'fɜr /-'fɜː] v. заключать, делать вывод, означать, подразумевать* * *выводзаключатьозначатьподразумевать* * *1) заключать; делать (логический) вывод; выводить 2) значить, обозначать, означать, подразумевать; наводить на мысль 3) делать предположение, высказывать догадку -
52 deduction
[dɪ'dʌkʃ(ə)n]1) Общая лексика: вывод, вычет, вычитаемое, вычитание, заключение, отчисление, скидка, сбавка, удержание, уступка2) Морской термин: вывод (уравнения, формулы)3) Спорт: снижение4) Военный термин: удержание (напр. из денежного содержания)5) Техника: логический вывод, заключение (вывод)6) Математика: доказательство7) Юридический термин: удерживание, списание, умозаключение8) Логика: дедукция9) Картография: вывод (уравнения, формулы)10) Налоги: вычитание из налога. Вычитаемый из налога расход, который уменьшает налогооблагаемую базу дохода для физических и юридических лиц., статья уменьшения дохода11) Патенты: дедукция (умозаключение от общего к частному)12) Деловая лексика: следствие13) SAP. использование лимита14) Робототехника: выведение15) юр.Н.П. зачёт (discharge of debts)16) Макаров: вывод (умозаключение)17) Безопасность: метод дедукции, обобщение18) Фигурное катание: снижение баллов -
53 deduction
noun1) вычитание, вычет; удержание; deduction in pay вычеты, удержания из жалованья2) вычитаемое3) скидка4) вывод, заключение; logic дедукцияSyn:reasoning* * *(n) вывод; вычет; вычитаемое; вычитание; дедукция; доказательство; заключение; отчисление; сбавка; скидка; следствие; удержание; умозаключение; уступка* * *скидка, вычет* * *[de'duc·tion || -kʃn] n. вычитание, удержание, отчисление, скидка, вывод, заключение, выведение, дедукция* * *выводвычетвычетавычетывычитаемоевычитаниезаключениеотниманиеотчислениеотчислениясбавкаскидкаудержаниеуступка* * *1) а) вычет; удержание (for; from) б) вычитаемое 2) сбавка 3) а) логический вывод б) вывод -
54 illative
[ıʹleıtıv] a1) выражающий заключение, заключительный2) указывающий на логический вывод, следствиеillative adverbs - грам. наречия следствия
-
55 traduction
n1. традукция; передача из поколения в поколение;2. клевета;3. повторение;4. логический вывод.* * *сущ.1) традукция; передача из поколения в поколение;2) клевета;3) повторение;4) логический вывод. -
56 logical induction
1) Математика: логический вывод, индуктивный логический вывод2) Логика: индуктивный метод3) Психология: логическая индукция -
57 illative
1. a выражающий заключение, заключительный2. a указывающий на логический вывод, следствие -
58 artifical intelligence
искусственный интеллект
Способность вычислительной машины моделировать процесс мышления за счет выполнения функций, которые обычно связывают с человеческим интеллектом.
Примечание
Такими функциями являются, например, обучение и логический вывод.
[ ГОСТ 15971-90]
искусственный интеллект
Способность устройства или прикладного процесса обнаруживать свойства, ассоциируемые с разумным поведением человека.
Задачей искусственного интеллекта является придание системам способности обучаться и "думать". При этом, естественно предполагается, что алгоритм решения задачи, выполняемой искусственным интеллектом, не известен. Создание искусственного интеллекта является исключительно сложной задачей, в которой часто используется эвристика. Между тем, ее решение уже осуществляется по нескольким следующим направлениям:
создание эффективно функционирующих обучающих систем;
разработка многочисленных экспертных систем, определяемых набором взаимосвязанных правил, формулирующих опыт специалистов в некоторой области, и механизмом решения, позволяющим распознать систуацию, ставить диагноз, давать рекомендации к действию;
решение многих задач распознавания речи, что позволяет компьютерам понимать естественные языки, правда пока в ограниченной области применения;
внедрение в реальную жизнь технологии и идентификации отпечатков пальцев;
серьезные достижения в распознавании передних частей головы человека. Эти задачи уже решены для тех случаев, когда в этом заинтересованы сами люди, например, опознание для работы с банковских системах;
использование диагностических систем в исследовании явлений и процессов, например, для анализа крови, управления доменным процессом, изучения состояния нефтяных полей и т.д.
Важную роль в развитии искусственного интеллекта играют специально создаваемые для этой цели языки. Среди них следует выделить универсальный сетевой язык, язык LISP и язык PROLOG.
[ http://www.morepc.ru/dict/]
искусственный интеллект
«условное обозначение кибернетических систем, моделирующих некоторые стороны интеллектуальной деятельности человека — логическое, аналитическое мышление» (СЭС, стр. 507).
[ http://slovar-lopatnikov.ru/]Тематики
EN
56. Искусственный интеллект
Artifical intelligence
Способность вычислительной машины моделировать процесс мышления за счет выполнения функций, которые обычно связывают с человеческим интеллектом.
Примечание. Такими функциями являются, например, обучение и логический вывод
Источник: ГОСТ 15971-90: Системы обработки информации. Термины и определения оригинал документа
Англо-русский словарь нормативно-технической терминологии > artifical intelligence
-
59 forward chaining
прямая цепочка рассуждений
прямой логический вывод
—
[Л.Г.Суменко. Англо-русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.]Тематики
Синонимы
EN
Англо-русский словарь нормативно-технической терминологии > forward chaining
-
60 corollary
[kə'rɒl(ə)rɪ]1) Общая лексика: естественное следствие, естественный результат, заключение, итог, результат, следствие2) Техника: непосредственное следствие3) Строительство: дополнительный вывод4) Математика: (неизбежный) вывод, (непосредственное) следствие, последствие, подформула (formula)5) Дипломатический термин: заключительный6) Логика: вывод7) Психология: королларий8) Авиационная медицина: (естественный) результат, (логический) вывод9) Макаров: следствие (закона), вывод (неизбежный)
См. также в других словарях:
логический вывод — — [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия EN inference … Справочник технического переводчика
Логический вывод — Вывод процесс рассуждения, в ходе которого осуществляется переход от некоторых исходных суждений (предпосылок) к новым суждениям заключениям. Правила преобразования исходной системы предпосылок в систему заключений называются правилами вывода… … Википедия
ВЫВОД ЛОГИЧЕСКИЙ — ВЫВОД ЛОГИЧЕСКИЙ рассуждение, в котором осуществляется переход по правилам от высказывания или системы высказываний к высказыванию или системе высказываний. К логическому выводу обычно предъявляются (совместно или по отдельности)… … Философская энциклопедия
ВЫВОД — логический формальный вывод в исчислении, содержащем логические правила и имеющем в качестве основных выводимых объектов формулы (интерпретацией к рых являются суждения;см. Логические исчисления. Логико математические исчисления). Поскольку… … Математическая энциклопедия
ЛОГИЧЕСКИЙ — ЛОГИЧЕСКИЙ, логическая, логическое (книжн.). 1. прил. к логика. Логические категории. 2. (в качестве кратк. употр. логичен, логична, логично). Основанный на правильном умозаключении, отвечающий требованиям логики. Логический вывод. Логическое… … Толковый словарь Ушакова
ЕСТЕСТВЕННЫЙ ЛОГИЧЕСКИЙ ВЫВОД — формальный вывод, по возмвжности приближенный к содержательному рассуждению, привычному для математика и логика. Критерии естественности и качества вывода не уточняются полностью, но обычно имеются в виду выводы, осуществляемые по… … Математическая энциклопедия
Вывод — может употребляться в разных контекстах: Вывод проводник в составе электрического устройства, предназначенный для электрического соединения с другими устройствами Устройства ввода вывода класс устройств в типовой архитектуре ЭВМ Вывод результат… … Википедия
логический — прил., употр. сравн. часто Морфология: нар. логически 1. Логическим называют что либо, имеющее отношение к логике как науке. Логические категории. | Логические законы. 2. Логическим называют что либо согласующееся с законами логики, основанное на … Толковый словарь Дмитриева
вывод — сущ., м., употр. часто Морфология: (нет) чего? вывода, чему? выводу, (вижу) что? вывод, чем? выводом, о чём? о выводе; мн. что? выводы, (нет) чего? выводов, чему? выводам, (вижу) что? выводы, чем? выводами, о чём? о выводах 1. Когда вы приходите… … Толковый словарь Дмитриева
ЛОГИЧЕСКИЙ — (греч. logikos, от logos рассуждение). Согласный с логикою или основанный на законах мышления. Словарь иностранных слов, вошедших в состав русского языка. Чудинов А.Н., 1910. ЛОГИЧЕСКИЙ греч. logikos, от logos, рассуждение. Согласный или… … Словарь иностранных слов русского языка
вывод логический — ВЫВОД ЛОГИЧЕСКИЙ рассуждение, в котором по определенным правилам осуществляется переход от высказываний или системы высказываний к высказыванию или системе высказываний. К В. л. обычно предъявляются (разом или по отдельности) следующие… … Энциклопедия эпистемологии и философии науки