Введение
1. Анализ методов создания автоматизированных систем 7
1.1. Этапы развития автоматизированных систем и методов их создания 7
1.2. Анализ методов и средств представления знаний в автоматизированных системах 15
1.2.1. Сетевые модели 16
1.2.2. Семантические сети 16
1.2.3. Фреймовые модели 20
1.2.4. Продукционные модели 22
1.2.5. Формальные модели представления знаний (логики) 24
1.2.6. Логика предикатов первого порядка 27
1.2.7. Онтологический подход 30
1.3. Сравнительные характеристики методов представления знаний 37
1.4. Анализ средств представления модели знаний на основе онтологического подхода 40
1.4.1. Protege-II 40
1.4.2. Сус 41
1.4.3. TOVE 41
1.4.4. Ontolingua 42
1.4.5. KACTUS 43
1.4.6. SHOE 44
1.4.7. IBROW 44
2. Разработка метода представления модели знаний 47
2.1. Понятие модели знаний 47
2.1.1. Модель знаний и предъявляемые к ней требования 48
2.2. Структурные компоненты модели знаний и их онтологическое представление 49
2.3. Построение обобщенной модели знаний 56
3. Разработка онтологического представления компонентов модели знаний для решения задач параметрического проектирования 62
3.1. Онтология задачи параметрического проектирования 64
3.1.1. Спецификация класса задач параметрического проектирования 64
3.1.2. Построение онтологии задачи параметрического проектирования... 67
3.2. Онтология метода решения 70
3.2.1. Структура задачи параметрического проектирования 70
3.2.2. Методы решения для класса задач параметрического проектирования73
3.2.3. Построение онтологии метода решения 91
3.3. Онтология предметной области 96
3.4. Разработка единой онтологической модели знаний. Механизм интерфейсовЮЗ
3.5. Процесс решения задачи на основе онтологической модели знаний 105
4. Представление онтологической модели знаний в компьютерной среде 115
4.1. Формальное представление модели опыта на языке F-логики 116
4.1.1. Описание онтологии задачи параметрического проектирования на F-логике 117
4.1.2. Описание онтологии проблемно-решающего метода на F-логике ... 120
4.1.3. Описание онтологии предметной области на F-логике 123
4.1.4. Онтология интерфейса "Задача-Метод решения" 126
4.1.5. Онтология интерфейса "Метод - Предметная область" 128
4.1.6. Объединенная модель опыта 130
4.2. Компьютерное представление модели опыта 134
4.2.1. Описание онтологии задачи параметрического проектирования 136
4.2.2. Описание онтологии предметной области 138
4.3. Разработка программного комплекса моделирования опыта специалиста... 139
4.3.1. Этапы процесса работы пользователя с программным комплексом 142
4.3.2. Программная реализация визуального представления формализованной модели опыта 145
Общие выводы и результаты 152
Список литературы 154
