Реферат: Факультет филологии и искусств

Федеральное агентство по образованию Российской Федерации

Санкт-Петербургский государственный университет

Факультет филологии и искусств





































































































































Регистрационный номер
рабочей программы учебной дисциплины:







код года утверждения

/

код факультета

/

М.2.В.10















































































^ РАБОЧАЯ ПРОГРАММА УЧЕБНОЙ ДИСЦИПЛИНЫ

Формальная семантика








































основной образовательной программы высшего профессионального образования




подготовки по направлению

031100



Лингвистика. Общее языкознание


для получения квалификации (степени)

магистр















































































код дисциплины

М.2.В.10

по учебному плану

регистр. номер

форма обучения

очная

виды промежуточной аттестации:

зачётов

1

экзаменов

0


















































































^ Трудоёмкость учебной дисциплины

 3

зачётных единицы






Санкт-Петербург

2009










^ Раздел 1. Характеристики, структура и содержание учебной дисциплины


Цели и результаты изучения дисциплины

Цель курса: курс направлен на анализ и обсуждение современных научных концепций, в которых задействованы формальные подходы к описанию семантики естественного языка. Делается акцент на разработках в области структурной, генеративной, логической и компьютерной семантики, которые реализованы в современных лингвистических тео­риях, моделях и прикладных лингвистических ресурсах. Дается оценка научных результатов, полученных к настоящему времени.


^ Задачами курса является:

обсуждение принципов разработки теорий и моделей семантического уровня естественного языка, используемых в теоретических и прикладных лингвистических исследованиях,

освоение приемов лингвистичес­кого моделирования на семантическом уровне,

изучение особенностей функционирования и практических возмож­ностей современных компьютерных семантических ресурсов,

развитие практических навыков работы с инструментами автоматической обработки естественного языка на семантическом уровне.




Язык обучения: русский




Требования к подготовленности обучающегося к освоению содержания учебной дисциплины (пререквизиты) – степень бакалавра лингвистики (или филологии).




^ Перечень компетенций, формируемых при изучении дисциплины (с указанием кодов):

ОК-1 – способность совершенствовать и развивать свой интеллектуальный и общекультурный уровень;

ОК-2 – способность к самостоятельному обучению новым методам исследования, изменению научного и научно-производственного профиля своей профессиональной деятельности;

ОК-5 – способность самостоятельно приобретать с помощью информационных технологий и использовать в практической деятельности новые знания и умения, в том числе в новых областях знаний, непосредственно не связанных со сферой деятельности;

ОК-6 – способность порождать новые идеи (креативность), адаптироваться к новым ситуациям, оценивать накопленный опыт, анализировать свои возможности;

ПК-1 – демонстрация знаний современной научной парадигмы в области лингвистики и динамики ее развития, системы методологических принципов и методических приемов лингвистического исследования;

ПК-2 – демонстрация углубленных знаний в избранной конкретной области языкознания;

ПК-4 – способность к самостоятельному пополнению, критическому анализу и применению теоретических и практических знаний в области языкознания и иных гуманитарных наук для собственных научных исследований;

ПК-12 – способность и готовность к участию в разработке научных, социальных, педагогических, творческих, рекламных, издательских и т.п. проектов;

ПК-15 – владение навыками организации и управления научно-исследователь­скими и производственными работами при решении конкретных задач в соответствии с профилем магистерской программы.



Знания, умения и навыки, осваиваемые обучающимся при изучении дисциплины

Слушатели должны

освоить основные положения обсуждаемых формально-семан­ти­чес­ких теорий,

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



Перечень и объём активных форм учебной работы по дисциплине

2 часа в рамках модуля М.2.В.10.



Организация изучения дисциплины, текущего контроля успеваемости и промежуточной аттестации

Трудоёмкость, объёмы учебной работы и наполняемость групп обучающихся


Код модуля

Аудиторная учебная работа обучающихся

Самостоятельная работа

Объём активных форм учебной работы

Трудоёмкость

лекции

семинары

консультации

практические
занятия

лабораторные
работы

контрольные
работы

коллоквиумы

под руководством
преподавателя

в присутствии
преподавателя

без участия
преподавателя

по формам обучения

М.2.В.10

34

-

2

-

-

-

-

-

-

70

2

4 зачётных
единицы

5-20

-

5-20

-

-

-

-

-

5-20

5-20

ИТОГО:

34

0

2

-

-

-

-

-

-

70

2

4 зачётных
единицы




Виды, формы и сроки текущего контроля успеваемости и промежуточной аттестации

Код модуля

Период
по учебному
графику

Промежуточная аттестация

Всего
зачётов и
экзаменов

Текущий контроль

Виды

Сроки

Формы

Сроки

по формам обучения

М.2.В.10

09-12

зачет

25.12-31.12

1

-

-




Структура и содержание учебной дисциплины


А. Разделы курса

1. Формализация в семантике как научно-исследовательская задача

2. Структурная семантика

3. Логическая семантика

4. Генеративная семантика

5. Компьютерная семантика


Б. Краткое содержание тем

1. Формализация в семантике как научно-исследовательская задача

1.1. Соотношение гипотезы, теории и модели в естественных и гумани­тарных науках. Принципы создания лингвистических теорий и моделей семантического уровня естественного языка. Связь между моделируемым объектом и его моделью. Струк­турные, логические, алгебраические, теоретико-мно­жест­венные, топологические, статистические и другие формальные методы в семантических исследованиях.

1.2. Роль семиотики и философии языка в построении формальных описаний семантики естественного языка. Различные подходы к решению вопроса о значении отдельных языковых выражений и текста в целом: античные теории языка, средневековая философия, неопозитивизм (анали­тическая философия, философия лингвистического анализа), современная лингвистика. Разнообразие трактовок языко­вого знака. Проблема моделирования процесса семиозиса.

1.3. Основные направления в формальной семантике: структурная семантика, логическая семантика, генеративная семантика, компьютерная семантика. Предпосылки возникновения данных направлений и исследователь­ские результаты, полученные к настоящему времени. Взаимодействие формального и традиционного подходов в семантике.


^ 2. Структурная семантика

2.1. Значение языкового знака. Семиотический треугольник и его модифи­кации. Значение и смысл. Интенсионал и экстенсионал. Сигнификативный, денотативный, структурный и прагматический компоненты содержания языкового знака. Организация семантического пространства естественного языка в свете принципа композицио­нальности значения. Компоненты значения языкового знака: семантические категории, семантические признаки, примитивы, прототипы и инварианты; их виды и внутренняя организация. Структура семантемы и комбинаторика семантических компонентов. Метаязыки описания значения (подходы московской, французской, польской и других семантических школ). Методы выявления и способы представления компонентной структуры значения.

2.2. Структурная организация лексики. Разновидности подмножеств лекси­кона: ряд, группа, поле. Принципы объединения лексических единиц в данных подмножествах. Синтагматические, парадигматические, эпидигматические связи ме­ж­ду лексическими единицами, их виды и основные характеристики. Валентности лексических единиц, семантические роли, семан­тические падежи, тематические рамки. Анализ связанных сочетаний лек­сем. Лексические функции. Представление семанти­ческих данных в сетевых моделях лексикона WordNet, VerbNet, FrameNet.

2.3. Семантическая организация предложения. Предложение и высказы­ва­ние. Пропозициональное содержание высказывания и глубинная структура предложения. Описание структуры пропозиции в терминах семантических ролей. Референциальные и модально-коммуникативные характе­рис­тики единиц текста. Скры­тые смыслы: пресуппозиции и импликатуры. Представление смысла предложения в семанти­ческих моделях (теория концептуальной зависимости Р. Шенка, модель «Смысл  Текст» и другие). Семантическая разметка корпусов текстов, разработка банков пропозиций.

2.4. Семантическая организация текста. Модели­рование организации речевого акта. Коммуникативная структура предложения и коммуникативный динамизм. Перформативная гипотеза. Теория речевых актов и постулаты речевого общения. Текст, текстуальность и интертекстуальность. Логичес­кий анализ дис­курса. Проблема понимания тек­ста. Фреймовые и сетевые модели смысла высказываний, интерак­тив­ных ситуаций. Теория аргументации. Сюжетные грамматики и моделирование содержания текста.


^ 3. Логическая семантика

3.1. Логика как формальный язык описания структуры и значения языко­вых выражений. Модельно-теоретическая семантика. Типы естественно­языковых выражений, их значение. Имена и дескрипции, их референциальные свойства. Пропозициональная функция. Предикаты, их логические и семантические типы. Логические операторы, кванторы, связки. Категория истинности. Принцип композициональности. Постулаты значения.

3.2. Исчисление предикатов и интенсиональная логика как языки описания естественноязыковых выражений. Категории, их типы в исчислении преди­катов. Синтаксис и семантика исчисления предикатов. Понятие лямбда-абстракции. Категории, их типы в интенсиональной логике. Синтаксис и семантика интенсиональной логики. Применение интенсиональной логики в описании значения естественноязыковых выражений.

3.3. Логическое описание естественноязыковых выражений различных типов. Структура именных и глагольных групп, аргументная структура предложения в логической семантике. Логический анализ естественно­языковых выражений, содержащих квантификаторы, отрицание, таксисные, темпоральные, аспектуальные, модальные операторы. Логический анализ текста. Логический вывод, пресуппозиции и импликатуры. Логическая интерпретация постулатов речевого общения.

3.4. Семантика возможных миров. Возможные миры, модельные множес­тва. Истинность пропозициональных установок в семантиках возможных миров. Логическая структура интенсиональных контекстов. Временные и модальные логики. Описание семантики возможных миров как способ конструирования картины мира.

3.5. Логический анализ естественного языка в зарубежной и отечественной лингвистике. Формально-семантическая проблематика в трудах Г. Фреге, Л. Витгенштейна, Б. Рассела, А. Тарского, Р. Карнапа, Х. Рейхенбаха, Р. Мон­те­гю и других. Концепции Э. Баха, Д. Даути, Б. Парти и других современных зарубежных исследователей. Применение логического аппарата в разработках Т.В. Булыгиной, В.Г. Гака, И.М. Кобозевой, Ю.С. Марте­мья­нова, Е.В. Па­ду­чевой и других отечественных лингвистов. Теория логико-синтак­сичес­ких начал Н.Д. Арутюновой. Работы проблемной группы «Логический анализ языка». Логические представления в порождающих моделях языка и в современных системах автоматической обработки естественноязыкового текста.


^ 4. Генеративная семантика

4.1. Порождающие модели языка: история возникновения, этапы развития и современ­ное состояние. Типология и устройство порождающих моделей. Формальные грамматики и языки. Требования правильнооформленности и осмысленности языковых выражений. Общие принципы представления семантического уровня естественного языка в порождающих моделях.

4.2. Семантические структуры в порождающих моделях языка. Семанти­ческая интерпретация синтаксических структур. Статус глубинной структуры в поро­ждающей модели. Компоненты, правила построения, допустимые преобразования семантических струк­тур. Роль трансформаций в формировании значения предложения. Взаимодействие семантического представления с синтаксическим, морфологическим и фонологическим блоками порождающих моделей. Лексикон в порождающих моделях, его организация и взаимодействие с другими блоками моделей.

4.3. Зарубежные теории генеративной семантики. Стандартная теория, расширенная стандартная теория, теория управления и связывания, минима­листская программа Н. Хомского. Возможности данных теорий в сфере семантического описания. Интерпретирующая и порождающая семантика. Падежно-ролевая грамматика. Генеративный лексикон. Подходы Дж. Кат­ца, Дж. Фодора, П. Поста­ла, Дж. Лакоффа, Дж. Мак-Коли, Р. Джа­кен­доффа, Ч. Филлмора, У.Л. Чейфа, Дж. Бреснан, Дж. Пус­тейов­ского и других. Современные формальные грамматики LFG, HPSG, AGFL, TAG и их семантическое обеспечение.

4.4. Отечественные разработки в области генеративной семантики. Апплика­тивная порождающая грамматика С.К. Шаумяна как семантическая теория естественного языка. Семантический уровень в модели «Смысл  Текст»: семантический метаязык, структура и преобразования семантических представлений, формализация семантических отношений посредством лексических функций, толково-комбинаторный словарь, система перифразирования. Семантика в информационно-логической модели текста Е.В. Падучевой: синонимические преобразования языковых выражений, использование информационно-логического языка в описании грамматических категорий и особых синтаксических конструкций.


^ 5. Компьютерная семантика

5.1. Проблема представления знаний в компьютерной лингвистике. Применение классификаций и иерархий в семантике. Языковая и концептуальная картины мира, их роль в лингвистических описаниях. Фреймы, сценарии, семантические сети, логико-понятийные схемы и другие формы представления знаний. Понятие когнитивной структуры как способа организации знаний и их хранения в памяти. Семантический компонент в системах искусственного интеллекта. Компьютерная лексикография. Представление лексики в современных компьютерных тезаурусах. Лексические базы данных. Формальные онтологии.

5.2. Моделирование понимания текста и человеко-машинного взаимо­действия. Семантика естественного языка в автоматических диалоговых системах, в системах машинного перевода и переводческой памяти. Семантическое обеспечение корпус-ориентированных исследований. Семантическая неоднозначность в естественном языке и методы ее разрешения. Автоматическое извлечение фактов из текстов, автоматическое индексирование и реферирование. Технологии Semantic Web.

5.3. Количественные методы в семантике. Проблемы лексикостатистики. Измерение количества семантической информации в тексте. Топологичес­кая семантика и моделирование подмножеств лексикона с помощью метрических пространств. Меры сходства и расстояния. Кластерный анализ. Определение количественных оценок семантических связей единиц словаря и текста. Автоматическая классификация лексики и документов в корпусах текстов.

5.4. Зарубежные и отечественные разработки в области компьютерной семантики. Моделирование когнитивных процессов в теории концептуальной зависимости Р. Шенка, имитация понимания в разработках Т. Вино­града, процедурная семантика Ф. Джонсон-Лэрда, семантическая модель В. Вудса, фреймы для представления знаний М. Минского, модель представления знаний Дж. Совы, другие зарубежные разработки. Теории и компьютерные модели понимания естественного языка в отечественной лингвистике: интеллектуальные системы, основанные на модели «Смысл  Текст» Ю.Д. Апресяна, И.А. Мельчука и других исследователей; разработки в области автоматического понимания, выполненные коллективами под руководством Н.Н. Леонтьевой, А.С. Нариньяни, М.И. Откупщиковой, В.Ш. Рубашкина, Г.С. Цейтина и других.


^ В. Примерные вопросы для самоконтроля

Как связаны между собой гипотеза, теория и модель в естественных и гуманитарных науках?

Каковы принципы создания лингвистических теорий и моделей семантического уровня естественного языка?

Какие формальные методы исследования семантики естественного языка Вам известны?

Какие исследовательские направления в формальной семантике Вам известны?

Каковы задачи и методы структурной семантики?

Изложите возможные трактовки семиотической схемы и ее основополагающих компонентов.

Каковы отличительные черты различных метаязыков семантики, например, языка семантических признаков, используемого в модели «Смысл  Текст», и языка семантических примитивов А. Вежбицкой?

В чем заключаются различия между такими группировками внутри лексикона, как синонимический ряд, антонимический ряд, ассоциативный ряд; лексико-семантическая группа, тематическая группа; семантическое поле, понятийное поле?

Дайте определение понятий «валентность», «валентная рамка», «синтаксическая сочетаемость», «лексическая сочетаемость», «семантическая сочетаемость», «формальный падеж», «семантический падеж».

Что понимается под терминами «биграмма», «триграмма», «n-грамма», «свободное сочетание», «связанное сочетание», «неоднословная целостность», «фразема», «идиома», «коллокация»?

Что такое лексическая функция? Какие типы лексических функций Вам известны? Приведите примеры.

Какая информация содержится в словарных базах данных WordNet, VerbNet, FrameNet?

В чем заключается различие между предложением и высказыванием?

Как соотносятся пропозициональное содержание высказывания и струк­тура экстралингвистической ситуации?

Охарактеризуйте семантические роли «агенс», «пациенс», «экспери­ен­цер», «бенефициант», «бенефактор», «фактитив», «перцептив», «дескриптив», «номинатив», «композитив», «инструмент», «медиатив», «ло­катив», «фонтив», «финитив», «транзитив», «атрибутив».

Что такое референция?

Какие референциальные статусы именных и предикатных групп Вы знаете?

В чем различие между пресуппозициями и импликатурами?

Каким образом представляется семантика предложения в теории концептуальной зависимости Р. Шенка, в модели «Смысл  Текст»?

Какова организация речевого акта?

Какие типы речевых актов Вам известны?

Какие речевые акты называются перформативами?

Какие постулаты речевого общения Вам известны?

Каковы задачи и методы логической семантики?

Определите понятия «имя», «дескрипция», «предикат», «логический оператор», «квантор», «связка», «пропозициональная функция», «логическая форма», «истинностное значение», «композициональность».

В каких отношениях находятся логические формы, выражения естественного языка и онтология?

В чем заключаются различия между исчислением предикатов и интенсиональной логикой применительно к описанию выражений естественного языка?

Что в логической семантике понимается под возможными мирами?

В чем проявляется взаимосвязь между логической семантикой и другими направлениями семантических исследований?

Каких зарубежных и отечественных исследователей – специалистов в области логической семантики Вы знаете?

Что такое порождающая модель естественного языка? Как устроены порождающие модели?

Что предполагают требования правильнооформленности и осмысленности выражений естественного языка?

Какова структура семантического блока в различных порождающих мо­делях естественного языка? Как он связан с другими блоками моделей?

Что такое глубинная структура?

Каковы компоненты, правила построения, преобразования семантических структур в порождающих моделях естественного языка?

Каким образом устроен лексикон в порождающих моделях естественного языка?

Как изменялась роль семантического описания на разных этапах развития генеративной грамматики?

Какие порождающие модели, ориентированные на представление семантики естественного языка, Вам известны?

Каких зарубежных и отечественных исследователей – специалистов в области генеративной семантики Вы знаете?

Каковы задачи и методы компьютерной семантики?

Каковы наиболее известные формы представления знаний? Дайте определение понятий «классификация», «иерархия», «сеть», «фрейм», «сценарий», «логико-понятийная схема», «тезаурус», «база данных», «формальная онтология».

Какие компьютерные лексикографические ресурсы в автоматизированном рабочем месте лингвиста Вам известны?

В чем заключаются особенности представления семантической информации в лексических базах данных типа WordNet, VerbNet, FrameNet?

Какие формальные онтологии Вам известны?

Какие языки описания онтологий и онторедакторы Вам известны?

Какие процедуры и ресурсы обеспечивают автоматическое понимание естественноязыкового текста в интеллектуальных системах?

С какими автоматическими диалоговыми системами Вы знакомы?

Что такое виртуальный агент?

Какая семантическая поддержка необходима в системах машинного перевода?

Какие семантически размеченные корпусы текстов Вам известны?

Как осуществляется семантическая разметка текстов?

Охарактеризуйте структуру и наполнение банка пропозиций PropBank.

С какими методами разрешения семантической неоднозначности Вы знакомы?

Каковы принципы работы систем автоматического извлечения фактов из текстов?

Охарактеризуйте процедуры автоматического индексирования и реферирования.

Что такое Semantic Web?

Какими методами можно измерить количество семантической информации в словаре и в тексте?

Как осуществляется автоматическая классификация лексики и документов в корпусах текстов?

Какие зарубежные и отечественные разработки в области компьютерной семантики Вам известны?

Каких зарубежных и отечественных исследователей – специалистов в области компьютерной семантики Вы знаете?


Г. Примерные задания для самостоятельных работ

^ 1. Самостоятельная работа по теме «Семантическая разметка корпусов текстов».

Познакомьтесь с принципами семантической разметки различ­ных корпусов. Сравните систему лексико-семан­тической разметки в Нацио­наль­ном корпусе русского языка (URL: http://www.ruscorpora.ru/) и в банке пропозиций PropBank (URL: http://verbs.colorado.edu/~mpalmer/ projects/ace.html). Изучите инструмент семантической разметки корпусов USAS (URL: http://www.comp.lancs.ac.uk/ucrel/usas/).

^ 2. Самостоятельная работа по теме «Компьютерная лексикогра­фия».

Изучите структуру словарных баз данных WordNet (URL: http://wordnet. princeton.edu/), FrameNet (URL: http://framenet.icsi.berkeley.edu/), VerbNet (URL: http://verbs.colorado.edu/~mpalmer/ projects/verbnet.html). Произведи­те тестовые запросы и охарактеризуйте информацию, содержащуюся в данных ресурсах (описание значения, семантических связей, сочетаемости, валентных рамок слов).

^ 3. Самостоятельная работа по теме «Количественная оценка семантической близости слов в словаре».

Освойте основные приемы работы со словарной базой данных WordNet (URL: http://wordnet.princeton.edu/) и с компьютерной версией тезауруса Роже (URL: http://www.nzdl.org/ELKB/). Воспользуйтесь модулем Word­Net::Simi­larity (URL: http://www.d.umn.edu/~tpederse/similarity.html) в ресурсе WordNet и функциями измерения семантических расстояний в тезаурусе Роже. Произведите серию тестовых запросов и сравните полученные результаты с учетом различных мер семантической близости.

^ 4. Самостоятельная работа по теме «Формальные онтологии».

Познакомь­тесь с онтологическими ресурсами OMEGA (URL: http://omega. isi.edu/), SUMO (URL: http://www.ontologyportal.org/), CYC (URL: http:// www.opencyc.org/), OntoSelect (URL: http://views.dfki.de/ontologies/), Onto­Bank (URL: http://omega.isi.edu/doc/ontobank.html) и др. Сравните структуру формальных онтологий и синоптических схем известных Вам идеографических словарей. Выполните тестовое задание в онторедак­торе Protégé (URL: http://protege.stanford.edu/).

^ 5. Самостоятельная работа по теме «Анализ связанных сочетаний лексем».

Произведи­те тестовые запросы к сервисам поиска n-грамм (URL: http://www.aot.ru; URL: http://mysqlbigram.googlepages.com/home). Охарактеризуйте полученные списки биграмм с точки зрения степени их связанности. Сравните полученные результаты с данными комбинаторных словарей и с выдачей ресурса Word­Sketches (URL: http://www.fi.muni.cz/~thomas/ corpora/searches/index.htm; URL: http://www. sketchengine.co.uk/).

^ 6. Самостоятельная работа по теме «Системы автоматической классифи­кации лексики».

Изучите возможности автоматической классификации лексики в прикладных лингвистических ресурсах InfoMap (URL: http://infomap.stanford.edu), Google-Sets (URL: http://labs.google.com/sets), COALS (URL: http://dlt4.mit. edu/~dr/COALS/), DSM (URL: http://clg.wlv.ac. uk/demos/similarity/), Sense­Clusters (URL: http://senseclusters.sourceforge. net/) и др. Произведите тестовые запросы, сравните полученные резуль­таты. Охарактеризуйте алгоритмы, реализованные в данных ресурсах, и используемые источники данных.

^ 7. Самостоятельная работа по теме «Автоматические диалоговые системы».

Познакомьтесь с материалами по оценке уровня автоматических диалоговых систем (URL: http://www.loebner.net/Prizef/loebner-prize.html). Проведите тесты с различными виртуальными агентами (URL: http://www. simonlaven.com/; URL: http://www.dmoz.org/Computers/Artificial_Intelligence/ Natural_Language/Chatterbots/), охарактеризуйте стратегии ведения диалога, реализованные в данных компьютерных системах, и их лингвистическое обеспечение.

^ 8. Самостоятельная работа по теме «Автоматическое индексирование и реферирование».

Познакомьтесь с компьютерным инструментом анализа текстов Text­Analyst (URL: http://www.offext.ru/Library/Data/Datakeeping/51.aspx). Из­у­чи­те алгоритмы и процедуры, реализованные в рамках дан­ного ресурса, и освойте его основные функции. Проведите эксперименты с различными текстами и сравните результаты индексирования и реферирования, полученные вручную и автоматически.


^ Д. Примерная тематика докладов, рефератов, курсовых работ

История, идеология и результаты разработки моделей семантического уровня естественного языка в отечественной и зарубежной лингвистике.

Исчисление предикатов и интенсиональная логика как инструменты моделирования семантики естественного языка.

Описание языковых выражений различных типов средствами формаль­ной семантики.

Семантика возможных миров.

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

Семантическое обеспечение современных формальных грамматик LFG, HPSG, AGFL, TAG.

Измерение количества семантической информации в тек­стах на ес­тест­венном языке.

Семантическая поддержка процедур автоматической обра­бот­ки тек­стов.

Описание семантико-синтаксических свойств глагольной лек­сики в базе данных FrameNet.

Семейство компьютерных словарей типа WordNet.

Анализ предикатно-аргументных структур в банке пропозиций Prop­Bank.

Исследование степени связанности сочетаний слов с исполь­зо­ванием сер­висов поиска n-грамм и инструмента Word­Sket­ches.

Типы, принципы разработки и применение формаль­ных онто­логий.

Технологии Semantic Web.

Языки описания онтологий CycL, KIF, F-Logic, KL-ONE.

Языки описания веб-онтологий DAML+OIL, RDF, OWL.

Онторедакторы Protégé, OilEd, KAON.

Автоматическое понимание текстов на естественном языке.

Нейросетевые интеллектуальные системы.

Семантическое обеспечение интеллектуальных систем со встроен­ны­ми виртуальными агентами.

Словарная поддержка процедур машинного перевода.

Средства семантической разметки корпусов текстов.

Методы разрешенРаздел 2. Обеспечение учебной дисциплины


Методическое обеспечение учебной дисциплины

Методическое обеспечение аудиторной работы

Бах Э. Неформальные лекции по формальной семантике. М., 2009.

Леонтьева Н.Н. Автоматическое понимание текстов: системы, мо­де­ли, ре­сур­сы. М., 2006.

Прикладное языкознание (под ред. А.С. Герда). СПб., 1996.

Методическое обеспечение самостоятельной работы

Митрофанова О.А. Формальная семантика / Учебно-методические указания и программа курса. СПб., 2007.

Методические материалы для проведения текущего контроля успеваемости и промежуточной аттестации по дисциплине (контрольно-измерительные материалы)

Тесты, контрольные задания

Кадровое обеспечение учебной дисциплины

Требования к образованию и (или) квалификации штатных преподавателей и иных лиц, допущенных к преподаванию дисциплины

Преподаватели должны иметь базовое образование и/или ученую степень, соответствующие профилю преподаваемой дисциплины.

Требования к обеспеченности учебно-вспомогательным и (или) иным персоналом

нет

Методические материалы для оценки обучающимися содержания и качества учебного процесса

^ АНКЕТА ОБУЧАЮЩЕГОСЯ

1. Удовлетворены ли Вы полученными знаниями, умениями и навыками? Способствовал ли курс повышению Вашего образования?

2. Вызвал ли курс интерес к предмету изучения? Какие аспекты курса вызвали у Вас наибольший интерес?

3. Захотели ли Вы изучать родственные по тематике курсы и литературу по данной теме? Способствовал ли курс обдумыванию и обсуждению предмета вне учебных занятий?

 4. Отметьте сильные и слабые стороны курса. Стали бы Вы рекомендовать курс другим студентам и почему? 

5. Ваше общее мнение о преподавателе. Прокомментируйте отличительные качества преподавателя, определившие Вашу оценку. Стали бы Вы рекомендовать этого преподавателя другим студентам и почему?

 6. Ваши дополнительные комментарии или пожелания:

Материально-техническое обеспечение учебной дисциплины

Требования к аудиториям (помещениям, местам) для проведения занятий

Аудитория на 15 человек

Требования к аудиторному оборудованию, в том числе к неспециализированному компьютерному оборудованию и программному обеспечению общего пользования

нет

Требования к специализированному оборудованию

нет

Требования к специализированному программному обеспечению

нет

Требования к перечню и объёму расходных материалов

Бумага – 2 пачки на семестр, картридж для принтера – 1 штука.


Информационное обеспечение учебной дисциплины




Список обязательной литературы

Апресян Ю.Д. Избранные труды. Т. 1. Лексическая семантика: Синони­ми­ческие средства языка. М., 1995. Избранные труды. Т. 2. Интегральное описание языка и системная лексикография. М., 1995.

Арутюнова Н.Д. Язык и мир человека. М., 1998.

Бах Э. Неформальные лекции по формальной семантике. М., 2009.

Богданов В.В. Предложение и текст в содержательном аспекте. СПб., 2007.

Вежбицкая А. Семантические универсалии и описание языков. М., 1999.

Виноград Т. Программа, понимающая естественный язык. М., 1976.

Гак В.Г. Языковые преобразования. М., 1998.

Греймас А.-Ж. Структурная семантика. Поиск метода. М., 2004.

Звегинцев В.А. Предложение и его отношение к языку и речи. М., 1976.

Иорданская Л.Н., Мельчук И.А. Смысл и сочетаемость в словаре. М., 2007.

Караулов Ю.Н. Лингвистическое конструирование и тезаурус литератур­но­го языка. М., 1981.

Касевич В.Б. Семантика. Синтаксис. Морфология. М., 1988.

Кибpик A.Е. Очеpки по общим и пpиклaдным вопpосaм языкознaния. М., 1992.

Кобозева И.М. Лингвистическая семантика. М., 2003.

Козлова М.С. Философия и язык. М., 1972.

Кронгауз М.А. Семантика. М., 2001.

Лайонз Дж. Лингвистическая семантика. М., 2004.

Леонтьева Н.Н. Автоматическое понимание текстов: системы, мо­де­ли, ре­сур­сы. М., 2006.

Лингвистический энциклопедический словарь / Под ред. В.Н. Ярцевой. М., 1990.

Логический анализ языка. Избранное. М., 2003.

Мартемьянов Ю.С. Логика ситуаций. Строение текста. Терминологич­ность слов. М., 2004.

Материалы к компьютерному тезаурусу лексики русского языка / Сост. И.В. Азарова, О.А. Митрофанова. СПб., 2002.

Мельчук И.A. Опыт теории лингвистической модели «Смысл Û Текст». М., 1999.

Минский М. Фреймы для представления знаний. М., 1976.

Московский лингвистический альманах. Вып. 1. Спорное в лингвистике. М., 1996.

Никитин М.В. Курс лингвистической семантики. СПб., 1996.

Падучева Е.В. Высказывание и его соотнесенность с действительностью. М., 1985.

Пиотровский Р.Г. Текст, машина, человек. Л., 1975.

Прикладное языкознание / Под ред. А.С. Герда. СПб., 1996.

Растье Ф. Интерпретирующая семантика. Н. Новгород, 2001.

Ревзин И.И. Модели языка. М., 1962.

Рубашкин В.Ш. Представление и анализ смысла в интеллектуальных ин­фор­мационных системах. М., 1989.

Семиотика: Антология / Под ред. Ю.С. Степанова. М., 2001.

Современная американская лингвистика: Фундаментальные направления / Под ред. А.А. Кибрика, И.М. Кобозевой, И.А. Секериной. М., 2002.

Степанов Ю.С. Язык и метод: К современной философии языка. М., 1998.

Успенский В.А. Труды по нематематике. Т. 1–2. М., 2002.

Шенк Р. Обработка концептуальной информации. М., 1980.

Шмелев Д.Н. Проблемы семантического анализа лексики. М., 2006.

Язык и интеллект / Сб. переводов. М., 1996.

Allan J. Understanding Natural Language. Cambridge (UK), 1999.

Bach E. Informal Lectures on Formal Semantics. NY, 1989.

Cann R. Formal Semantics: An Introduction. Cambridge, 1994.

Heim I., Kratzer A. Semantics in Generative Grammar. Oxford, 1998.

Lyons J. Semantics. Vol. 1–2. Cambridge, 1977.

Mathematical Methods in Linguistics / Eds. B.H. Partee, A. Ter Meulen, R.E. Wall. Dordreht, 1990.

Nirenburg S., Raskin V. Ontological Semantics. Cambridge (Mass.), 2004.

Semantics: A Reader / Eds. S. Davis, B.S. Gillon. NY, 2004.

The Structure of Language / Eds. J.A. Fodor, J.J. Katz. Englewood Cliffs, 1964.




Список дополнительной литературы

Аналитическая философия. Избранные тексты. М., 1993.

Апресян Ю.Д. Идеи и методы современной структурной лингвистики. М., 1966.

Апресян Ю.Д. Экспериментальное исследование семантики русского гла­гола. М., 1969.

Аспекты семантических исследований / Под ред. Н.Д. Арутюновой и А.А. Уфимцевой. М., 1980.

Баранов А.Н. Категории искусственного интеллекта в лингвистической семантике. Фреймы и сценарии. М., 1987.

Бо