Terms containing automated reasoning

Subject	English	Russian
AI.	automated reasoning	автоматизированное формирование рассуждений (IBM Alex_Odeychuk)
AI.	automated reasoning	автоматизированное построение логического вывода (Alex_Odeychuk)
AI.	automated reasoning	машинный поиск логического вывода (в ИИ – одно из направлений машинного доказательства теорем (доказательство истинности некоторого утверждения исходя из декларированного множества аксиом) ssn)
IT	automated reasoning	автоматизация формулирования логических выводов
progr.	automated reasoning	автоматизированный поиск логического вывода (ssn)
logic	automated reasoning	автоматизированное построение логических рассуждений (Alex_Odeychuk)
AI.	automated reasoning	автоматизированные рассуждения (brooker.co.za ssn)
AI.	automated reasoning engine	механизм автоматического формирования рассуждений (Alex_Odeychuk)
AI.	automated reasoning engine	механизм автоматизированных рассуждений (Alex_Odeychuk)
AI.	automated reasoning engine	механизм автоматизированного поиска логического вывода (Alex_Odeychuk)
mil., avia.	automated reasoning test	автоматизированная логическая проверка
AI.	automated reasoning tool	инструментальное средство автоматизированных рассуждений (Alex_Odeychuk)
mil., avia.	automated reasoning tool for information management	автоматизированные логические средства для управления информационным обеспечением
AI.	perform automated reasoning	выполнять автоматизированное формирование рассуждений (Alex_Odeychuk)
AI.	perform automated reasoning	выполнять автоматизированный поиск логического вывода (Alex_Odeychuk)
astronaut.	spacecraft health automated reasoning prototype	прототип экспертной системы для автоматизированного контроля бортовых систем космического аппарата