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

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

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

Результаты и обсуждение. Проанализированы проблемы, которые возникают при изучении логики естественного языка в рамках R–лингвистики. Эти проблемы обсуждаются в трех аспектах: собственно логическом аспекте; языковом аспекте; аспекте соотнесения с действительностью. Рассмотрен весьма общий подход к семантике языка и сформулированы семантические аксиомы языка. Показаны проблемы языка и его логики, связанные с самым общим взглядом на семантику.

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

1. Поляков О.М. Категоризация в естественных языках для глаголов повышенной арности // Intellectual Technologies on Transport. № 4. 2019. C. 14–21.

2. Беклемешев В. Д. Заметки о женской логике. 2013. URL: wikimipt.org/wiki/Заметки_о_женской_логике (дата обращения: 20.12.2019).

3. Polyakov O. М. Linguistic Data Model for Natural Languages and Artificial Intelligence. Part 3. Recognition // DISCOURSE. 2019. Vol. 5, № 6. P. 132–143. https://doi.org/10.32603/2412-8562-2019-5-6-132-143.

4. Новиков П. С. Элементы математической логики. 2-е изд. М.: Наука, 1973.