Доклад Степана Кузнецова «Категориальные грамматики Ламбека» (часть 2)

Степан Кузнецов

Математический институт им. В. А. Стеклова РАН:
старший научный сотрудник отдела математической логики 
выступит с докладом:

«Категориальные грамматики Ламбека» (часть 2)

Аннотация:
Математические методы в языкознании можно условно разделить на две большие группы — статистические и алгебро-логические. Формализм категориальных грамматик относится ко второй группе. В рамках этого формализма вопрос грамматической правильности предложения сводится к вопросу выводимости построенной по этому предложению логической формулы в некотором неклассическом исчислении. Одним из наиболее известных семейств исчислений, используемых в категориальных грамматиках, является исчисление Ламбека (Lambek 1958) и его расширения. Исчисление Ламбека — это одна из субструктурных логик: в отличие от логики классической или интуиционистской, в ней отсутствуют структурные правила, а именно правила сокращения, перестановки и ослабления. В рамках двух докладов будет рассказано об исчислении Ламбека и о том, как с помощью основанных на нём грамматик задавать языки (фрагменты естественного языка), проверять правильность предложений в этих языках и сопоставлять правильно построенным предложениям формальную семантику («смысл») в виде лямбда-термов.  

Мероприятие пройдет в гибридном формате по адресу Старая Басманная улица 21/4, аудитория А-205а. 

Вход в здание НИУ ВШЭ осуществляется по пропускам, чтобы получить пропуск или ссылку на  Zoom, пожалуйста, заполните форму. Если Вы уже заполняли форму для пропуска на 1-ю часть доклада, повторно заполнять форму не нужно.

При возникновении вопросов пишите по адресу llfp@hse.ru