Лекция Какие семантики бывают. Исчисление предикатов как прототипический пример формального языка Владимир Борщев, винити ран



Скачать 411.65 Kb.
страница1/6
Дата07.11.2012
Размер411.65 Kb.
ТипЛекция
  1   2   3   4   5   6

Интеграция лексической и формальной (композиционной) семантики, Лекция 1.

В.Б. Борщев и B.H. Partee. Казань, КГУ, Апрель 2003 стр.

Лекция 1. Какие семантики бывают. Исчисление предикатов как прототипический пример формального языка

Владимир Борщев, ВИНИТИ РАН borschev@online.ru

Barbara H. Partee, University of Massachusetts, Amherst partee@linguist.umass.edu

home page: http://www-unix.oit.umass.edu/~partee/

  1. Цели


Наши цели – дать некоторое представление о формальной и лексической семантике и о том, как эти семантики можно интегрировать.

Первая лекция – вводная. Ее содержание видно из названия и handout’а. В самом ее конце мы начнем рассказ о формальной семантике и продолжим его во второй лекции. Третья лекция будет посвящена нашему (логическому) подходу к лексической семантике и тому, как можно интегрировать формальную и лексическую семантику.

И, наконец, четвертая (и последняя) лекция будет посвящена конкретной проблеме – описанию генитивной конструкции (стакан молока) и взаимодействию формальной и лексической семантики на этом примере.
  1. Какие семантики бывают


Их много, назовем некоторые: лексическая, формальная, когнитивная, вычислительная. В этом разделе мы скажем несколько слов о каждой из перечисленных, а после будем говорить, в основном, о первых двух и их интеграции.
    1. Лексическая семантика


Как следует из названия, лексическая семантика занимается значениями слов. В каком-то смысле, этим всегда занимались лексикографы, составляя толковые словари. В последнее время это стало наукой. Перечислим кратко несколько известных нам направлений и имен.

Московская семантическая школа.


Первые работы начались в конце 50-х. Основные имена: И.А.Мельчук, А.К.Жолковский, Ю.Д.Апресян. Ключевые слова: Модель «Смысл-Текст», Толково-комбинаторный словарь (ТКС), лексические функции. Книга Апресяна «Лексическая семантика» (закончена в 1970, первое издание 1974, второе – 1995). В середине 70-х Мельчук эмигрировал в Канаду (и продолжает там работу). Жолковский уехал в Америку и занимается сейчас литературоведением. Апресян и его группа продолжают работать в Москве. Результаты подробно описаны в многочисленных публикациях.

Основные принимаемые принципы (в нашем субъективном изложении, очень грубо). Слова разбиваются на лексемы (разные лексемы имеют разные значения). Значения языковых единиц (лексем) описываются с помощью их толкований.
Толкования – это тексты на специальном формальном метаязыке, определяющие, грубо говоря, эти значения через более простые. Существуют семантические примитивы, элементарные значения, атомы смысла. Все остальные значения строятся из элементарных (и уже построенных промежуточных) с помощью некоторого синтаксиса, некоторых операций. «Толкование не должно содержать «порочных кругов» (нетавтологичность) и должно быть семантически эквивалентным толкуемой единице (необходимость и достаточность)» (Апресян 1994).

Можно сказать, что принимается схема математических определений. Существуют элементарные неопределяемые понятия, остальные понятия определяются с их помощью.

Пример (Апресян 1990). Фрагмент словарной статьи глагола выйти:

ВЫЙТИ… 1.1. ‘идя, переместиться вовне': выйти из комнаты;

1.2. ‘переместиться вовне': Судно вышло из бухты;

Направления, близкие Московской семантической школе


Упомянем тут прежде всего работы известной польско-австралийской лингвистки Анны Вежбицой (Anna Wierzbicka).

Много лингвистов, занимающихся лексической семантикой и не входящих в группу Апресяна, работает в Москве (например, Н.Д. Арутюнова, Е.В. Падучева, Е.В. Рахилина, их сотрудники и коллеги).

Западные работы


Назовем только некоторые имена: M. Bierwisch, J.Dölling, D. Dowty, Ch. Fillmore, P. Kiparsky, M. Krifka, B. Levin, J. Pustejovsky, M. Rappoport-Hovav. Основной задачей большинства западных работ была связь лексической семантики и синтаксиса. Например, в какоой степени лексическое значение глагола может предсказать конструкции, главным словом 9вершиной0 которых является данный глагол.
  1   2   3   4   5   6

Похожие:

Лекция Какие семантики бывают. Исчисление предикатов как прототипический пример формального языка Владимир Борщев, винити ран iconЦентр научно-информационного обслуживания винити ран предоставляет копии первоисточников
Винити осуществляет обслуживание копиями первоисточников, хранящихся в фонде научно-технической литературы винити, в фондах других...
Лекция Какие семантики бывают. Исчисление предикатов как прототипический пример формального языка Владимир Борщев, винити ран iconРегистрационная форма пользователя on-line
Данная регистрационная форма является официальным документом для регистрации Вас, как пользователя базы данных (БД) винити ран в...
Лекция Какие семантики бывают. Исчисление предикатов как прототипический пример формального языка Владимир Борщев, винити ран iconЭлектронные ресурсы винити. Электронный Реферативный журнал итоги десятилетия Цветкова Валентина Алексеевна, д т. н., проф., зав отделением винити ран, Ген. Директор ООО «нти-компакт»
Цветкова Валентина Алексеевна, д т н., проф., зав отделением винити ран, Ген. Директор ООО «нти-компакт», Москва, Россия
Лекция Какие семантики бывают. Исчисление предикатов как прототипический пример формального языка Владимир Борщев, винити ран iconУчастник: Идашкина Анастасия
Цель моего исследования: узнать, как развивались города в течение времени, какие бывают города, какие они выполняют функции, а также...
Лекция Какие семантики бывают. Исчисление предикатов как прототипический пример формального языка Владимир Борщев, винити ран iconЛекция 3 Логика предикатов Понятие предиката
Такой логической системой является логика предикатов, содержащая всю логику высказываний в качестве своей части
Лекция Какие семантики бывают. Исчисление предикатов как прототипический пример формального языка Владимир Борщев, винити ран iconИсчисление предикатов. Пропозициональная функция
Р(Х­1,Х2,…,Хn) есть атомарная (элементарная) формула. Эта формула трактуется как высказывание, гласящее, что объекты Х1,Х2,,…,Хn...
Лекция Какие семантики бывают. Исчисление предикатов как прототипический пример формального языка Владимир Борщев, винити ран iconЛекция В. Б. Борщев и B. H. Partee. Казань, кгу, Апрель 2003 стр
Лекция Формальная семантика (продолжение). Интенсиональная логика. Типы. Лямбда и конструкции с лямбдой. Семантика Монтегю для именных...
Лекция Какие семантики бывают. Исчисление предикатов как прототипический пример формального языка Владимир Борщев, винити ран iconНормальные формы формул логики предикатов
При этом, используя равносильности алгебры высказываний и логики предикатов, каждую формулу логики предикатов можно привести к нормальной...
Лекция Какие семантики бывают. Исчисление предикатов как прототипический пример формального языка Владимир Борщев, винити ран iconИсчисление предикатов с равенством
Замечание. В формулах подформула называется областью действия квантора соответственно
Лекция Какие семантики бывают. Исчисление предикатов как прототипический пример формального языка Владимир Борщев, винити ран iconВинити ран

Разместите кнопку на своём сайте:
ru.convdocs.org


База данных защищена авторским правом ©ru.convdocs.org 2016
обратиться к администрации
ru.convdocs.org