Terms for subject Artificial intelligence containing logical

English	Russian
based on logical inference	на основе машины логического вывода (Alex_Odeychuk)
built-in logical theory	встроенная логическая теория (Alex_Odeychuk)
check satisfiability of logical formulas	проверить выполнимость логических формул (Alex_Odeychuk)
check satisfiability of logical formulas	определить выполнимость логических формул (Alex_Odeychuk)
logical inference	логический вывод из фактов (подтверждающий суждение Alex_Odeychuk)
logical problem-solving task	задача на логическое мышление (openai.com Alex_Odeychuk)
logical problem-solving task	задача логического вывода (openai.com Alex_Odeychuk)
logical reasoning capabilities	способность к логическим рассуждениям (neowin.net Alex_Odeychuk)
logical reasoning question	вопрос на логическое мышление (habr.com Alex_Odeychuk)
perform logical inference	выполнять логический вывод (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)