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) |