RUS  ENG JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PERSONAL OFFICE
Forthcoming seminars
Seminar calendar
List of seminars
Archive by years
Register a seminar

Search
RSS
Forthcoming seminars





You may need the following programs to see the files








Colloquium of the Steklov Mathematical Institute of Russian Academy of Sciences
June 5, 2014 16:00, Moscow, Steklov Mathematical Institute of RAS, Conference Hall (8 Gubkina)
 


Lambek categorial grammars

Stepan Kuznetsov
Video records:
Flash Video 638.8 Mb
Flash Video 3,827.8 Mb
MP4 638.8 Mb

Number of views:
This page:996
Video files:331
Youtube Video:

Stepan Kuznetsov
Photo Gallery


Видео не загружается в Ваш браузер:
  1. Установите Adobe Flash Player    

  2. Проверьте с Вашим администратором, что из Вашей сети разрешены исходящие соединения на порт 8080
  3. Сообщите администратору портала о данной ошибке



Abstract: The Lambek calculus and Lambek categorial grammars were introduced in 1958 for mathematical description of natural language syntax. In this approach, every word of the language is associated with (possibly several) syntactic categories (types) in a specific logical language, and then one checks derivability of the corresponding formula in the Lambek calculus. This formalism has several advantages in comparison with the Chomsky hierarchy (for example, context-free grammars), mainly the lexicalisation property: the syntactic information is kept in the categorial dictionary and used only if the corresponding word occurs in the text parsed. Categorial grammars also allow to do semantic analysis, using Montague semantics in a natural way. On the other hand, all the languages generated by Lambek categorial grammars are context-free. The talk will contain both the linguistic usage of categorial grammars and purely mathematical results concerning the Lambek calculus, including completeness results and algorithmic complexity.

SHARE: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru
 
Contact us:
 Terms of Use  Registration  Logotypes © Steklov Mathematical Institute RAS, 2017