В работе описывается алгоритм выделения общей с точностью до имён переменных подформулы двух элементарных конъюнкций предикатных формул. Доказываются оценки числа шагов его работы. Анализируется время применения его реализации в зависимости от параметров исходных данных. Предожен полиномиальный алгоритм проверки совпадения с точностью до имён переменных двух элементарных конъюнкций предикатных формул, правильность работы которого превышает 99,5\%.
Эти алгоритмы могут быть применены к построению многоуровневого описания класса объектов при условии, что каждый объект представлен как множество своих элементов и характеризуется свойствами этих элементов и отношениями между ними. Построенное многоуровневое описание позволяет существенно понизить показатель степени в оценке числа шагов решения NP-трудной задачи распознавания.
Библиогр. 16 наим.