ОГЛАВЛЕНИЕ
СПИСОК ОСНОВНЫХ СОКРАЩЕНИЙ
ВВЕДЕНИЕ
ГЛАВА 1. Табличные модели представления знаний в интеллектуальных системах поддержки принятия решений.
1.1. История н области применения табличных моделей.
1.2. Структура табличных моделей
1.3. Задачи анализа табличных моделей.
1.3.1. Корректность ТР
1.3.2. Минимизация ТР.
1.4. Принятие решении но табличным моделям
1.5. Расширенные табличные модели.
1.6. Программные средстиа обработки табличных моделей.
1.7. Табличные модели в контексте СППР
1.8. Выводы по главе 1
ГЛАВА 2. Нечткие таблицы решений
2.1. Структура нечтких таблиц решений
2.2. Корректность нечтких таблиц решений.
2.2.1. Свойства полноты и непротиворечивости
2.2.2. Выделение области семантически допустимых ситуаций.
2.3. Принятие решений на основе нечтких таблиц решений.
2.3.1. Базовая схема вывода.
2.3.2. Вычисление значений условных атрибутов.
2.3.3. Агрегирование условий
2.3.4. Активация заключений правил
2.3.5. Аккумуляция н дефаззификация.
2.3.6. Активация правила Иначе
2.3.7. Деревья активации
2.3.8. Обобщнный алгоритм принятия решений по НТР
2.4. Выводы но главе 2
ГЛАВА 3. Методы и алгоритмы обработки НТР
3.1. Переборный метод проверки корректности НТР.
3.2. Матричный метод проверки корректности НТР
3.2.1. Матричная формулировка непротиворечивости НТР
3.2.2. Проверка аномалий коэффициентов уверенности правил.
3.3. Метод кардинальных чисел.
3.3.1. Базовый метод
3.3.2. Модифицированная проверка полноты НТР
3.3.3. Проверка избыточности НТР
3.4. Логические методы
3.4.1. Оптимизация НТР на основе ФАЛ
3.4.2. Проверка полноты НТР как задача логического вывода
3.5. Аппарат приближнных множеств.
3.5.1. Основные понятия приближнных множеств
3.5.2. Построение НТР по неполным и противоречивым данным
3.5.3. НТР как решающая система
3.5.4. Отношение неразличимости для НТР
3.5.5. Матрицы и функции различимости для НТР
3.5.6. Проверка непротиворечивости НТР.
3.5.7. Редукция условий в НТР
3.5.8. Оптимизация правил в И ГР.
3.6. Выводы но главе 3.
ГЛАВА 4. Практическое применение НТР
4.1. Методика и сценарий применения НТР
4.2. Структура мультнтабличиой модели НТР
4.3. Программная реализации модулей работы с НТР.
4.3.1. Общая архитектура системы.
4.3.2. Среда редактирования НТР СИМПР
4.4. Диспетчеризация лотов на производстве чипов.
4.4.1. Организация полупроводникового производства.
4.4.2. Методы решения задачи диспетчеризации лотов.
4.5. Контроллер диспетчеризации лотов на основе НТР
4.5.1. Структура программного комплекса
4.5.2. Описание НТР диспетчеризации
4.5.3. Результаты экспериментов
4.6. Выводы по главе 4.
ЗАКЛЮЧЕНИЕ
СПИСОК ЛИТЕРА ТУРЫ
ПРИЛОЖЕНИЯ
Приложение 1. Обзор эволюции программных средств поддержки табличных МПЗ
Приложение 2. Иерархия отношений на множестве правил в НТР.
Приложение 3. Доказательства утверждений из главы 2
Приложение 4. Описание Xсхемм представлении мультнтабличиой .модели.
Приложение 5. Организация модульного тестировании кода.
Приложение 6. Программная модель компонента i
Приложение 7. Описание среды СИМПР.
Приложение 8. Обзор комбинированных методов диспетчеризации лотов
Приложение 9. Описание программной среды контроллера диспетчеризации.
Приложение . Xпредставленис модели диспетчеризации
Приложение . Результаты имитационного моделирования
Приложение . Акты о результатах внедрения диссертационной работы.
СПИСОК ОСНОВНЫХ СОКРАЩЕНИЙ
СОКРАЩЕНИЕ ЗНАЧЕНИЕ
ДА Дерево активации
ДНФ Дизъюнктивная нормальная форма
др Дерево решений
ис Интеллектуалыiая система
ИСППР Интеллектуальная система поддержки принятия решений
КА Коэффициент активации
КНФ Конъюнктивная нормальная форма
Лицо, принимающее решения
МПЗ Модель представления знаний
НТР Нечткая таблица решений
по Программное обеспечение
ПР Последовательность решений
РВ Реальное время
Решающая система
РТР Расширенная таблица решений
соз Система, основанная на знаниях
СТР Семантическая таблица решений
зов Таблица решений с ограниченным входом
ТР Таблица решений
ТРВ Таблица решений с расширенным входом
ТТР Таймированная таблица решений
ФАЛ Функция алгебры логики
эс Экспертная система
ст i
xi i
X i x
i i
vi iii
I i
ВВЕДЕНИЕ
В диссертационной работе исследованы, разработаны и реализованы модели, методы и программные средства принятия решений па основе табличных моделей представления знаний МПЗ для интеллектуальных систем ИС типа ИС поддержки принятия решений ИСППР 13. Полученные результатов использованы для разработки архитектуры и программной реализации системы представления знаний и поиска решений па основе аппарата нечтких таблиц решений НТР, ориентированной на использование в составе современных ИС, в том числе и ИСППР реального времени РВ. Реализованная подсистема применена в рамках прототипа ИСППР для управления микроэлектронным производством 4.
Актуальность