Terms for subject Artificial intelligence containing logical inference

English	Russian
based on logical inference	на основе машины логического вывода (Alex_Odeychuk)
logical inference	логический вывод из фактов (подтверждающий суждение Alex_Odeychuk)
perform logical inference	выполнять логический вывод (Alex_Odeychuk)