Нейрологические модели и методы решения задач в интеллектуальных системах реального времени

• Автор: Фоминых, Игорь Борисович
• Шифр специальности: 05.13.17
• Научная степень: Докторская
• Год защиты: 2000
• Место защиты: Москва
• Количество страниц: 204 с. : ил.

1. АНАЛИЗ НЕЙРОСЕТЕВЫХ И ЭКСПЕРТНЫХ МОДЕЛЕЙ РЕШЕНИЯ ЗАДАЧ

1.1. Специфика интеллектуальных систем реального времени

1.2. Основные модели инженерии знаний.

1.2.1. Состав и организация знаний символьнологического уровня

1.2.2. Логические модели представления знаний

1.2.3. Сетевые модели

1.2.4. Объектное представление знаний

1.2.5. Продукционные модели

1.3. Нейросетевые модели

1.3.1. Общая характеристика.

1.3.2. Нелинейные функции активации

1.3.3. Сеть Хопфилда
1.3.4. Многослойные сети.
1.4. Информационный подход
1.5. Выводы по главе 1
2. СТРУКТУРЫ ДЛЯ ПРЕДСТАВЛЕНИЯ ЗНАНИЙ
2.1. Представление образов и понятий на основе информационного подхода
2.2. Развитие логических моделей на основе неклассических логик
2.2.1. Модели на основе логики умолчаний
2.2.2. Модели на основе временной логики с часами
2.3. Выводы по главе 2
3. РЕШАЮЩИЕ ПРОЦЕДУРЫ
3.1. Информация и обучение нейросетей
3.2. Вывод в динамической среде 1
3.3. Выводы по главе 3
4. ПРОЕКТИРОВАНИЕ ГИБРИДНЫХ НЕЙРОЭКСПЕРТНЫХ СИСТЕМ
4.1. Инструментальные средства проектирования нейросетей
4.2. Инструментальные средства реализации динамических экспертных систем.
4.3. Методология проектирования гибридных систем.
4.4. Экспериментальные исследования
4.5. Выводы по главе 4
ЗАКЛЮЧЕНИЕ
СПИСОК ЛИТЕРАТУРЫ


В логических моделях как правило используется исчисление предикатов первого порядка, дополненное рядом эвристических стратегий. Эти методы являются системами дедуктивного типа, т. Дальнейшим развитием предикатных систем являются системы неклассической логики, некоторые из которых послужили одним из теоретических базисов данной работы. К эвристическим моделям, используемым в экспертных системах, обычно относят сетевые, объектные и продукционные модели. И подмножество выражений теории 8, называемых формулами теории под выражениями понимаются конечные последовательности базовых символов теории Б. А выделенное множество формул, называемых аксиомами теории 8, т. Я конечное множество отношений Г,. Для каждого г существует целое положительное число такое, что для каждого множества, состоящего из формул , и для каждой формулы эффективно решается вопрос о том, находятся ли данные формул в отношении Г с формулой Если отношение Г выполняется, то 1 называется непосредственным следствием данных формул по правилу ц. Следствием выводом формулы в теории Б называется всякая последовательность ,. Г формул такая, что для любого 1 формула 5 есть либо аксиома теории Б , либо непосредственное следствие какихлибо предыдущих формул по одному из правил вывода. Правила вывода позволяют расширять множество формул, которые считаются истинными в рамках данной теории. Формальная теория называется разрешимой, если существует единая эффективная процедура, позволяющая узнать для любой данной формулы, существует ли ее вывод в Б.