Russian | English |
автоматический доказатель теорем для задач выполнимости формул в теориях | automatic theorem prover for satisfiability modulo theories problems (Alex_Odeychuk) |
автоматический доказатель теорем для задач выполнимости формул в теориях | automatic theorem prover for SMT problems (SMT- сокр. от "satisfiability modulo theories" – "выполнимость формул в теориях" Alex_Odeychuk) |
автоматический доказатель теорем для задач выполнимости формул в теориях | automatic theorem prover for SMT problems |
база знаний для решения задач диагностики | 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) |
задача выполнимости булевых формул | SAT (boolean SATisfiability problem; является важной для теории вычислительной сложности алгоритмической задачей Alex_Odeychuk) |
задача выполнимости булевых формул | propositional satisfiability problem (boolean satisfiability problem Alex_Odeychuk) |
задача выполнимости булевых формул | boolean satisfiability problem (Alex_Odeychuk) |
задача выполнимости булевых формул в конъюнктивной нормальной форме | SATCNF (Alex_Odeychuk) |
задача выполнимости булевых формул в k-конъюнктивной нормальной форме | k-SAT (Alex_Odeychuk) |
задача выполнимости булевых формул в 2-конъюнктивной нормальной форме | 2-SAT (Alex_Odeychuk) |
задача выполнимости формул в теориях | SMT (сокр. от "satisfiability modulo theories"; задача выполнимости в теориях – это задача выполнимости логической формулы, выраженной в классической логике первого порядка с равенством, при наличии дополнительных соотношений, заданных при помощи определенных теорий; часто используемыми в информатике примерами теорий являются теории вещественных и целых чисел, а также теории поведения различных структур данных, таких как списки, массивы, битовые вектора и т.д. Alex_Odeychuk) |
задача выполнимости формул в теориях | satisfiability modulo theories (задача выполнимости логической формулы, выраженной в классической логике первого порядка с равенством, при наличии дополнительных соотношений, заданных при помощи определенных теорий; часто используемыми на практике примерами теорий являются теории вещественных и целых чисел, а также теории поведения различных структур данных, таких как списки, массивы, битовые вектора и т.д. Alex_Odeychuk) |
задача выполнимости формул в теориях | SMT problem (сокр. от "satisfiability modulo theories problem" 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) |