| English | Russian |
| agent decision logic | логика решений агентов (говоря об интеллектуальных агентах Alex_Odeychuk) |
| answer set programming in logic | логическое программирование с множеством ответов (Alex_Odeychuk) |
| apply the business logic | применять правила предметной области (англ. термин взят из кн.: Groves M.D. AOP in .NET: Practical Aspect-Oriented Programming Alex_Odeychuk) |
| automated logic reasoning | автоматические логические рассуждения (illinois.edu Alex_Odeychuk) |
| backtracking-based search algorithm for deciding the satisfiability of propositional logic formulae in conjunctive normal form | алгоритм поиска с возвратом для определения выполнимости формул логики высказываний, записанных в конъюнктивной нормальной форме (Alex_Odeychuk) |
| be based on business logic | основываться на логике предметной области (Alex_Odeychuk) |
| built-in logic | встроенная логика (Alex_Odeychuk) |
| business logic | логика предметной области (совокупность правил, принципов, зависимостей поведения объектов предметной области, иными славами, реализация правил и ограничений автоматизируемых операций Alex_Odeychuk) |
| business logic object | объект предметной области (Alex_Odeychuk) |
| computational tree logic model | темпоральная модель ветвящегося времени (русс. перевод взят из статьи: Куриленко И.Е., Еремеев А.П. Реализация вывода в темпоральных моделях ветвящегося времени // Известия Академии наук. Теория и системы управления 107-127. Alex_Odeychuk) |
| concurrent constraints logic program | многопоточная логическая программа для решения задач удовлетворения ограничений (Alex_Odeychuk) |
| concurrent logic programming | многопоточное логическое программирование (Alex_Odeychuk) |
| converting into a boolean-logic form | преобразование в булевые формулы (Alex_Odeychuk) |
| decision support logic | логика поддержки принятия решений (Alex_Odeychuk) |
| disjunctive logic programming | дизъюнктивное логическое программирование (Alex_Odeychuk) |
| disjunctive logic programming system | система дизъюнктивного логического программирования (Alex_Odeychuk) |
| epistemic logic | логика знаний (подвид модальной логики, имеющий дело с высказываниями о знании (его состоянии) Alex_Odeychuk) |
| first-order logic semantics | семантика логики предикатов первого порядка (Alex_Odeychuk) |
| first-order logic with polymorphic types | логика первого порядка с полиморфными типами (Alex_Odeychuk) |
| fuzzy inference logic model | модель выводов на базе нечёткой логики (ssn) |
| fuzzy logic based expert system | экспертная система на основе нечёткой логики (Alex_Odeychuk) |
| fuzzy logic based expert system | экспертная система, основанная на нечёткой логике (Alex_Odeychuk) |
| fuzzy logic criteria | нечётко-логические критерии (Alex_Odeychuk) |
| fuzzy logic expert system | экспертная система, основанная на нечёткой логике (Alex_Odeychuk) |
| fuzzy logic model | нечётко-логическая модель (Alex_Odeychuk) |
| fuzzy logic system | система нечёткого логического вывода (Alex_Odeychuk) |
| fuzzy logic system | нечётко-логическая система (Alex_Odeychuk) |
| gradient descent logic | логика градиентного спуска (Alex_Odeychuk) |
| logic-based approach | подход, основанный на логике (Alex_Odeychuk) |
| logic-based probabilistic reasoning | вероятностные логические рассуждения (Alex_Odeychuk) |
| logic in artificial intelligence | логика в системах искусственного интеллекта (Alex_Odeychuk) |
| logic programming language for expert systems | язык логического программирования экспертных систем (Alex_Odeychuk) |
| logic programming rule engine | машина обработки фактов и правил логического программирования (Alex_Odeychuk) |
| logic-programming system | система логического программирования (Alex_Odeychuk) |
| main business logic | основные правила предметной области (Alex_Odeychuk) |
| non-concurrent logic programming | последовательное логическое программирование (Alex_Odeychuk) |
| probabilistic logic | логико-вероятностный (Alex_Odeychuk) |
| probabilistic logic network | логико-вероятностная сеть (Alex_Odeychuk) |
| probabilistic logic solver | решатель задач вероятностной логики (т.е. задач теории вероятностей, описанных в форме односмысловых логических суждений на основе функторов ортогонального базиса, что позволяет ставить и решать задачи компьютеризации интеллектуальной деятельности Alex_Odeychuk) |
| propositional logic formula | формула логики высказываний (Alex_Odeychuk) |
| rules based logic | логика, основанная на правилах (Alex_Odeychuk) |
| rules logic | логика обработки правил (Alex_Odeychuk) |
| statement in mathematical logic | высказывание на языке логики высказываний (Alex_Odeychuk) |
| statement in mathematical logic | высказывание в символической форме (Alex_Odeychuk) |
| temporal logic | овремёнённая логика (В советской научной литературе вместо термина "временная логика" встречается эквивалентное ему выражение "овременённая логика") |