Лингвистическая модель данных для естественных языков и искусственного интеллекта. Часть 2. Идентификация

Введение. Статья продолжает серию публикаций по лингвистике отношений (далее R-лингвистика) и посвящена происхождению признаков, их независимости и определению размерности лингвистических пространств, аксиоматика которых сформулирована в первой части серии.

Методология и источники. Методы исследования заключаются в разработке необходимых математических понятий для лингвистики в области идентификации.

Результаты и обсуждение. Определено понятие признака и установлена его взаимосвязь с разложением лингвистических пространств. Это коренным образом изменяет отношение к признакам в лингвистике, где предполагается их «внешнее» происхождение. Показано, что разложение лингвистических пространств в признаковые пространства влечет за собой независимость признаков и возможность декомпозиции объектов идентификации. Это принципиально отличает признаки от параметров. На основе независимости признаков можно сформулировать понятие размерности лингвистических пространств, которое определяется как наименьшее число признаков, описывающих лингвистическое пространство. В решетке лингвистических пространств действует операция деления, которая позволяет упростить выделение признаков.

Заключение. Основными выводами являются следующие положения. Признаки, на основе которых производится идентификация объектов в категории, являются абстрактными математическими объектами, связанными с разложением лингвистических пространств. Признаки независимы друг от друга и позволяют не только производить разложение пространств, но и декомпозировать на части сами объекты идентификации. Их происхождение не связано с их присутствием в «окружающем мире», поэтому оно создает основу для возникновения языка. 

1. Биркгоф Г. Теория решеток / пер. В. Н. Салий; под ред. Л. А. Скорнякова. М.: Наука, 1984.

2. Поляков О. М. О систематизации // НТИ. Сер. 2. 1988. № 12. С. 21–28.

3. Шрейдер Ю. А. Равенство, сходство, порядок. М.: Наука, 1971.

4. Polyakov О. М. Linguistic Data Model for Natural Languages and Artificial Intelligence. Part 1. Categorization // DISCOURSE. 2019. Vol. 5, No. 4. P. 102–114. DOI: 10.32603/2412-8562-2019-5-4-102-114.

5. Nicolas J. M. First Order Logic Formalization for Functional, Multivalued and Mutual Dependencies // SIGMOD '78: International Conf. on Management of Data, Austin, Texas, 31 may – 02 june, 1978 / Univ. of Texas at Austin. Austin, Texas, 1978. P. 40–46. DOI: 10.1145/509252.509269.

6. Fagin R. Multivalued Dependencies and a New Normal Form for Relational Databases // ACM TODS.1977. Т. 2, No. 3. P. 262–278.