Определения имён факторов через имена признаков

Проблема имён факторов поставлена ещё в 1975 году. Может быть, и раньше. И.Б. Мучник в книге «Факторный анализ в социально – экономических исследованиях» определяет начальное имя фактора как длинное слово из имён признаков, на которых построен фактор. И процедуры сжатия длинного слова в короткое, имеющее смысл, у него нет. Я придумал два метода для решения этой проблемы. Первый – применяет математическую лингвистику, второй – построение «возможных миров». Оба метода трудоёмки, но в общем случае (когда нет дополнительной информации) это необходимая трудоёмкость. Второй метод использует принудительную несовместность задачи. При этом помогает так называемая супервентность. Это понятие введено Дж. Муром в 1940 году, но не использовалось в математических методах. Супервентность – это отношение детерминированности системы состояниями другой системы. Оно использовано Дэвидом Чалмерсом ( специалистом по искусственному интеллекту) в 1996 году. Но и у него нет математического описания этого отношения. В качестве частного случая можно указать на линейные неравенства – следствия системы неравенств.