• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Доклады Степана Кузнецова на семинаре «Формальная философия-78»

12 и 19 мая прошли заседания научно-теоретического семинара «Формальная философия-78». Степан Кузнецов (старший научный сотрудник Математического института им. В. А. Стеклова РАН) выступил с докладом «Категориальные грамматики Ламбека».

Доклады Степана Кузнецова на семинаре «Формальная философия-78»

постер Дианы Заборовской

Аннотация:

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

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

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