Справка
x
Поиск
Закладки
Озвучить книгу
Изменить режим чтения
Изменить размер шрифта
Оглавление
Для озвучивания и цитирования книги перейдите в режим постраничного просмотра.
Системы искусственного интеллекта: модели и технологии, основанные на знаниях
Глава 6. Исчисление предикатов как метод представления знаний
Предыдущая страница
Следующая страница
Оглавление
Предисловие
Cписок принятых сокращений
Введение
Глава 1. Основные понятия ИИ
+
Глава 2. Методы поиска решений в пространстве состояний
+
Глава 3. Решение задач методом разбиения на подзадачи
+
Глава 4. Модели представления знаний
+
Глава 5. Модель представления знаний в исчислении высказываний
+
Глава 6. Исчисление предикатов как метод представления знаний
-
6.1. Понятие предиката
6.2. Алфавит ИП
6.3. Синтаксис ИП
6.4. Базовые аксиомы ИП
6.5. Правила вывода в ИП
6.6. Примеры предикатов
6.7. Преобразование формул в ИП
6.8. Стандартизация переменных
6.9. Исключение квантора существования
6.10. Предваренная форма
6.11. Исключение кванторов общности
6.12. Приведение матрицы к КНФ
6.13. Подстановки и унификация
6.14. Логический вывод в ИП
6.15. Примеры применения метода резолюций в ИП
6.16. Стратегии резолюции
6.17. Дерево опровержения
6.18. Пример построения модели предметной области в ИП
Упражнения
Глава 7. Продукционная модель представления знаний
+
Глава 8. Представление знаний в виде семантической сети
+
Глава 9. Представление знаний в виде фреймов
+
Глава 10. Представление нечетких знаний
+
Глава 11. Псевдофизическая логика времени
+
Глава 12. Неточные рассуждения на основе фактора уверенности
+
Глава 13. Экспертные системы
+
Глава 14. Нечёткие экспертные системы
+
Глава 15. Инженерия знаний в интеллектуальных системах
+
Глава 16. Методологические и теоретические основы ситуационного анализа и проектирования модели предметной области
+
Глава 17. Метод ситуационного анализа и проектирования модели предметной области
+
Глава 18. Онтологии и онтологические системы
+
Глава 19. Введение в многоагентные системы
+
Глава 20. Системы когнитивного моделирования
+
Глава 21. Машинное обучение и интеллектуальный анализ данных
+
Литература
Приложение А
+
Приложение B
+
Приложение C
+
Приложение D
+
Приложение Е
+
Данный блок поддерживает скрол*