Теоретические основы, методы и алгоритмы формирования знаний о синонимии для задач анализа и сжатия текстовой информации

• Автор: Михайлов, Дмитрий Владимирович
• Шифр специальности: 05.13.17
• Научная степень: Докторская
• Год защиты: 2012
• Место защиты: Великий Новгород
• Количество страниц: 333 с. : ил.

ПЕРЕЧЕНЬ СОКРАЩЕНИЙ
АРМ автоматизированное рабочее место
АФП анализ формальных понятий
ГСС глубинная синтаксическая структура
ЕЯ естественный язык
ИГ именная группа
ЛЗ лексическое значение
ЛСК лексическая синонимическая конструкция
ЛФ лексическая функция
МУ модель управления
НОПП наибольшее общее подпонятие
НОСГТ наименьшее общее суперпонятие
РЗ расщепленное значение
РОСС русский общесемантический словарь
РПЗ расщепленное предикатное значение
СГ семантический граф
СемП семантическое представление
СК семантический класс
СХ семантическая характеристика
СЭ семантическая эквивалентность
СЯУ ситуация языкового употребления
ТКС толково-комбинаторный словарь
ФП формальное понятие
ХФ характеристическая функция

ПЕРЕЧЕНЬ ОСНОВНЫХ ОБОЗНАЧЕНИЙ
Г-={WR,VR,(p,П) Д-грамматика, VR - словарь пометок на ветвях дерева,
fVR - словарь пометок на узлах, (р - матрица ограничений на размещение пометок на ветвях, П - множество правил преобразований деревьев Rap[rulej) условие применимости правила rulej е П
С0 ключевое слово комплекса единиц wrk е WR и связей
vrj е VR между ними, заменяемых некоторым rule i е П
Lm(wj) теория лексического значения слова wi
К = (G,M,l) формальный контекст с множеством объектов G и
множеством признаков М, / с GxM
^ отношение порядка для формальных понятий
9? решетка формальных понятий
Null формальный контекст с пустыми множествами объек-
тов и признаков • операция конкатенации
norm функция, ставит в соотвествие слову начальную форму
Ру предлог между синтаксически главным и зависимым
словом
Spv: (v) 1, V] 2) —> v’2 j функция, ставит в соответствие расщеплённому предикатному значению {vi 1, Vj 2 } его однословное выражение V
J индексное множество
Ls(Tsj) модель линейной структуры ЕЯ-фразы Tst
S = (0,R,Ts) ситуация языкового употребления, О - множество зна-
чимых в ситуации понятий, Ts — множество альтернативных форм описания ситуации в некоторой знаковой
системе; R СОДЕРЖАНИЕ
ВВЕДЕНИЕ
Глава 1. СИТУАЦИЯ ЯЗЫКОВОГО УПОТРЕБЛЕНИЯ
И КЛАСТЕРИЗАЦИЯ ПРЕДМЕТНО-ЯЗЫКОВЫХ ЗНАНИЙ
1.1. Семантическая эквивалентность и ситуация языкового употребления
1.2. Концептуальная модель процесса установления
семантической эквивалентности
1.3. Уровень глубинного синтаксиса
1.4. Анализ формальных понятий как инструмент
концептуальной кластеризации
Выводы
Глава 2. ТЕОРЕТИЧЕСКИЕ ОСНОВЫ РАСПОЗНАВАНИЯ СВЕРХФРАЗОВЫХ ЕДИНСТВ НА УРОВНЕ ГЛУБИННОГО СИНТАКСИСА
2.1. Концептуальная модель процесса распознавания взаимной дополняемости фраз в сравниваемых по смыслу высказываниях естественного языка
2.2. Построение системы целевых выводов в Д-грамматике
2.3. Моделирование построения образа суммарного смысла
2.4. Служебная информация правил и относительность синонимических преобразований деревьев глубинного синтаксиса
2.5. Пример построения образа сверхфразового единства для четырех
простых распространенных предложений русского языка
Выводы
Глава 3. ФОРМИРОВАНИЕ И ЭКСПЕРИМЕНТАЛЬНАЯ ОЦЕНКА ЗНАНИЙ НА ОСНОВЕ СИТУАЦИЙ СМЫСЛОВОЙ ЭКВИВАЛЕНТНОСТИ
3.1. Лексическое значение слова и его формализация
на языке логики предикатов первого порядка
3.2. Прецеденты семантических отношений для ситуаций
синонимии на основе стандартных лексических функций

Определение 1.6. Смысл слова определяется как множество отношений вида “денотат - денотат” (именуемых также смысловыми отношениями), существующих между данным словом и другими словами в заданном естественном языке.
В логике различие между смыслом и денотатом определяется с помощью экстенсионала и интенсионала.
Определение 1.7. Экстенсионал (объем понятия) есть класс сущностей, именуемых заданным словом.
Определение 1.8. Интенсивная (содержание понятия) есть множество признаков, определяющих класс сущностей из экстенсионала.
Как следует из определений 1.7 и 1.8, экстенсионал соответствует денотату, интенсионал - смыслу слова.
Само описание слова с точки зрения объема и содержания понятия, обозначаемого словом, составляет основу кластеризации слов, наиболее естественно реализуемой методами анализа формальных понятий (АФП) [28, 140, 141, 153, 154, 158, 159, 179, 184, 185].
Определение 1.9. АФП - это метод анализа данных, основанный на математической теории решеток [4]. Основой АФП является доказанная Г. Биркго-фом теорема [4] о том, что для любого бинарного отношения можно построить полную решетку.
При использовании данного метода некоторая исследуемая область знаний описывается в терминах набора объектов и признаков (атрибутов), затем вводится описание формального контекста. Далее для заданного контекста формируется множество формальных понятий, и строится решетка, которая может быть визуально отображена диаграммой линий. Формализация понятий и их последующий анализ с помощью решетки позволяют оперировать данными на семантическом уровне без потери или недопустимого упрощения объектов и их признаков.