Справка
x
Поиск
Закладки
Озвучить книгу
Изменить режим чтения
Изменить размер шрифта
Оглавление
Для озвучивания и цитирования книги перейдите в режим постраничного просмотра.
Системы искусственного интеллекта: модели и технологии, основанные на знаниях
Глава 5. Модель представления знаний в исчислении высказываний
Поставить закладку
5.1. Понятие "высказывание"
Для продолжения работы требуется
Регистрация
Предыдущая страница
Следующая страница
Оглавление
Предисловие
Cписок принятых сокращений
Введение
Глава 1. Основные понятия ИИ
+
Глава 2. Методы поиска решений в пространстве состояний
+
Глава 3. Решение задач методом разбиения на подзадачи
+
Глава 4. Модели представления знаний
+
Глава 5. Модель представления знаний в исчислении высказываний
-
5.1. Понятие "высказывание"
5.2. Алфавит ИВ
5.3. Синтаксис ИВ
5.4. Аксиомы ИВ
5.4.1. Семантика ИВ
5.4.2. Законы преобразования формул ИВ
5.4.3. Базовые аксиомы ИВ
5.5. Правила вывода
5.6. Логический вывод в ИВ
5.6.1. Нормальные формы
5.6.2. Логический вывод в ИВ
5.7. Свойства ИВ как аксиоматической системы
5.8. Алгоритмическая проблема разрешения в ИВ
5.9. Теорема дедукции
5.10. Принцип дедукции
5.11. Принцип резолюций
5.12. Свойства метода резолюций
5.13. Пример построения модели предметной области в ИВ
Упражнения
Глава 6. Исчисление предикатов как метод представления знаний
+
Глава 7. Продукционная модель представления знаний
+
Глава 8. Представление знаний в виде семантической сети
+
Глава 9. Представление знаний в виде фреймов
+
Глава 10. Представление нечетких знаний
+
Глава 11. Псевдофизическая логика времени
+
Глава 12. Неточные рассуждения на основе фактора уверенности
+
Глава 13. Экспертные системы
+
Глава 14. Нечёткие экспертные системы
+
Глава 15. Инженерия знаний в интеллектуальных системах
+
Глава 16. Методологические и теоретические основы ситуационного анализа и проектирования модели предметной области
+
Глава 17. Метод ситуационного анализа и проектирования модели предметной области
+
Глава 18. Онтологии и онтологические системы
+
Глава 19. Введение в многоагентные системы
+
Глава 20. Системы когнитивного моделирования
+
Глава 21. Машинное обучение и интеллектуальный анализ данных
+
Литература
Приложение А
+
Приложение B
+
Приложение C
+
Приложение D
+
Приложение Е
+
Данный блок поддерживает скрол*