TALK: НПММвЯ, доклад С.А. Славнова 6.11 "Логика тензорных термов для категориальных грамматик"

[Тихон Пшеницын]

В четверг 6 ноября в Математическом институте им. В.А. Стеклова РАН (с возможностью подключения онлайн) состоится заседание семинара "Некоторые применения математических методов в языкознании" с докладом Сергея Андреевича Славнова "Логика тензорных термов для категориальных грамматик".

 

Время: 6 ноября, 14:00-15:30.

Место: Математический институт им. В.А. Стеклова РАН, ул. Губкина, д. 8, ауд. 104. Для прохода потребуется студенческий/пропуск любой образовательной или научной организации либо паспорт.

 

Ссылка для регистрации: https://forms.gle/Ztoemh3HubwPN1Js8

(зарегистрировавшиеся слушатели получат ссылку для подключения и будут внесены в список на проход)

 

Аннотация:

Классические категориальные грамматики — такие как грамматика Ламбека — с математической точки зрения представляют собой исчисления, основанные на некоммутативном варианте интуиционистской линейной логики. Однако давно замечено, что одних некоммутативных логических операций часто оказывается недостаточно для моделирования даже очень простых феноменов естественного языка, связанных с нелокальными зависимостями и передвижением составляющих. Поэтому в литературе обсуждается множество других вариантов категориальных грамматик — как использующих чисто "коммутативную" линейную логику, так и объединяющих (в той или иной степени) коммутативную и некоммутативную структуры. Логика тензорных термов, которую мы предлагаем, — один из вариантов такого объединения. Это логическая система специально сконструирована для определения категориальных грамматик. В ней легко кодируется как исчисление Ламбека, так и коммутативная линейная логика. При этом, по сравнению с другими исчислениями такого рода, она обладает довольно простым синтаксисом.