Terms for subject Artificial intelligence containing вывод

Russian	English
автоматизированное построение логического вывода	automated reasoning (Alex_Odeychuk)
автоматизированный дедуктивный вывод	computer-assisted deductive reasoning (Alex_Odeychuk)
автоматическое конструирование баз знаний для поддержки логического вывода	automatic construction of inference-supporting knowledge bases (Alex_Odeychuk)
алгоритм логического вывода	inference algorithm (Alex_Odeychuk)
алгоритм приближённого вывода	approximate inference algorithm (Alex_Odeychuk)
алгоритм прямого логического вывода	forward chaining algorithm (от исходных посылок (от фактов, на которых будет основываться доказательство) к целевой гипотезе (цели, т.е. к тому, что нужно доказать) Alex_Odeychuk)
алгоритм прямого логического вывода для выбора и запуска на выполнение продукционных правил, соответствующих текущим целям	forward chaining algorithm for selecting productions to execute to meet current goals (Alex_Odeychuk)
архитектура построения логического вывода	reasoning architecture (Alex_Odeychuk)
база знаний для поддержки логического вывода	inference-supporting knowledge base (Alex_Odeychuk)
вывод на основании данных	data-driven search (Alex_Odeychuk)
вывод на основе градиента	gradient-based inference (Alex_Odeychuk)
вывод от цели	goal-directed strategy (Alex_Odeychuk)
вывод правил методом индукции на основе неточных множеств	rough set based rule induction (в экспертных системах Alex_Odeychuk)
выводы, полученные на основе правил логического вывода	conclusions derived out of inference rules (Alex_Odeychuk)
выполнять автоматизированный поиск логического вывода	perform automated reasoning (Alex_Odeychuk)
выполнять логический вывод	perform logical inference (Alex_Odeychuk)
выполнять рассуждения по цепочке логических выводов	perform chain-of-thought reasoning (singularityhub.com Alex_Odeychuk)
градиентный вывод	gradient-based inference (Alex_Odeychuk)
задача логического вывода	inference problem (Nature Alex_Odeychuk)
задача формирования выводов	conclusion generation problem (Alex_Odeychuk)
задачи формирования рассуждений и логического вывода	reasoning and inference problems (Nature Alex_Odeychuk)
задержка на логический вывод	inference latency (lower is better gputechconf.com Alex_Odeychuk)
компонент дедуктивного вывода	backward-chaining inference engine (Alex_Odeychuk)
компонент логического вывода	inference engine (часть экспертной системы, которая выполняет сопоставление информации пользователя с известными фактами и правилами логического вывода, хранящимися в базе знаний, и вырабатывает результат, на котором затем основывается решение, предлагаемое экспертной системой Alex_Odeychuk)
конструирование баз знаний для поддержки логического вывода	construction of inference-supporting knowledge bases (Alex_Odeychuk)
логический вывод в реальном времени	real-time inference (из кн.: Applied Machine Learning and High-Performance Computing on AWS, 2022 Alex_Odeychuk)
логический вывод из фактов	logical inference (подтверждающий суждение Alex_Odeychuk)
логический вывод, основанный на правилах	rule-based inferencing (Alex_Odeychuk)
логический вывод по правилам	rule inference (Alex_Odeychuk)
машина вывода	rule engine (Alex_Odeychuk)
машина логического вывода	inference engine (часть экспертной системы, которая выполняет сопоставление информации пользователя с известными фактами и правилами логического вывода, хранящимися в базе знаний, и вырабатывает результат, на котором затем основывается решение, предлагаемое экспертной системой)
машина логического вывода	rule engine (выполняет логический вывод из предварительно построенной базы фактов и правил Alex_Odeychuk)
машина обработки правил с прямым и обратным логическим выводом	forward and backward chaining inference based rules engine (Alex_Odeychuk)
машина обратного логического вывода	backward-chaining inference engine (Alex_Odeychuk)
машина параллельного логического вывода	parallel inference machine (Alex_Odeychuk)
машина прямого логического вывода	forward-chaining inference engine (Alex_Odeychuk)
машинный поиск логического вывода	automated reasoning (в ИИ – одно из направлений машинного доказательства теорем (доказательство истинности некоторого утверждения исходя из декларированного множества аксиом) ssn)
метод логического вывода для нейронных сетей	inference method for neural networks (Alex_Odeychuk)
механизм автоматизированного поиска логического вывода	automated reasoning engine (Alex_Odeychuk)
механизм вывода	inference enginer (Alex_Odeychuk)
механизм вывода	solver (Alex_Odeychuk)
механизм логического вывода	inference engine
механизм логического вывода	evaluator (The recorded knowledge is executed by an evaluator. Alex_Odeychuk)
механизм логического вывода	inference engine (часть экспертной системы, которая соотносит информацию от пользователя с известными фактами и правилами вывода, хранящимися в базе знаний, и вырабатывает результат, на котором затем основывается решение, предлагаемое экспертной системой. Обычно активизируется оболочкой ЭС)
механизм логического вывода	inference mechanism (Alex_Odeychuk)
механизм логического вывода в реальном времени	real-time inference engine (Alex_Odeychuk)
механизм логического вывода по базе правил	rulebase engine (Alex_Odeychuk)
механизм нечёткого логического вывода	fuzzy inference engine (Alex_Odeychuk)
механизм обратного логического вывода	backward chaining inference engine (механизм логического вывода от целевой гипотезы (цели, т.е. того, что нужно доказать) к исходным посылкам (к фактам, на которых будет основываться доказательство) Alex_Odeychuk)
механизм прямого логического вывода	forward chaining inference engine (механизм логического вывода от исходных посылок (от фактов, на которых будет основываться доказательство) к целевой гипотезе (цели, т.е. к тому, что нужно доказать) Alex_Odeychuk)
модель выводов на базе нечёткой логики	fuzzy inference logic model (ssn)
модель логического вывода	inference model (Alex_Odeychuk)
на основе машины логического вывода	based on logical inference (Alex_Odeychuk)
накладывать ограничения с помощью градиентного вывода	enforce constraints with gradient-based inference (Alex_Odeychuk)
научные исследования в области правил логического вывода	research on inference rules (Alex_Odeychuk)
нечёткий логический вывод	fuzzy inference
обеспечивать поддержку прямого и обратного логического вывода в реальном времени	support forward and backward chaining inference in a real-time environment (Alex_Odeychuk)
обратный логический вывод	backward-chaining inference (Alex_Odeychuk)
обратный логический вывод	goal-directed strategy (Alex_Odeychuk)
обратный логический вывод	backward reasoning (backward reasoning Alex_Odeychuk)
обратный логический вывод	backward chaining inference (Alex_Odeychuk)
построение логического вывода	reasoning (IBM Alex_Odeychuk)
правило вывода	production
правило вывода	inference rule
продукционное программирование экспертных систем с прямым логическим выводом	forward-chaining rule-based programming (Alex_Odeychuk)
процедура вывода	conclusive procedure (ssn)
процедура логического вывода без ограничений	unconstrained inference procedure (Alex_Odeychuk)
процедура логического вывода в ограничениях	constrained inference procedure (Alex_Odeychuk)
процедуры вывода	conclusive procedures (ssn)
процесс вывода решения	decision-making process (Alex_Odeychuk)
процесс прямого логического вывода	forward chaining process (от исходных посылок (от фактов, на которых будет основываться доказательство) к целевой гипотезе (цели, т.е. к тому, что нужно доказать) Alex_Odeychuk)
прямой логический вывод	data-driven search (Alex_Odeychuk)
прямой логический вывод	forward-chaining inference (Alex_Odeychuk)
прямой логический вывод	forward chaining inference (Alex_Odeychuk)
решать задачи из области искусственного интеллекта на основе логического вывода и привлечения здравого смысла	perform human-like reasoning (Alex_Odeychuk)
с обратным логическим выводом	goal driven (логический вывод в экспертной системе от целевой гипотезы (от того, что нужно доказать) к исходным посылкам (к фактам, на которых основывается доказательство) Alex_Odeychuk)
с обратным логическим выводом	backward chaining (логический вывод в экспертной системе от целевой гипотезы (от того, что нужно доказать) к исходным посылкам (к фактам, на которых основывается доказательство) Alex_Odeychuk)
с поддержкой обратного логического вывода	backward chaining (Alex_Odeychuk)
с прямым и обратным логическим выводом	with a forward and backward chaining inference (Alex_Odeychuk)
с прямым логическим выводом	forward-chaining (от исходных посылок (от фактов, на которых будет основываться доказательство) к целевой гипотезе (цели, т.е. к тому, что нужно доказать) Alex_Odeychuk)
с прямым логическим выводом	forward chaining (логический вывод в экспертной системе от исходных посылок (от фактов, на которых будет основываться доказательство) к целевой гипотезе (цели, т.е. к тому, что нужно доказать) Alex_Odeychuk)
сделать вывод на основе доступных доказательств	reach a conclusion using the available evidences (Alex_Odeychuk)
сделать вывод на основе фактов	reach a conclusion based on facts (Alex_Odeychuk)
система нечёткого логического вывода	fuzzy logic system (Alex_Odeychuk)
система с обратным логическим выводом	backward chaining based system (Alex_Odeychuk)
система с прямым и обратным логическим выводом	forward and backward chaining system (Alex_Odeychuk)
следовать правилам логического вывода	follow the rules of inference (Alex_Odeychuk)
статистические методы и методы логического вывода	statistical and inference techniques (Alex_Odeychuk)
стратегия логического вывода	inference strategy (Alex_Odeychuk)
формирование логических выводов	inferencing (в экспертной системе ssn)
цепочка логических выводов	chain of thought (arxiv.org Alex_Odeychuk)
цепочка пошаговых логических выводов	series of intermediate reasoning steps (arxiv.org, rb.ru Alex_Odeychuk)
цикл прямого логического вывода	forward chaining loop (прямой логический вывод осуществляется от исходных посылок (от фактов, на которых будет основываться доказательство) к целевой гипотезе (цели, т.е. к тому, что нужно доказать) Alex_Odeychuk)
экспертная система с нечёткими выводами	fuzzy expert system (ssn)
язык продукционного программирования экспертных систем с прямым логическим выводом	forward-chaining rule-based programming language (Alex_Odeychuk)
язык разработки экспертных систем с прямым логическим выводом	forward chaining rule-based language (Alex_Odeychuk)