| Russian | English |
| автоматический доказатель теорем для задач выполнимости формул в теориях | automatic theorem prover for SMT problems |
| автоматический доказатель теорем для задач выполнимости формул в теориях | automatic theorem prover for satisfiability modulo theories problems (Alex_Odeychuk) |
| база знаний для решения задач диагностики | diagnostic knowledge base (Alex_Odeychuk) |
| выполнять действия для решения задач | take actions to solve problems (singularityhub.com Alex_Odeychuk) |
| выполнять задачи реальной сложности | carry out real-life situation scenarios (русс. перевод выполнен с использованием термина "задача реальной сложности", взятого из кн.: Нильсон Н. Принципы искусственного интеллекта Alex_Odeychuk) |
| деятельность по постановке задач | problem formulation activity (Alex_Odeychuk) |
| деятельность по решению задачи | problem-solving activity (Alex_Odeychuk) |
| для задач в области искусственного интеллекта | artificial-intelligence (Alex_Odeychuk) |
| для задач машинного обучения | for machine learning tasks (Computerworld Alex_Odeychuk) |
| для задач обработки естественного языка | natural language processing (Alex_Odeychuk) |
| для задач реальной сложности | for the real world (из кн.: Нильсон Н. Принципы искусственного интеллекта Alex_Odeychuk) |
| ежегодный конкурс решателей задач выполнимости формул в теориях | annual satisfiability modulo theories competition (Alex_Odeychuk) |
| задача автоматического планирования | automated planning problem (Alex_Odeychuk) |
| задача выполнимости | SAT (булевых формул Alex_Odeychuk) |
| задача выполнимости булевых формул | propositional satisfiability problem (boolean satisfiability problem Alex_Odeychuk) |
| задача выполнимости булевых формул | SAT (boolean SATisfiability problem; является важной для теории вычислительной сложности алгоритмической задачей Alex_Odeychuk) |
| задача выполнимости булевых формул | boolean satisfiability problem (Alex_Odeychuk) |
| задача выполнимости булевых формул в k-конъюнктивной нормальной форме | k-SAT (Alex_Odeychuk) |
| задача выполнимости булевых формул в конъюнктивной нормальной форме | SATCNF (Alex_Odeychuk) |
| задача выполнимости булевых формул в 2-конъюнктивной нормальной форме | 2-SAT (Alex_Odeychuk) |
| задача выполнимости формул в теориях | SMT (сокр. от "satisfiability modulo theories"; задача выполнимости в теориях – это задача выполнимости логической формулы, выраженной в классической логике первого порядка с равенством, при наличии дополнительных соотношений, заданных при помощи определенных теорий; часто используемыми в информатике примерами теорий являются теории вещественных и целых чисел, а также теории поведения различных структур данных, таких как списки, массивы, битовые вектора и т.д. Alex_Odeychuk) |
| задача выполнимости формул в теориях | SMT problem (сокр. от "satisfiability modulo theories problem" Alex_Odeychuk) |
| задача выполнимости формул в теориях | satisfiability modulo theories (задача выполнимости логической формулы, выраженной в классической логике первого порядка с равенством, при наличии дополнительных соотношений, заданных при помощи определенных теорий; часто используемыми на практике примерами теорий являются теории вещественных и целых чисел, а также теории поведения различных структур данных, таких как списки, массивы, битовые вектора и т.д. Alex_Odeychuk) |
| задача выполнимости формул в теориях | SMT (сокр. от "satisfiability modulo theories" Alex_Odeychuk) |
| задача выполнимости формул в теориях | satisfiability modulo theories problem (Alex_Odeychuk) |
| задача логического вывода | inference problem (Nature Alex_Odeychuk) |
| задача машинного обучения | machine learning task (Computerworld Alex_Odeychuk) |
| задача машинного обучения | machine learning problem (Computerworld Alex_Odeychuk) |
| задача машинного перевода большого массива текстов | large scale machine translation task (Alex_Odeychuk) |
| задача многоклассовой классификации | multiclass classification problem (Alex_Odeychuk) |
| задача многокритериальной оптимизации | multi-objective optimization problem (Alex_Odeychuk) |
| задача о выполнении условий | constraint satisfaction problem (Alex_Odeychuk) |
| задача обработки текстов на естественном языке в системе искусственного интеллекта с глубоким обучением | text deep learning task (Alex_Odeychuk) |
| задача обучения системы нейронного машинного перевода | NMT training task (Alex_Odeychuk) |
| задача обучения целенаправленному поведению | goal-directed behavior learning task (Alex_Odeychuk) |
| задача обучения целеустремлённого агента | task of training a goal-directed agent (задача обучения целеустремлённого агента в процессе взаимодействия — task of training a goal-directed agent through interaction Alex_Odeychuk) |
| задача общего характера | general problem (Alex_Odeychuk) |
| задача представления знаний | knowledge representation problem (Alex_Odeychuk) |
| задача представления знаний | knowledge representation task (Alex_Odeychuk) |
| задача прогнозирования структуры | structured-prediction problem (Alex_Odeychuk) |
| задача распознавания речи | speech recognition task (Microsoft Alex_Odeychuk) |
| задача реальной сложности | real-world problem (из кн.: Нильсон Н. Принципы искусственного интеллекта Alex_Odeychuk) |
| задача с ограничениями | constraint problem (Alex_Odeychuk) |
| задача создания изображений на основе текстового описания | text-to-image (geseb) |
| задача удовлетворения ограничений | constraint problem (русс. перевод взят из научной статьи: Щербина О.А. Удовлетворение ограничений и программирование в ограничениях Alex_Odeychuk) |
| задача унификации | unification problem (Alex_Odeychuk) |
| задача формирования выводов | conclusion generation problem (Alex_Odeychuk) |
| задача формирования рассуждений | reasoning problem (Nature Alex_Odeychuk) |
| задачи, зависящие от предметной области | domain-specific concern (Alex_Odeychuk) |
| задачи формирования рассуждений и логического вывода | reasoning and inference problems (Nature Alex_Odeychuk) |
| когда предлагалось выполнить новые задачи | when prompted to do new tasks (When prompted to do new tasks they weren’t trained for, robots were only successful 32 percent of the time. — Когда роботам предлагалось выполнить новые задачи, которым они не были обучены, они справлялись с ними лишь в 32% случаев.  singularityhub.com Alex_Odeychuk) |
| компилятор на основе решателя задач выполнимости булевых формул | SAT compiler (Alex_Odeychuk) |
| конкурс решателей задач выполнимости формул в теориях | satisfiability modulo theories competition (Alex_Odeychuk) |
| криптоарифметическая задача | cryptoarithmetic puzzle (University of Melbourne, Австралия Alex_Odeychuk) |
| масштабируемый параллельный решатель численных задач удовлетворения ограничений | scalable parallel numerical constraint solver (IBM Alex_Odeychuk) |
| международный семинар по решению задач выполнимости формул в теориях | international workshop on satisfiability modulo theories (Alex_Odeychuk) |
| многопоточная логическая программа для решения задач удовлетворения ограничений | concurrent constraints logic program (Alex_Odeychuk) |
| модель решателя задач | solver model (Alex_Odeychuk) |
| находить решение задач общего характера | perform general problem solving (Alex_Odeychuk) |
| обладать чем-либо, что соответствует требованиям решаемой задачи | have something up to the task (Alex_Odeychuk) |
| облегчать выполнение задач | have facilitated tasks (singularityhub.com Alex_Odeychuk) |
| объективное средство сопоставления производительности различных решателей задач выполнимости формул в теориях | objective means of comparing SMT solvers (контекстуальный перевод на русс. язык Alex_Odeychuk) |
| объяснить на примере решения задачи реальной сложности | explain with a real life scenario (русс. перевод выполнен с использованием термина "задача реальной сложности", взятого из кн.: Нильсон Н. Принципы искусственного интеллекта Alex_Odeychuk) |
| пересекающиеся задачи | concerns (Alex_Odeychuk) |
| последующая задача обучения | downstream learning task (Alex_Odeychuk) |
| при решении задач реальной сложности | in real-world use (Alex_Odeychuk) |
| при решении задач реальной сложности | in real-world contexts (Alex_Odeychuk) |
| прогресс в научно-исследовательских и опытно-конструкторских разработках решателей задач выполнимости формул в теориях | advance in SMT solvers (контекстуальный перевод на русс. язык Alex_Odeychuk) |
| пространство решений задачи | problem-solving landscape (Alex_Odeychuk) |
| рабочая нагрузка в области задач искусственного интеллекта | AI workload (singularityhub.com Alex_Odeychuk) |
| реалистичная задача | real-world task (из кн.: Гифт Н. Прагматичный ИИ. Машинное обучение и облачные технологии, 2019 Alex_Odeychuk) |
| решатель задач вероятностной логики | probabilistic logic solver (т.е. задач теории вероятностей, описанных в форме односмысловых логических суждений на основе функторов ортогонального базиса, что позволяет ставить и решать задачи компьютеризации интеллектуальной деятельности Alex_Odeychuk) |
| решатель задач выполнимости булевых формул | SAT solver (Alex_Odeychuk) |
| решатель задач выполнимости формул в теориях | satisfiability modulo theories solver (Alex_Odeychuk) |
| решатель задач выполнимости формул в теориях | SMT solver (SMT – сокр. от "satisfiability modulo theories"; Microsoft Alex_Odeychuk) |
| решатель задач поиска устойчивых моделей | answer set solver (program for generating stable models Alex_Odeychuk) |
| решатель задач с множеством ответов | answer set solver (Alex_Odeychuk) |
| решатель задач удовлетворения ограничений | constraint satisfaction solver (Alex_Odeychuk) |
| решатель задач удовлетворения ограничений | CSP solver (CSP – сокр. от "constraint satisfaction problem"; IBM Alex_Odeychuk) |
| решатель задач удовлетворения ограничений | constraint solver (Alex_Odeychuk) |
| решатель задач удовлетворения ограничений для дискретных данных | finite domain constraint solver (Alex_Odeychuk) |
| решатель задач удовлетворения ограничений над конечными областями | finite domain constraint solver (Alex_Odeychuk) |
| решатель задач удовлетворения ограничений над непрерывными областями | numerical constraint solver (Alex_Odeychuk) |
| решатель задач удовлетворения ограничений общего назначения | general purpose constraint satisfaction solver (Alex_Odeychuk) |
| решатель численных задач удовлетворения ограничений | NCSP solver (NCSP – сокр. от "numerical constraint satisfaction problem"; IBM Alex_Odeychuk) |
| решатель численных задач удовлетворения ограничений | numerical constraint solver (IBM; русс. перевод взят из работы Института систем информатики им. А.П. Ершова СО РАН по алгоритмам программирования в ограничениях Alex_Odeychuk) |
| решать задачи в области компьютерного зрения | solve computer vision (roboflow.com Alex_Odeychuk) |
| решать задачи из области искусственного интеллекта на основе логического вывода и привлечения здравого смысла | perform human-like reasoning (Alex_Odeychuk) |
| решать задачи реальной сложности | carry out real-life situation scenarios (русс. перевод выполнен с использованием термина "задача реальной сложности", взятого из кн.: Нильсон Н. Принципы искусственного интеллекта Alex_Odeychuk) |
| решать задачи удовлетворения ограничений | do constraint solving (Alex_Odeychuk) |
| решать задачу выполнимости формул | solve a satisfiability problem (контекстуальный перевод на русс. язык Alex_Odeychuk) |
| решать задачу выполнимости формул в теория | solve a satisfiability problem (контекстуальный перевод на русс. язык Alex_Odeychuk) |
| решение задач выполнимости в теориях | satisfiability modulo theories solving (Microsoft Alex_Odeychuk) |
| решение задач общего характера | general problem solving (Alex_Odeychuk) |
| решение задач реальной сложности | real-world problem solving (Alex_Odeychuk) |
| решения задач реальной сложности | solutions for the real challenges you face (русс. перевод выполнен с использованием термина "задача реальной сложности", взятого из кн.: Нильсон Н. Принципы искусственного интеллекта Alex_Odeychuk) |
| решить задачу в рамках ограничений по ресурсам | solve the problem within resource constraints (Alex_Odeychuk) |
| семинар по решателям задач выполнимости формул в теориях | SMT workshop (Alex_Odeychuk) |
| семинар по решению задач выполнимости формул в теориях | workshop on satisfiability modulo theories (Alex_Odeychuk) |
| сервер-решатель задач удовлетворения ограничений | backend constraint solver (Alex_Odeychuk) |
| слабоформализованная задача | ill-defined problem (Alex_Odeychuk) |
| сложная задача | complex problem (состоящая из множества подзадач, требующих применения различных методов имитации интеллектуальной деятельности человека (аналитических моделей, экспертных систем, искусственных нейронных сетей, искусственных иммунных систем, нечетко-логических систем, генетических алгоритмов, имитационных статистических моделей)) |
| сложная задача | complex problem |
| совместимый решатель задач выполнимости формул в теориях | conforming SMT solver (Alex_Odeychuk) |
| соревнование решателей задач выполнимости формул в теориях | SMT competition (Alex_Odeychuk) |
| соревнование решателей задач выполнимости формул в теориях | SMT-COMP (сокр. от "SMT competition" Alex_Odeychuk) |
| соревнование решателей задач выполнимости формул в теориях | SMT solver competition (Alex_Odeychuk) |
| соревнования решателей задач выполнимости формул в ограничениях | SMT competition (Alex_Odeychuk) |
| суперкомпьютер для задач в области искусственного интеллекта | AI supercomputer (singularityhub.com Alex_Odeychuk) |
| суперкомпьютерный вычислительный кластер для исследовательских задач в области искусственного интеллекта | AI research supercluster (Alex_Odeychuk) |
| технология решения задач удовлетворения ограничений | constraint solving technology (Microsoft Alex_Odeychuk) |
| формула задачи выполнимости в теориях | SMT formula (Alex_Odeychuk) |
| функциональные возможности решателей задач выполнимости формул в теориях | capabilities of SMT solvers (Alex_Odeychuk) |
| численная задача удовлетворения ограничений | NCSP (сокр. от "numerical constraint satisfaction problem"; IBM Alex_Odeychuk) |
| численная задача удовлетворения ограничений | numerical constraint satisfaction problem (IBM; русс. перевод взят из работы Института систем информатики им. А.П. Ершова СО РАН по алгоритмам программирования в ограничениях Alex_Odeychuk) |
| эталонная задача для решателя задач выполнимости формул в теориях | SMT benchmark problem (Alex_Odeychuk) |
| эффективный метод решения задач реальной сложности | efficient method for solving real-world problems (Alex_Odeychuk) |
| язык описания задач автоматического планирования | action language (Alex_Odeychuk) |
| язык описания задач автоматического планирования | language for expressing automated planning problem instances (Alex_Odeychuk) |
