Terms for subject Artificial intelligence containing logic

English	Russian
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)
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)
disjunctive logic programming	дизъюнктивное логическое программирование (Alex_Odeychuk)
disjunctive logic programming system	система дизъюнктивного логического программирования (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)
logic-based approach	подход, основанный на логике (Alex_Odeychuk)
logic-based probabilistic reasoning	вероятностные логические рассуждения (Alex_Odeychuk)
logic in artificial intelligence	логика в системах искусственного интеллекта (Alex_Odeychuk)
logic input	логический ввод (igisheva)
logic programming language for expert systems	язык логического программирования экспертных систем (Alex_Odeychuk)
logic programming rule engine	машина обработки фактов и правил логического программирования (Alex_Odeychuk)
logic-programming system	система логического программирования (Alex_Odeychuk)
non-concurrent logic programming	последовательное логическое программирование (Alex_Odeychuk)
probabilistic logic network	логико-вероятностная сеть (Alex_Odeychuk)
probabilistic logic solver	решатель задач вероятностной логики (т.е. задач теории вероятностей, описанных в форме односмысловых логических суждений на основе функторов ортогонального базиса, что позволяет ставить и решать задачи компьютеризации интеллектуальной деятельности Alex_Odeychuk)
propositional logic formula	формула логики высказываний (Alex_Odeychuk)