Математика основана на нумерации и её предметом являются конструктивные регулярные структуры. В идеале представима ситуация, когда пронумерованы все термины и тогда вся актуальная лексика укладывается в определенные "решетки". В реальной практике уже пронумерованы все литералы некого "алфавита" и, фактически, все символьные конструкции при программировании гипотетически погружены в такую решетку. Очевидно, что можно пронумеровать "семантические" символы и оптимизировать такие нерегулярные структуры. И тогда можно сгенерировать ту же проблему оптимизации и формулировании критериев такой оптимизации. Например, выделить синонимические термины и пытаться конструировать некую "блочную" матричную разреженность. То есть оптимизировать распределение, надеясь на выделение минимальной зависимости таких "контекстов". Интересно понять, насколько возможно такое в принципе. Если да, хотя бы частично, то можно утверждать о тематической классификации или даже о классификации концепций. Это не решает проблему всей лексики, в принципе, но для некоторых лексический проекций и для некоторой формальной грамматики, например, CAP-грамматики и той же научной (латино-эллинсокой) лексики, основного конвенционального ядра, такое конструирование возможно.
1.45 Моноид 2.45 Мораль 3.45 Морфизм 4.45 Мотив 5.45 Музей 6.45 Мульти 7.45 (Мундиаль, Мундир, Мундштук, Мускул) Муляж
Комментариев нет:
Отправить комментарий