Исследование методов установления значений синтаксических единиц естественных языков на основе интеллектуального анализа данных

• Автор: Смирнов, Иван Валентинович
• Шифр специальности: 05.13.01
• Научная степень: Кандидатская
• Год защиты: 2008
• Место защиты: Москва
• Количество страниц: 177 с. : ил.

ОГЛАВЛЕНИЕ
Введение

Актуальность темы

Цель работы

Методы исследования

Новизна .

Практическая значимость работы.

Апробация работы.

Структура и объем работы.

1. Работы в области семантического анализа текста

1.1. Работы Кембриджского лингвистического кружка.

1.2. Трансформационная грамматика Хомского
1.3. Формальная семантика Монтегю.
1.4. Семантические падежи Филлмора
1.5. Модель СмыслТекст.
1.6. Выводы.
2. Установление значений синтаксических единиц текста с
помощью методов анализа данных.
2.1. Методы анализа данных
2.1.1. Статистические методы анализа данных
2.1.2. Логические методы анализа данных
2.2. Методы анализа данных в решении задачи установления значений синтаксических единиц текста
2.3. Выводы.
3. Приложение методов теории коммуникативной грамматики к
семантическому анализу текстов.
3.1. Теория коммуникативной г рамматики русского языка
3.2. Реляционноситуационная модель текста в задаче семантического анализа и поиска документов.
3.2.1. Описание модели.
3.2.2. Использование реляционноситуационной модели текста в задаче
семантического поиска
3.2.3. Метод построения реляционноситуационной модели текста.
3.3. Проблема снятия семантической многозначности синтаксических единиц
текста.
3.4. Выводы.
4. Индуктивный метод порождения правил установления значений синтаксических единиц текста
4.1. ДСМметод автоматического порождения гипотез.
4.2. Модификация метода порождения гипотез
4.2.1. Операция вычисления сходства для объектов с признаками произвольной
природы
4.2.2. Составные признаки.
4.2.3. Учт контекста объектов
4.3. Метод и алгоритм порождения правил установления значений синтаксем
4.3.1. Выбор объектов, признаков и свойств
4.3.2. Создание обучающих примеров
4.3.3. Алгоритм порождения правил установления значений синтаксем.
4.3.4. Применение правил для установления значений синтаксем
4.3.5. Метод оценивания объяснительной и предсказательной силы правил
4.4. Выводы
5. Эксперименты и их результаты
5.1. Построение обучающих примеров.
5.2. Порождение правил установления значений синтаксем
5.3. Экспериментальное оценивание объяснительной силы правил
5.4. Экспериментальное оценивание предсказательной силы полученных правил
5.5. Применение правил установления значений синтаксем в задаче
семантического анализа текстов
5.5.1. Процедура снятия семантической многозначности синтаксических единиц
5.5.2. Применение правил установления значений синтаксических единиц текста в
задачах семантического поиска.
5.6. Экспериментальное оценивание повышения точности поиска.
5.7. Значение полученных результатов
5.7.1. Значение полученных правил для лингвистики
5.7.2. Значение полученных правил для решения прикладных задач.
5.8. Выводы.
Заключение.
Список литературы


В конце выполняется выбор наиболее вероятной последовательности шаблонов, т. Семантическое тождество текстов может проверяться совпадением соответствующих им шаблонов. Недостатком предложенного языка-посредника является общность ситуаций, описываемых шаблонами, его лексическая и семантическая бедность. Трансформационная грамматика Хомского. Изначально трансформационная грамматика Хомского [Хомский, ] (Хомский, ] представляла собой механизм, порождающий все грамматически правильные предложения языка. Целью такой грамматики является способность отличать грамматически правильные предложения от грамматически неправильных, причем под грамматической правильностью не подразумевалась «осмысленность» или «значимость» в каком бы то ни было семантическом смысле. N —> man, ball a т. Verb —* hit, took и т. Tf. Если Si и S2 - грамматически правильные предложения и Sj отличается от S2 только тем, что Y появляется в S2 там, где Xпоявляется в Sj, причем Xи Y - суть составляющие одного типа, то S* - результат подстановки X and Y в Sj вместо X- есть предложение. Т2: Если S - грамматически правильное предложение вида NP,-Aux-V-N? NP2 - Аих + be + еп — V— by - NPj является также грамматически правильным предложением. И) Пусть Af есть любой из аффиксов past, S, 0, еп, ing. Обозначим через v любой из элементов М, V, have, be (т. Verb). III) Подставить # вместо + во всех случаях, за исключением контекста v -Af. Вставить # в начале и в конце цепочки. IV) take —> /teyk] и т. Построение предложения начинается с Sentence. Применяются правила уровня непосредственных составляющих, строится терминальная цепочка, которая представляет собой последовательность морфем, расположенных не обязательно в правильном порядке. Затем применяются морфофонемные правила, обращающие цепочку слов в последовательность фонем. Формальная семантика Монтегю. Формальная семантика является результатом синтеза математической логики и лингвистики. Её главный основатель Ричард Монтегю (Richard Montague) ([Montague ], [Partee и Борщев, ]) исходил из предположения, что формальные и естественные языки существенным образом не различаются с теоретической точки зрения, поэтому он предпринял попытку разработки формального логического языка, который, по его мнению, может рассматриваться как фрагмент обычного английского языка. Синтаксическими категориями выражений интенсиональной логики служат типы. Если а, b типы, то <а,Ь> тоже тип (тип функций из множества элементов типа а в множество элементов типа Ь. Если а тип, то тоже тип (тип функций из множества возможных миров в множество элементов типа а). Всякая константа типа а принадлежит МЕа. Всякая переменная типа а принадлежит МЕа. Если а е МЕа и и переменная типа b, то А,м[а]е МЕ. Если а е МЕ<^^> и [3 е МЕШ то а([3) е МЕЛ. Если а, р е МПа, то (а = р) е ME,. Шф означает «необходимо, что ф»). Если а е МЕД, то [Аа] е МE. Если а е МЕ^а>, то [va] е МЕа. Оь }(т. Я/ ^ -> Ц, }(т. В иа . Семантическая интерпретация интенсиональной логики использует (как в исчислении предикатов) множество в оценок gy функций из множества переменных всех типов в соответствующие множества значений. Если а константа, то ||а||м,и'^ = 1(а)(м>). Если а переменная, то ||а||м,н’* = g(a). Если а е МЕа и и - переменная типа Ь, то ||А,и [а]||м> ”’8 обозначает функцию/типа Ь -> а такую, что для любого элемента с! Если а е МЕ«,4> и 3 е МЕЯ, то Ц^р)! ЦаЦ^СЦРЦ^. Если а, 3 е МЕ„, то ||(а = Р)||м "’’®= 1 тогда и только тогда, когда ||а||м,"‘г = || Р||Мл*. Если ф,|/ е МЕ„ и и - переменная некоторого типа, то |[—|ф[|м’^ = 1, тогда и только тогда, когда ||ф|| м’”',я = 0. Ц(ф & ф)||М,м'^ = 1, тогда и только тогда, когда ||ф||м,и'^ = 1 и |||/||= 1. V |/)||м'^ = 1, тогда и только тогда, когда ||ф||м'*'’8 = 1 или ||ф||м’™'8 = 1. М,м%* = 1, тогда и только тогда, когда ||ф||Мл^ = 0 или ИфН^’* = 1. Мл'’5. VII): || V иф|| М,м,^=1 если для каждого с! Э, ||ф|| м,и,'^а/и] =1. Эи): ||Эиф|| м’и’* =1 если существует элемент с! Э такой, что ||ф|| М’М’’*1ЙЛ|1 = 1. Если а е МЕа, то ||[Аа][|м’ ”’8 обозначает функцию к типа <•*,