?
SK-languages as a Powerful and Flexible Semantic Formalism for the Systems of Cross-Lingual Intelligent Information Access
Первой отправной точкой данной статьи является широко принятая идея применения в качестве перспективной методологии искусственного семантического языка-посредника для реализации межьязыкового интеллектуального информационного доступа к текстам на естественном языке (ЕЯ), хранящимся в Вебе. Второй отправной точкой является возникновение в компьютерной семантике в 2013 - 2016 годах большого интереса к семантическому формализму (более точно, нотации), названному Абстрактным представлением смыслов (АМС). Этот подход был предложен в 2013 г. в публикации Ассоциации компьютерной лингвистики (ACM) группой, состоящей из 10 исследователей ведущих научных центров Великобритании и США. В настоящей статье показано, что значительно более широкие перспективы разработки семантических языков-посредников по сравнению с АПС открывает теория К-представлений (ТКП), предложенная В.А. Фомичевым. Базовая математическая модель ТКП описывает закономерности структурированных значений текстов на ЕЯ. Математическая сущность подхода заключается в том, что модель предлагает систему, состоящую из десяти частичных операций на концептуальных структурах. Первая версия модели была опубликована В.А. Фомичевым в том же международном научном журнале Informatica. An International Journal of Computing and Informatics (Ljubljana). Вторая версия модели (изложенная в монографии В.А. Фомичева, выпущенной издательством Шпрингер в 2010 г.) определяет класс формальных языков, названных СК-языками (стандартными концептуальными языками). В настоящей статье показано, что СК-языки позволяют моделировать все выразительные механизмы нотации АПС. Преимуществами по сравнению с АПС являются, в частности, возможности построения семантических представлений (СП) сложных инфинитивных конструкций (выражающих цели, обязательства и т.д.), СП составных описаний понятий и множеств, и СП сложных дискурсов (связных текстов на ЕЯ) и фрагментов знаний.