Доклад Тихона Пшеницына «Фокус в естественных языках и исчисление Ламбека» на семинаре МЛ ЛогЛинФФ
14 апреля состоялось очередное заседание научно-исследовательского семинара From the Logical Point of View, на котором Тихон Пшеницын (мехмат МГУ) сделал доклад «Фокус в естественных языках и исчисление Ламбека».
Аннотация:
Исчисление Ламбека и типизованное лямбда-исчисление, работая в паре, позволяют одновременно моделировать синтаксис и семантику естественных языков. Наш доклад начнётся с обзора механизма их совместной работы; будет разобрано несколько классических, простых примеров, начиная с извечного John loves Mary и заканчивая более интересным, многозначным предложением Everyone loves someone.
После обзорной части будет рассказано о небольшом исследовании, цель которого — описать с помощью исчисления Ламбека явления, не имеющие явного словесного или морфемного выражения, а связанные с просодией, интонацией. Более конкретно, будет рассмотрена проблематика формального описания фокуса в естественных языках с помощью исчисления Ламбека. Речь идёт о явлении, возникающем в контекстах типа
— Я знаю, Джон любит Мэри.
— Да ты что! Джон ненавидит Мэри!
Интонационное выделение слова ненавидит в данном контексте называется фокусом. Существует несколько подходов к формальному описанию его семантики; мы расскажем про подход из статьи Krifka 1992, называемый structured meaning approach. Наконец, будет предложен способ, как реализовать данный подход с помощью исчисления Ламбека и лямбда-исчисления, и показано, почему последние помогают расширить возможности этого подхода.
