Введение
Глава 1. Разработка и исследование математической модели для описания системы первичных единиц концептуального уровня, используемых лингвистическим процессором
1.1. Формализация семантики естественного языка и потребности проектирования лингвистических процессоров
1.2. Постановка задачи
1.3 .Базовые обозначения и вспомогательные определения
1.4. Краткая характеристика предлагаемой математической модели для описания системы первичных единиц концептуального уровня, используемых лингвистическим процессором
1.5.Сортовые системы
1.5.1. Основные идеи определения класса сортовых систем
1.5.2. Формальное определение сортовой системы
1.6. Типы, порождаемые сортовыми системами, и конкретизации типов
1.6.1. Определение множества типов
1.6.2. Интерпретация определения множества типов
1.6.3. Отношение конкретизации на множестве типов
1.7. Концептуальнообъектные системы
1.8. Системы кванторов и логических связок. Концептуальные базисы
1.9. Обсуждение разработанной математической модели для описания системы первичных единиц концептуального уровня,
используемых лингвистическим процессором
1.9.1 .Особенности модели с математической точки зрения
1.9.2. Сравнение модели с другими подходами к описанию
первичных единиц концегггуального уровня
1 Выводы по материалам главы 1
Глава 2. Разработка и исследование математической модели для описания струкгурированных значений предложений и связных текстов на естественном языке
2.1. Постановка задачи
2.2. Краткая характеристика предлагаемого решения поставленной задачи
2.2.1. Краткая характеристика новых правил построения формул
2.2.2. Схема определения трех классов формул, порождаемых концептуальными базисами
2.3. Использование интенсиональных кванторов в формулах
2.4. Использование реляционных символов и разметка формул
2.4.1. Правила для применения реляционных символов
2.4.2. Правило, позволяющее помечать формулы
2.5. Использование логических связок не, и, или
2.6. Построение составных обозначений понятий и объектов
2.6.1. Правило для построения составных обозначений понятий
2.6.2. Построение составных обозначений объектов
2.7. Использование в формулах кванторов существования и всеобщности.
Построение обозначений упорядоченных наборов
2.7.1. Применение кванторов существования и всеобщности
2.7.2. Построение обозначений упорядоченных наборов
2.7.3.Сводная таблица правил Р0Р
2.8. Стандартные Кязыки. Математическое исследование их свойств
2.9. Исследование выразительных возможностей стандартных Кязыков
2.9.1. Удобный способ описания событий
2.9.2. Формализация предположений о структуре
семантических представлений множеств
2.9.3. Построение семантических представлений вопросов
с ролевыми вопросительными словами
2.9.4. Семантические представления вопросов о количестве предметов
2.9.5. Семантические представления вопросов о количестве событий
2.9.6. Семантические представления вопросов с формами вопросительноотносительного местоимения какой
2.9.7. Построение семантических представлений вопросов общеудостоверительного актуальносинтаксического тина
2.9.8. Отображение смысловой структуры команд
2.9.9. Представление теоретикомножественных отношений
и операций на множествах
2.9 . Представление смысла фраз с придаточными предложениями
цели и с косвенной речыо
2.9 Явное представление причинноследственных отношений, передаваемых дискурсами
2.9 Построение семаггических представлений дискурсов со ссылками
на смысл фраз и более крупных частей текста
2.9 Представление фрагментов знаний о мире
2.9 Объектноориентированные представления фрагментов знаний
2 Сравнение выразительных возможностей СКязыков
с возможностями основных известных подходов к формальному представлению содержания ЕЯтекстов
2 Обсуждение построенной математической модели
2 Выводы по материалам главы 2
Глава 3. Анализ возможностей применения аппарата СКязыков к решению ряда актуальных проблем информатики
3.1. Аппарат СКязыков как инструмент проектирования лингвистических процессоров систем автоматизированного контроля смысловой полноты
и целостности документации сложных технических систем
3.2. Разработка семантического сетевого языка нового поколения
3.3. Новые возможности для разработки языков представления
знаний и построения онтологий предметных областей
3.3.1. Онтологии и их значение для глобальных информационных сетей
3.3.2. Анализ возможностей представления знаний о предметных
областях средствами СКязыков
3.3.3. Разработка новых языков представления знаний для решения информационносложных задач
3.4. Возможности использования СКязыков в проектировании интеллектуальных информационнопоисковых и вопросоответных Интернетсистем нового поколения
3.4.1. Актуальность разработки вопросоответных Интернетсистем
3.4.2. Электронные библиотеки и проблема обеспечения доступа общественности к государственным информационным ресурсам
3.5. Определение класса стандартных Кязыков как формальная мсгаграмматика для описания содержания посланий
компьютерных интеллектуальных агентов
3.6. Анализ возможностей использования СКязыков для формирования контрактов и протоколов переговоров в области
электронной коммерции
3.7. Выводы по материалам главы 3 3 Глава 4. Разработка математической модели лингвистической базы данных и нового метода преобразования ЕЯтсксг Семантическое представление
4.1. Постановка задачи
4.2. Формализация дополнительных требований к языку построения семантических представлений текстов
4.3. Текстообразующие системы
4.3.1. Морфологические базисы
4.3.2. Морфологические базисы Ртипа русскоязычного типа
4.3.3. Понятие текстообразующей системы
4.4. Понятие лексикосемантического словаря
4.5. Словари глагольнопредложных семантикосинтаксических фреймов
4.6. Формализация необходимых условий реализации данного смыслового отношения в сочетаниях вида Глагольная форма
Зависимая группа слов
4.7. Словари предложных семантикосинтаксических фреймов
4.8. Лингвистические базисы
4.9. Структуры данных, ассоциированные с текстом в рамках
заданного лингвистического базиса
4.9.1. Компонентноморфологическое представление текста
4.9.2. Проекции компонентов лингвистического базиса на входной текст
4 Матричное семантикосинтаксическое представление ЕЯ текста
4 Новый метод преобразования ЕЯтекстов в их семантические представления
41. Принципы установления соответствия между матричным семантикосинтаксическим представлением текста и его Кпредставлением
42. Формулировка метода
43. Принципы выбора формы семантического представления для текстов различных видов
44. Обсуждение разработанного метода преобразования ЕЯтекстов в семантические представления
4 Выводы но материалам главы
Глава 5. Разработка алгоритма семантикосинтаксического анализа текстов из подъязыков естественного языка
5.1. Постановка задачи разработки алгоритма семантикосинтаксического анализа текстов
5.2. Формализация исходных предположений о рассматриваемых подъязыках естественного русского языка
5.3. Начальные этапы разработки алгоритма построения матричного семантикосинтаксического представления входного текста лингвистического процессора
5.4. Описание алгоритма выявления вида входного текста
5.5. Принципы обработки ролевых вопросительных словосочетаний
5.6. Принципы и методы обработки причастных оборотов и придаточных определительных предложений
5.7. Разработка алгоритма поиска возможных смысловых связей между значением глагольной формы и значением зависящей от нее группы слов
5.8. Обработка прилагательных, предлогов, количественных числительных и существительных
5.9. Завершение разработки алгоритма построения матричного семантикосинтаксического представления входного текста
5 Начальный шаг построения семаггических представлений
входных текстов
5 Построение семантических представлений коротких фрагментов входного текста с помощью алгоритма Начал опострСемП
5 Заключительные этапы разработки алгоритма сборки семантического представления входного текста по его матричному семантикосинтаксическому представлению
5 Алгоритм семантикосинтаксического анализа текстов на естественном русском языке
51. Описание алгоритма БетЗуп Семантикосинтаксича нал изтекста
52. Обсуждение разработанного алгоритма семантикосинтаксического анализа текстов
5 Применение разработанного алгоритма к проектированию русскоязычных интерфейсов прикладных компьютерных систем
51. Применения в научнотехнических исследованиях.
52. Компьютерные программы, разработанные в рамках учебного процесса
5 Выводы по материалам главы
Заключение по диссертации
Литература
- Київ+380960830922