ОГЛАВЛЕНИЕ
ВВЕДЕНИЕ.
1. Актуальность задачи поиска вывода
2. Цель работы и задачи диссертации.
3. Методы построения алгоритма и исследований
4. Апробация работы
5. Научная новизна и практическая ценность результатов работы
6. Личный вклад
7. Основные положения, выносимые на защиту.
8. Постановка задачи.
9. Обзор родственных работ.
. Структура работы.
ГЛАВА I. ЛОГИЧЕСКАЯ СИСТЕМА КТ.
1.1. Синтаксис и семантика модальной логики Б5.
1.1.1. Семантика возможных миров
1.1.2. Свойство немонотонности автоэнистемичсской логики
1.1.3. Автоэпнстемическая логика, ее язык, синтаксис и семантика
1.1.4. Семантика возможных миров автоэиистемнческой логики
1.2. Понятие мультимножества и исчисление секвенций для системы Б5.
1.2.1. Общая схема обратного метода установления выводимости
1.3. Прямое исчисление БЗбер и обратное исчисление фМу.
1.4. Выводы по главе.
ГЛАВА II. ИСЧИСЛЕНИЕ ПУТЕЙ ДЛЯ СИСТЕМЫ
2.1. Исчисление путей фрАТн прямое исчисление путей.
2.2. Обратное исчисление путей фу.
2.3. Выводы по главе.
ГЛАВА Ш. УСТРАНЕНИЕ ИЗБЫТОЧНОСТЕЙ ИСЧИСЛЕНИЯ ПУТЕЙ .
3.1. Критерии избыточности для обратного метода
3.2. Стратегия Фупорядочения
3.2.1. Алгоритм упорядочения
3.3. Полнота обратного метода исчисления фр без секвенций, не относящихся
3.4. Предпосылка как критерий избыточности.
3.5. Общий алгоритм установления выводимости.
3.6. Выводы по главе.
ГЛАВА IV. ПРИМЕНЕНИЕ ОБРАТНОГО МЕТОДА УСТАНОВЛЕНИЯ ВЫВОДИМОСТИ ДЛЯ МЕХАНИЗМА ВЫВОДА ЭКСПЕРТНЫХ СИСТЕМ
4.1. Пример оболочки экспертной системы на основе классического нечеткого
вывода.
4.2. Практической применение обратного метода установления выводимости для автоэпистемичекой логики
4.2.1. Оценка актуарных гипотез ПФР.
4.2.2. Анализ производственной мощности предприятия.
4.3. Выводы по главе
ЗАКЛЮЧЕНИЕ.
СПИСОК ИСПОЛЬЗОВАННЫХ ИСТОЧНИКОВ
- Київ+380960830922