Методы и средства предикатно-онтологического контроля семантики проектных задач и проектных решений

Оглавление
Введение
Глава первая. КОРРЕКТНОСТЬ СЕМАНТИКИ ПРОЕКТНЫХ ЗАДАЧ И ПРОЕКТНЫХ РЕШЕНИЙ
1.1. Место и роль семантики в проектировании автоматизированных систем
1.2. Работы с семантикой проектных задач и проектных решений.
1.2.1.Задачи концептуального проектирования
1.2.2. Настройка технологических задач на онтологию проекта АС.
1.3. Предикатноонтологический контроль семантики
1.3.1. Анализ опыта контроля семантики.
1.3.2. Базовые установки диссертационного исследования.
1.3.3. Механизмы повторного использования в контроле семантики.
1.4. Постановка задачи исследований и разработок.
1.4.1. Обобщнная постановка задачи
1.4.2. Вопросноответный анализ
1.4.3. Мотивационноцелевые установки задачи исследований
Выводы по первой главе.
Глава вторая. ЛОГИКОМАТЕМАТИЧЕСКОЕ ОБЕСПЕЧЕНИЕ ПРЕДИКАТНООНТОЛОГИЧЕСКОГО КОНТРОЛЯ.
2.1 .Подход к логикоматематическому обеспечению.
2.2. Псевдофизика извлечения простых предложений из текстов
2.3. Исходное формирование и нормализация предикатных моделей
2.4.Модели в проверках на соответствие онтологии.
2.4.1. Деятельностный контекст проверок на соответствие онтологии
2.4.2. Сопоставление вариантов употребления понятий
2.4.3. Индикаторы развития онтологии.
2.4.4. Прерывания контроля на соответствие онтологии.
2.5. Модели синтаксемного анализа
2.6. Семантика модальностей
2.7. Анализ субъективных отношений.
2.7.1. Проблемы с пониманием, отсутствием или недосгаточностыо знаний
2.7.2. Преждевременность предикации.
2.8. Контроль в управлении проектированием
2.8.1. Обнаружение вопросов.
2.8.2. Идентификация и кодирование вопросов.
2.8.3. Обработка вопросов.
Выводы по второй главе
Глава третья. МЕТОДОЛОГИЧЕСКОЕ ОБЕСПЕЧЕНИЕ ПРЕДИКАТНООНТОЛОГИЧЕСКОГО КОНТРОЛЯ
3.1. Метод предикатноонтологического контроля
3.1.1. Теория метода
3.1.2. Стратегия метода.
3.1.3. Тактика метода.
3.1.4. Детализации метода.
3.2 Методики предикатноонтологического анализа.
3.2.1. Методика выбора предложения, которое проходит предикацию.
3.2.2. Методика синтаксемного анализа.
3.2.3. Работа с виртуальной закладкой рабочего словаря
3.2.4 Методика развития взаимодействия с онтологией.
3.2.5. Обнаружение вероятностной модальности и нечеткости.
Выводы по третьей главе.
Глава четвертая. КОМПЛЕКС СРЕДСТВ ПРЕДИКАТНООНТОЛОГИЧЕСКОГО КОНТРОЛЯ
4.1. Архитектура, компоненты и механизмы комплекса I.
4.1.1. Архитектура
4.1.2. Морфологический анализатор.
4.1.3. База опыта.
4.1.4. Некоторые вопросы реализации работы с семантикой модальностей
4.2. Предикатноонтологический контроль в разработке систем.
Выводы по четвертой главе.
ЗАКЛЮЧЕНИЕ
Список литературы