ИСТИНА

Нашей целью является формулировка смысла или значения, заключенного в предложении естественного языка. Эта цель – обратная цели, декларируемой школой И.Мельчука, где строится высказывания ЕЯ на основании смысла (Модель Смысл-Текст). Для многих задач автоматизированной обработки текстов решение первой задачи является более актуальным, поскольку позволяет производить дальнейшую обработку формальными методами, в том числе с помощью компьютера. Формальная семантика высказывания ЕЯ может вычисляться на основании λ-исчисления методами, предложенными в работах Монтеню и его последователей. Признанным формализмом представления синтаксиса русского предложения является структура дерева зависимостей, которая с трудом поддается семантической интерпретации. Объединение синтаксического подхода, основанного на грамматике зависимостей с семантическим анализом на основе λ-исчисления дает большие преимущества благодаря развитым методам в обеих областях. Ключевые слова: формальная семантика, дерево зависимостей, лямбда-исчисление, комбинаторный взрыв. Our goal is the formulation of meaning or sence enclosed in a natural language sentence. This goal is exactly the opposite to approach, developed by the I.Melchuk’s school where the NL statement is constructed on the basis of meaning (Meaning-Text Model). For many tasks of automated text processing the solution to the first problem is more relevant because it allows further processing using formal methods, including computer-aided processing of NL. Formal semantics of natural language utterances can be calculated by applying the λ- calculus methods proposed in the works of Montaigne and his followers. On the other hand, the dependency tree structure is a recognized representation of the Russian sentence syntax. Semantic interpretation of such structures is not obvious. Combining syntactic approach based on dependency grammar with semantic analysis based on λ- calculus provides great advantages due to the developed methods in both areas.