Terms for subject Artificial intelligence containing in form

English	Russian
backtracking-based search algorithm for deciding the satisfiability of propositional logic formulae in conjunctive normal form	алгоритм поиска с возвратом для определения выполнимости формул логики высказываний, записанных в конъюнктивной нормальной форме (Alex_Odeychuk)
in computable form	в машиночитаемой форме (Alex_Odeychuk)
in natural language form	на естественном языке (Alex_Odeychuk)
information is represented in the form of deductive rules within the knowledge base	информация представлена в форме дедуктивных правил в базе знаний (Alex_Odeychuk)