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