Оглавление
Введение.
Обзор содержания.
Глава 1. Задачи, приводящие к ЬРструктурам
1.1.0 многоуровневом прораммировании.
1.2. Основная терминология решаемых задач.
1.3. Стандартная продукционная система
1.4. Расширенная продукционная система
1.5. Продукционная система первого порядка
1.6. Условная эквациональная теория.
1.7. Модель иерархии типов
1.8. Продукционная модель императивных алгоритмов.
Глава 2. Общая теория ЬРструктур
2.1. Порождающие множества в продукционных системах.
2.1.1. Основные определения и обозначения.
2.1.2. Эквивалентные преобразования баз знаний
2.1.3. Построение минимальных порождающих множеств
2.1.4. Корректность и верификация баз знаний
2.2. Дополнительные сведения о бинарных отношениях и решетках
2.3. Понятие ЬРструктуры. Логические отношения.
2.4. Эквивалентные преобразования.
2.5. Логическая редукция
2.6. Логические уравнения на решетках.
Глава 3. ЬРструктуры на полных решетках
3.1. Определение ЬРструктуры на полной решетке
3.2. Эквивалентные преобразования.
3.3. Логическая редукция
3.4. Логические уравнения на полных решетках.
Глава 4. Расширенные модели.
4.1. структуры нулевого порядка.
4.1.1. Логическое замыкание и эквивалентные преобразования
4.1.2. Структура логических связей
4.1.3. Логическая редукция
4.2. сгруктуры первого порядка.
4.2.1. Логическое замыкание и эквивалентные преобразования
4.2.2. Структура логических связей.
4.2.3. Логическая редукция
4.3. Эквациональные структуры.
4.3.1. Модель условной эквациональной теории
4.3.2. Логическое замыкание и эквивалентные преобразования
4.3.3. Структура логических связей.
4.3.4. Логическая редукция.
4.3.5. Некоторые итоги
Глава 5. Немонотонные структуры
5.1. структуры на решетках типов
5.1.1. Определение основных понятий
5.1.2. Свойства дистрибутивных троек и совместимых пар.
5.1.3. Логическое замыкание и эквивалентные преобразования
5.1.4. Структура логических связей и редукция
5.1.5. Алгоритмические вопросы.
5.2. структуры на некоммутативных решетках
5.2.1. Некоммутативные решетки.
5.2.2. Некоммутативные решетки с расширенным множеством X
5.2.3. Немонотонные логические отношения.
5.2.4. О продукционной модели императивных алгоритмов
Глава 6. Компьютерная реализация и применение
ЬРсгруктур
6.1. Общие принципы реализации.
6.2. Кодирование ЬРструктур.
6.3. Класс ЬРБткДиге.
6.4. ЬРЕхрег интегрированная среда логического программирования
6.4.1. Структура базы знаний.
6.4.2. Синтаксис базы знаний.
6.4.3. Структура пакета ЬРЕхреЛ и принципы реализации
6.4.4. Релевантный ЬРвывод
6.4.5. Функциональные возможности и интерфейс пользователя
6.4.6. Исследование и оптимизация тестовых баз знаний
6.5. Моделирование математических знаний.
Заключение
Приложение А. Демонстрационные базы знаний
А.1. Здоровье
А.2. Электрики.
.З Закон распределения
Приложение В. Теория весовых псевдодифференциальных операторов
.1. Весовые пространства обобщенных функций.
В.2. Весовые пссвдодифференциальные операторы
В.З. Вырождающиеся эллиптические псевдодифференциальные
операторы.
В.4. Вырождающиеся операторы с однородными символами
Литература
- Київ+380960830922