Программные продукты и системы

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

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

Подробное описание дается в статье «Извлечение смысла из предложений естественного языка», автор Вавиленкова А.И. (Национальный авиационный университет, г. Киев, Украина).