Terms for subject Artificial intelligence containing автоматическая

Russian	English
автоматическая генерация тестов	automatic test generation
автоматическая обработка естественного языка	automated language processing (Alex_Odeychuk)
автоматическая обработка естественных языков	automated language processing (Alex_Odeychuk)
автоматическая обработка текстов на естественном языке	automated natural language processing (Alex_Odeychuk)
автоматически регулируемый	self-regulating (Alex_Odeychuk)
автоматические рассуждения	automatic reasoning (Alex_Odeychuk)
автоматические средства оценивания	automated means of evaluation (напр., качества перевода Alex_Odeychuk)
автоматический анализ видеоинформации	machine vision (Alex_Odeychuk)
автоматический анализ видеоинформации	computer vision (Alex_Odeychuk)
автоматический анализ скрытых закономерностей в данных	automatic data mining (Alex_Odeychuk)
автоматический доказатель теорем	prover (корпорации AdaCore Alex_Odeychuk)
автоматический доказатель теорем	automatic theorem prover (Microsoft Alex_Odeychuk)
автоматический доказатель теорем для задач выполнимости формул в теориях	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
автоматический доказатель теорем о выполнимости формул в теориях	automatic theorem prover for satisfiability modulo theories (Alex_Odeychuk)
автоматический перебор альтернатив	automatic processing of alternatives (механизмом перебора (поиска) с возвратом в коде на языке логического программирования Alex_Odeychuk)
автоматический перебор с возвратами	automatic backtracking (Alex_Odeychuk)
автоматический перебор с возвратом	automatic backtracking (Alex_Odeychuk)
автоматический планировщик	automated planner (Alex_Odeychuk)
автоматический поиск с возвратом	automatic backtracking (Alex_Odeychuk)
автоматический поиск скрытых закономерностей в данных	automatic data mining (Alex_Odeychuk)
автоматический синтез информации	information fusion (Alex_Odeychuk)
автоматическое аннотирование видеоматериалов	automatic annotation of video (Alex_Odeychuk)
автоматическое доказательство теорем	automated deductio (синоним термина "automated theorem proving" Alex_Odeychuk)
автоматическое доказательство теорем	automated deduction (Alex_Odeychuk)
автоматическое доказательство теорем	automated theorem proving (Alex_Odeychuk)
автоматическое доказательство теорем	ATP (сокр. от "automated theorem proving" Alex_Odeychuk)
автоматическое доказательство теорем геометрии	automated geometric theorem proving (Alex_Odeychuk)
автоматическое извлечение знаний	automatic knowledge acquisition (Alex_Odeychuk)
автоматическое комментирование видеозаписей	automatic video commenting (Alex_Odeychuk)
автоматическое комментирование видеоматериалов	automatic video commenting (Alex_Odeychuk)
автоматическое конструирование баз знаний для поддержки логического вывода	automatic construction of inference-supporting knowledge bases (Alex_Odeychuk)
автоматическое обнаружение знаний в данных	automatic data mining (Alex_Odeychuk)
автоматическое планирование	automated planning (Alex_Odeychuk)
автоматическое постредактирование	automatic post-editing (Alex_Odeychuk)
автоматическое распознавание типа личности	computational personality recognition (Lory Rosh)
автоматическое распознавание типа личности по тексту	personality recognition from text (часто сокращается как PRT – см. работы Fabio Celli Lory Rosh)
автоматическое рассуждение	automatic reasoning (Alex_Odeychuk)
автоматическое создание обзоров информационного наполнения текстовых и аудиовизуальных материалов	automatic summarization (text, video, and audio Alex_Odeychuk)
алгоритм автоматического управления	automated control algorithm (Alex_Odeychuk)
виртуальный собеседник с механизмом автоматической обработки естественного языка	natural language processing chatterbot (Alex_Odeychuk)
выполнять автоматическое обнаружение предвзятых формулировок в тексте	automatically identify biased language in text (CNN Alex_Odeychuk)
задача автоматического планирования	automated planning problem (Alex_Odeychuk)
инструмент для автоматической генерации описаний к запросам на включение изменений	tool for automatically generating descriptions for pull requests (Alex_Odeychuk)
интерактивная система автоматического доказательства теорем	interactive proof checker (корпорации AdaCore Alex_Odeychuk)
информация, прошедшая автоматическую аналитическую обработку	automated insights (Alex_Odeychuk)
конкурс систем автоматического доказательства теорем	ATP system competition (ATP – сокр. от "automated theorem proving" Alex_Odeychuk)
методология автоматического доказательства теорем	theorem proving methodology (автоматическое доказательство теорем – одно из направлений исследований и разработок в области искусственного интеллекта Alex_Odeychuk)
механизм автоматического формирования рассуждений	automated reasoning engine (Alex_Odeychuk)
результаты автоматической аналитической обработки	automated insights (Alex_Odeychuk)
система автоматического доказательства теорем	proof assistant (Alex_Odeychuk)
система автоматического доказательства теорем	automated theorem prover (Microsoft Alex_Odeychuk)
система автоматического доказательства теорем	automated theorem proving system (Alex_Odeychuk)
система автоматического доказательства теорем	ATP system (сокр. от "automated theorem proving system" Alex_Odeychuk)
система автоматического доказательства теорем общего назначения	generic proof assistant (Alex_Odeychuk)
система автоматического планирования и составления графика	automated planning and scheduling system (Alex_Odeychuk)
система автоматической классификации текстов правовых актов	system to automatically classify legal text (Alex_Odeychuk)
система с искусственного интеллекта для автоматической генерации тестов	AI for automatic test generation (Alex_Odeychuk)
системой автоматического доказательства теорем	theorem prover (Alex_Odeychuk)
технология автоматического распознавания речи	automatic speech recognition technology (Alex_Odeychuk)
технология автоматического распознавания речи	ASR technology (ASR – сокр. от "automatic speech recognition" Alex_Odeychuk)
язык описания задач автоматического планирования	action language (Alex_Odeychuk)
язык описания задач автоматического планирования	language for expressing automated planning problem instances (Alex_Odeychuk)
язык описания логических систем для автоматического поиска доказательств	automated verification and proof description language (Alex_Odeychuk)
язык программирования на основе автоматического доказательства теорем	theorem proving language (Alex_Odeychuk)