Terms for subject Artificial intelligence containing theory of

English	Russian
base of theories	база теорий (Microsoft Alex_Odeychuk)
combinations of theories	комбинация теорий (множество формул в объединенной сигнатуре, являющееся дедуктивным замыканием их объединения Alex_Odeychuk)
computational cognitive theory of human deductive reasoning	вычислительная когнитивная теория дедуктивного мышления человека (Alex_Odeychuk)
computational theory of mind	вычислительная теория сознания (Alex_Odeychuk)
computational theory of the mind	вычислительная теория сознания (Alex_Odeychuk)
satisfiability of logical formulas over one or more theories	выполнимость логических формул в одной и более теориях (Alex_Odeychuk)
theory of human practical reasoning	теория человеческих практических рассуждений (Michael Bratman's theory (also referred to as Belief-Desire-Intention, or BDI) Alex_Odeychuk)
theory of machine learning	теория машинного обучения (Alex_Odeychuk)
theory of neural group selection	теория отбора групп нейронов (Alex_Odeychuk)