Лингвистическая модель данных для естественных языков и искусственного интеллекта. Часть 6. Внешняя логика

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

Методология и источники. В качестве инструментов исследования используются результаты, полученные в предыдущих частях серии. В частности, для представления понятий и глаголов применяется глагольный способ категоризации. Для разработки необходимых математических представлений в области логики и семантики естественного языка используется сформулированное ранее понятие оператора интерпретации. Оператор интерпретации отображает предложения языка в модель с учетом ранее интерпретированных предложений.

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

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

1. Polyakov O. М. Linguistic data model for natural languages and artificial intelligence. Part 5. Introduction to Logic //DISCOURSE. 2020. Vol. 6, № 3. P. 109–117. DOI: https://doi.org/10.32603/ 2412-8562-2020-6-3-109-117.

2. ВитгенштейнЛ. Логико-философскийтрактат. М.: Канон+, 2017.

3. Polyakov O. М. Linguistic data model for natural languages and artificial intelligence. Part 1. Categorization // DISCOURSE. 2019. Vol. 5, № 4. P. 102–114. DOI: https://doi.org/10.32603/2412-8562-2019-5-4-102-114.