| Russian | English |
| автоматизированное построение логического вывода | automated reasoning (Alex_Odeychuk) |
| автоматическое конструирование баз знаний для поддержки логического вывода | automatic construction of inference-supporting knowledge bases (Alex_Odeychuk) |
| алгоритм логического вывода | 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) |
| вероятностные логические рассуждения | logic-based probabilistic reasoning (Alex_Odeychuk) |
| встроенная логическая теория | built-in logical theory (Alex_Odeychuk) |
| выводы, полученные на основе правил логического вывода | conclusions derived out of inference rules (Alex_Odeychuk) |
| выполнимость логических формул | satisfiability of logical formulas (Microsoft Alex_Odeychuk) |
| выполнимость логических формул в одной и более теориях | satisfiability of logical formulas over one or more theories (Alex_Odeychuk) |
| выполнимость логических формул, содержащих кванторы | satisfiability of logical formulas with quantifiers (Microsoft Alex_Odeychuk) |
| выполнять автоматизированный поиск логического вывода | perform automated reasoning (Alex_Odeychuk) |
| выполнять логический вывод | perform logical inference (Alex_Odeychuk) |
| выполнять рассуждения по цепочке логических выводов | perform chain-of-thought reasoning (singularityhub.com Alex_Odeychuk) |
| дизъюнктивное логическое программирование | disjunctive logic programming (Alex_Odeychuk) |
| задача логического вывода | inference problem (Nature Alex_Odeychuk) |
| задачи формирования рассуждений и логического вывода | reasoning and inference problems (Nature Alex_Odeychuk) |
| задержка на логический вывод | inference latency (lower is better  gputechconf.com Alex_Odeychuk) |
| извлечение из текста логически организованной информации понятийного характера | extraction of semantic information from text (Alex_Odeychuk) |
| компонент логического вывода | inference engine (часть экспертной системы, которая выполняет сопоставление информации пользователя с известными фактами и правилами логического вывода, хранящимися в базе знаний, и вырабатывает результат, на котором затем основывается решение, предлагаемое экспертной системой Alex_Odeychuk) |
| конструирование баз знаний для поддержки логического вывода | construction of inference-supporting knowledge bases (Alex_Odeychuk) |
| лингвистическое нечётко-логическое моделирование | linguistic fuzzy modeling (корпорации AdaCore Alex_Odeychuk) |
| логическая программа | theory (программа на языке логического программирования Alex_Odeychuk) |
| логически выводимое знание | inferred knowledge (Alex_Odeychuk) |
| логически организованная информация понятийного характера | semantic information (Alex_Odeychuk) |
| логический ввод | logic input (igisheva) |
| логический вывод в реальном времени | 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) |
| логическое программирование с множеством ответов | answer set programming in logic (Alex_Odeychuk) |
| машина логического вывода | inference engine (часть экспертной системы, которая выполняет сопоставление информации пользователя с известными фактами и правилами логического вывода, хранящимися в базе знаний, и вырабатывает результат, на котором затем основывается решение, предлагаемое экспертной системой) |
| машина логического вывода | rule engine (выполняет логический вывод из предварительно построенной базы фактов и правил Alex_Odeychuk) |
| машина обработки правил с прямым и обратным логическим выводом | forward and backward chaining inference based rules engine (Alex_Odeychuk) |
| машина обработки фактов и правил логического программирования | logic programming rule 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 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) |
| многопоточная логическая программа для решения задач удовлетворения ограничений | concurrent constraints logic program (Alex_Odeychuk) |
| многопоточное логическое программирование | concurrent logic programming (Alex_Odeychuk) |
| модель логического вывода | inference model (Alex_Odeychuk) |
| на основе машины логического вывода | based on logical inference (Alex_Odeychuk) |
| на основе нечётко-логических построений | fuzzy (Alex_Odeychuk) |
| научные исследования в области правил логического вывода | research on inference rules (Alex_Odeychuk) |
| нечёткий логический вывод | fuzzy inference |
| нечётко-логическая модель | fuzzy model (Alex_Odeychuk) |
| нечётко-логическая модель | fuzzy logic model (Alex_Odeychuk) |
| нечётко-логическая система | fuzzy logic system (Alex_Odeychuk) |
| нечётко-логические критерии | fuzzy logic criteria (Alex_Odeychuk) |
| нечётко-логический алгоритм | fuzzy algorithm (Alex_Odeychuk) |
| нечётко-логическое моделирование | fuzzy modeling (Alex_Odeychuk) |
| нечётко-логическое моделирование процесса принятия решений | fuzzy modeling for decision making (Alex_Odeychuk) |
| нечётко-логическое правило | fuzzy rule (Alex_Odeychuk) |
| обеспечивать поддержку прямого и обратного логического вывода в реальном времени | support forward and backward chaining inference in a real-time environment (Alex_Odeychuk) |
| обратный логический вывод | backward-chaining inference (Alex_Odeychuk) |
| обратный логический вывод | backward reasoning (backward reasoning Alex_Odeychuk) |
| обратный логический вывод | goal-directed strategy (Alex_Odeychuk) |
| обратный логический вывод | backward chaining inference (Alex_Odeychuk) |
| определить выполнимость логических формул | check satisfiability of logical formulas (Alex_Odeychuk) |
| последовательное логическое программирование | non-concurrent logic programming (Alex_Odeychuk) |
| построение логического вывода | reasoning (IBM Alex_Odeychuk) |
| предметно-логическая схема | cognitive schema (Alex_Odeychuk) |
| проверить выполнимость логических формул | check satisfiability of logical formulas (Alex_Odeychuk) |
| продукционное программирование экспертных систем с прямым логическим выводом | forward-chaining rule-based programming (Alex_Odeychuk) |
| процедура логического вывода без ограничений | unconstrained inference procedure (Alex_Odeychuk) |
| процедура логического вывода в ограничениях | constrained inference procedure (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) |
| система дизъюнктивного логического программирования | disjunctive logic programming system (Alex_Odeychuk) |
| система логического программирования | logic-programming system (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) |
| язык логического программирования экспертных систем | logic programming language for expert systems (Alex_Odeychuk) |
| язык описания логических систем для автоматического поиска доказательств | automated verification and proof description language (Alex_Odeychuk) |
| язык продукционного программирования экспертных систем с прямым логическим выводом | forward-chaining rule-based programming language (Alex_Odeychuk) |
| язык разработки экспертных систем с прямым логическим выводом | forward chaining rule-based language (Alex_Odeychuk) |
