Логическое исчисление для решения задач в сильно структурированных предметных областях

Предлагается модификация секвенциального исчисления предикатов первого порядка с целью приблизить его систему понятий к системе понятий, принятой в «искусственном интеллекте». Для этого в исчисление вводится понятие класса объектов как совокупности объектов с одинаковой структурой и формулируются правила для вывода и использования утверждений о принадлежности объектов к определенному классу с учетом их (объектов) внутренней структуры. Обсуждаются возможности полученного исчисления в формализации центральной для «искусственного интеллекта» проблемы: проблемы поиска адекватного представления задачи как части процедуры ее решения.