Некоторые применения математических методов в языкознании
Некоторые применения математических методов в языкознании

Ближайшее заседание семинара:
Даниил Борисович Тискин (ВШЭ СПб, ИЛИ РАН). Некоторые параллели между фокусом и модальностью.
Время: 9 октября, 14:00-15:30.
Место: Математический институт им. В.А. Стеклова РАН, ул. Губкина, 8, ауд. 110. Для прохода потребуется студенческий/пропуск любой образовательной или научной организации либо паспорт.
Ссылка для регистрации: https://forms.gle/TybWEje5GQ1AySLP9 (зарегистрировавшимся придет ссылка для онлайн-подключения).
Анонс:
Модальность — семантическое поле естественного языка, ответственное за его способность описывать неактуальные, альтернативные действительности ситуации. С другой стороны, фокус традиционно связывают со способностью семантики обращаться к множествам альтернативных друг другу значений (Rooth 1985 и др.): например, предложение Только ПЕТЯ пришёл предполагает, что Петя пришёл, и отрицает, что пришли альтернативные Пете индивиды.
И модальность, и фокус связаны с операторами (модальные наречия, глаголы мыслительной деятельности vs. фокусные частицы), имеющими сферу действия и переключающими интерпретацию в другой режим (в другой возможный мир vs. в альтернативные означивания фокусных переменных, Kratzer 1991). Это порождает ряд более или менее очевидных сходств и нетривиальных различий между ними, набор которых отчасти зависит от выбранной формализации каждого из явлений. В числе других параллелей в докладе будет рассмотрена формализация синтаксиса и семантики конструкций с фокусом, позволяющая объяснить поведение семантических признаков т. н. «связанных дейктиков» (fake indexicals), как her в предложении Only MARY did her homework, которое может означать, что другие, помимо Мэри и вне зависимости от пола, не сделали свои уроки.
Заседания семинара
25.09.2025 Н.В. Сердобольская (ИЯз РАН), О.И. Беляев (МГУ, ИЯз РАН). База коннекторов русского языка Рускон: проблемы и задачи представления лексикографических данных. Часть 1
Докладчики представили совместную работу следующих авторов: Н.В. Сердобольская (ИЯз РАН), И.М. Кобозева (МГУ, ИЯз РАН), О.И. Беляев (МГУ, ИЯз РАН), А.И. Крюкова (МГУ, ИРЯ РАН), Д.А. Пилюгина (МГУ), А.А. Осипова (МГУ, ИЯз РАН), А.А. Данилова (МГУ), Е.А. Колобродова (МГУ, ИЯз РАН).
Доклад посвящен разработке базы данных коннекторов русского языка - средств связи клауз (Рускон). База содержит коннекторы, представленные в ряде академических словарей и словарей служебных слов. Все коннекторы характеризуются по ряду синтаксических и семантических признаков - позиция клаузы и позиция коннектора в ее составе, наличие, обязательность и позиция коррелята, состав коннектора и допустимость его ветвления и модификации, употребление коннектора в независимых предложениях; базовый семантический тип коннектора, возможность прагматических употреблений - инферентивного, иллокутивного и метатекстового.
Хорошо известны и активно используются положительные стороны цифрового формата представления данных - возможность быстрого поиска и фильтрации, гиперссылки, одновременная работа в онлайн-режиме и т.п. Однако при переходе к цифровому формату неизбежно встает ряд проблем, из которых самые очевидные - терминологическая несогласованность в источниках, жесткие требования к структуре базы, необходимость принятия решения по каждому параметру (в отличие от словаря, где единица может быть охарактеризована не по всем параметрам). Есть и особая проблема, которая появляется именно для служебных частей речи - проведение границы между лексико-грамматическими классами, а также проблема выделения базовой единицы описания, т.е. объединения/разделения лексических входов в той или иной функции и с тем или иным расширением (напр. по той причине что - по той простой причине что - по причине что). В докладе будут рассмотрены пути решения данных проблем с помощью облачной системы реляционных таблиц с открытым исходным кодом Grist в качестве внутреннего представления данных ("бэкенда").
Ссылка на запись доклада и презентацию: https://www.mathnet.ru/php/seminars.phtml?presentid=47395
23.05.2025 Б.Н. Карлов (ТверГУ). Лемма об обмене для категориальных грамматик зависимостей
Как известно, классические категориальные грамматики не способны выражать непроективные зависимости между словами в предложениях, когда зависимое слово стоит в "чужой" синтаксической группе. Одним из расширений категориальных грамматик являются категориальные грамматики зависимостей (КГЗ) и мультимодальные КГЗ (ммКГЗ), введённые в работах А.Я.Диковского и М.И.Дехтяря. Это классические категориальные грамматики, дополнительно оснащённые так называемыми поляризованными валентностями, задающими начала и концы непроективных зависимостей. КГЗ весьма выразительны, в частности, они способны порождать некоторые языки, не задаваемые комбинаторными категориальными грамматиками. Однако были неизвестны примеры "простых" языков, не порождаемых КГЗ. Данный доклад посвящён решению этой проблемы. Для КГЗ-языков будет доказано необходимое условие, являющееся обобщением леммы об обмене для контекстно-свободных языков (interchange lemma). С помощью этой леммы будет доказано, что язык копий не порождается никакой КГЗ, что класс КГЗ-языков не замкнут относительно пересечения и дополнения, а также что существует ммКГЗ-язык, не являющийся КГЗ-языком.
Ссылка на запись доклада и презентацию: https://www.mathnet.ru/php/seminars.phtml?presentid=46303
25.04.2025 В.Б. Шехтман (ВШМ МФТИ). Временные логики
Временны́е логики изучают высказывания, зависящие от времени. Такие высказывания возникают в естественном языке и в различных науках: философии, физике, информатике и т.д. С формальной точки зрения, временные логики - это, как правило, модальные логики со специальным синтаксисом и семантикой. На сегодняшний день имеется большое разнообразие таких логик. В докладе будет дан краткий обзор проблематики и результатов в этой обширной области, с упоминанием некоторых приложений.
Для понимания доклада полезно иметь представление о семантике возможных миров.
Ссылка на запись доклада и презентацию: https://www.mathnet.ru/php/seminars.phtml?presentid=46028
18.04.2025 С.Г. Татевосов (МГУ), П.О. Россяйкин (МГУ). Новое в семантике: о двух явлениях и всем остальном (Часть 2).
Ссылка на запись доклада и раздатку: https://www.mathnet.ru/php/seminars.phtml?presentid=46027
11.04.2025 С.Г. Татевосов (МГУ), П.О. Россяйкин (МГУ). Новое в семантике: о двух явлениях и всем остальном.
В этом докладе мы рассмотрим несколько сюжетов, которые вписываются в две аналитические тенденции современной формальной семантики: (i) модальный анализ языковых выражений и явлений, традиционно не относимых к модальным; (ii) семантический анализ явлений, традиционно относимых к прагматике. А именно, преимущественно на материале русского языка, мы обсудим некоторые аргументы в пользу синтаксического представления речевых актов и модальный анализ перфектива (и, по возможности, некоторых других грамматических сущностей).
Ссылка на запись доклада и раздатку: https://www.mathnet.ru/php/seminars.phtml?presentid=45988
Семинар имени Владимира Андреевича Успенского

24 сентября 1956 г. на филологическом факультете Московского университета начал работать семинар "Некоторые применения математических методов в языкознании" - первый семинар по математической лингвистике в нашей стране. Семинаром руководили профессор филологического факультета П. С. Кузнецов, ассистент филологического факультета Вяч. Вс. Иванов и ассистент механико-математического факультета В. А. Успенский. В 1956-1958 гг. в семинаре также принимали участие такие учёные, как А. Вс. Гладкий, И. А. Мельчук, Е. В. Падучева, С. К. Шаумян и другие.
Семинар "Некоторые применения математических методов в языкознании" открыл новую эру в отечественном языкознании. Начало работы семинара предшествовало созданию многих новых лингвистических организаций и объединений, например, Объединения по машинному переводу и Отделения теоретической и прикладной лингвистики филологического факультета МГУ.
На занятиях семинара обсуждаются различные вопросы применения математических методов в языкознании: формальный синтаксис, формальная семантика и прагматика, формализация грамматической теории, теория формальных языков, логические подходы в языкознании, фонологические модели, метрики.
К участию в семинаре приглашаются все желающие! Подать заявку на доклад
Организаторы
С 2025 года семинар проводится совместно Московским государственным университетом и двумя институтами Российской академии наук — Математическим институтом и Институтом языкознания.
Оргкомитет семинара
Мати Рейнович Пентус, д.ф.-м.н., МГУ, РГГУ
Олег Игоревич Беляев, к.ф.н., ИЯз РАН, МГУ
Марина Борисовна Ермолаева, к.ф.н., МГУ
Степан Львович Кузнецов, д.ф.-м.н., МИАН, МГУ
Тихон Григорьевич Пшеницын, МИАН
Алексей Андреевич Сорокин, к.ф-м.н., Яндекс, МГУ
Контакты
По любым вопросам, связанным с работой семинара, можно написать на почту npmmvia@mail.ru.
Места проведения
1-й учебный корпус МГУ им. М.В. Ломоносова
Адрес: территория Ленинские Горы, 1с51
Математический институт им. В.А. Стеклова РАН
Адрес: ул. Губкина, д. 8
Для прохода в здание достаточно показать пропуск (студента, аспиранта, сотрудника) любой образовательной или научной организации.
Институт языкознания РАН
Адрес: Большой Кисловский пер., 1, стр. 1