Введение
Глава 1 Анализ современного состояния методов и систем в интеллектуальных САПР 19
1.1 Проектирование сложных технических систем 19
1.2 Лингвистическое обеспечение САПР 21
1.3 Современные тенденции интеллектуализации САПР 22
1.4 Экспертные системы, как элемент интеллектуальной САПР 24
1.4.1 Средства представления терминологии в интеллектуальных САПР 26
1.4.2 Логический вывод в интеллектуальных САПР 28
1.4.3 Нечеткость в логическом выводе знаний 28
1.4.4 Анализ существующих систем, реализующих алгоритм НЛВ 32
1.5 Нечеткие онтологии 36
1.5.1 Методика построения нечеткой онтологии из разных источников 37
1.5.2 Расширение OWL с помощью FuzzyOWL 39
1.5.3 Свойства-аннотации OWL 39
1.5.4 Формальная модель нечеткой онтологии FuzzyOWL 40
1.6 Методики извлечения терминов в задачах расширения ядра онтологии 43
1.7 Постановка задачи исследования 52
Глава 2 Методы и алгоритмы интеграции онтологического анализа и логического
2.1 Выбор класса модели онтологии для САПР 55
2.2 Формальная модель онтологии ПрО 57
2.3 Алгоритм интеграции онтологии и логического вывода 59
2.4 Использование прецедентов в процессе логического вывода 66
2.5 Формальная модель системы вывода, основанной на анализе прецедентов
2.6 Алгоритмы расширения онтологии 71
2.6.2 Алгоритм вложенных связей 76
Глава 3 Реализация интеллектуальной программной системы логического вывода на основе онтологии для интеллектуальной САПР 80
3.1 Выбор инструментов инженерии онтологии объекта проектирования 80
3.2 Диаграмма вариантов использования разработанной системы 83
3.3 Подсистема онтологически-ориентированного логического вывода на основе нечеткой онтологии 85
3.3.1 Описание проекта интеллектуальной компоненты САПР 86
3.3.3 Реализация алгоритма интеграции 88
3.4 Подсистема автоматизированного расширения ядра онтологии 94
3.4.1 Базовый функционал системы 94
3.4.2 Реализация базы данных 95
3.4.3 Схема информационного обеспечения 96
3.4.4 Диаграмма состояний 96
3.4.5 Схема работы 99
Глава 4 Анализ адекватности разработанных моделей и методов на основе вычислительных экспериментов и практики применения 104
4.1 План проведения экспериментов 104
4.2 Эксперименты по интеграции онтологического анализа и логического вывода в задачах автоматизированного проектирования 106
4.2.1 Онтология ЛВС 107
4.3 Сравнение методик логического вывода на основе четких и нечетких онтологий 111
4.4 Проведение экспериментов по логическому выводу с элементами интерактивного обучения 112
4.5 Анализ эффективности семантической оценки терминологичности 114
4.5.1 Онтология «Станки с ЧПУ» 115
4.5.2 Метрики оценки результатов 117
4.5.3 Результаты вычислительных экспериментов извлечения терминов из
4.5.4 Использование результатов работы предложенных алгоритмов при проведении отраслевой подготовки специалистов по мультиязычной
4.6 Применение АС поддержки проектирования в деятельности АО
«Авиастар-СП» 133
4.6.1 Характеристики объекта автоматизации 135
4.6.2 Направления применения разработанной системы 138
Заключение 143
Библиографический список 145
