Abstract: В работе [1] предложено расширение модели дистрибутивной семантики естественных языков DisCoCat [2] до модели HO-DiscoCat. В этом расширении, в частности, определен класс строковых диаграмм, допускающих вложенность, и построен алгоритм, обеспечивающий равномерное конструктивное преобразование вложенных строковых диаграмм в объекты дистрибутивной семантики (векторы, матрицы, тензоры). В данной работе с использованием результатов [1] определен алгоритм, обеспечивающий равномерное конструктивное преобразование синтаксических выражений фрагмента интенсиональной логики Монтегю во вложенные строковые диаграммы модели HO-DisCoCat. Этот фрагмент замкнут относительно логических связок конъюнкции, дизъюнкции и отрицания, Лямбда-абстракции и аппликации, и обладает выразительными возможностями, позволяющими формализовать достаточно сложные предложения естественного языка (например, содержащими наречия). 1. Toumi A., De Felice G. Higher-Order DisCoCat (Peirce-Lambek-Montague Semantics). 2023. ArXiv. 2. Coecke B., Sadrzadeh M., Clark S. Mathematical foundations for a compositional distributional model of meaning. Linguistic Analysis. 2010. V. 36(1-4). P. 345–384

Cite: Стрепетова В.В. , Стукачев А.И.
Дистрибутивная интерпретация семантики Монтегю
V Конференция математических центров России 11-16 авг. 2025