Справка
x
Поиск
Закладки
Озвучить книгу
Изменить режим чтения
Изменить размер шрифта
Оглавление
Для озвучивания и цитирования книги перейдите в режим постраничного просмотра.
Достоверный и правдоподобный вывод в интеллектуальных системах
Глава 8. Монотонные классические модальные логики
Предыдущая страница
Следующая страница
Оглавление
Предисловие ко второму изданию
Предисловие
Введение
I. ДОСТОВЕРНЫЙ ВЫВОД. Глава 1. Формальные системы
+
Глава 2. Автоматическое доказательство теорем
+
Глава 3. Вывод на графе связей
+
Глава 4. Вывод на графе дизъюнктов
+
Глава 5. Вывод на аналитических таблицах
+
Глава 6. Вывод на иерархических структурах
+
Глава 7. Данные и знания в интеллектуальных системах
+
Глава 8. Монотонные классические модальные логики
-
8.1. Исчисление предикатов первого порядка как основа построения модальной логики
8.2. Вспомогательная логика как основа перехода к модальному исчислению высказываний
8.3. Постулаты, основные теоремы и правила модального исчисления высказываний
8.4. Система S1
8.5. Система S4
8.6. Система S5
8.7. Семантика возможных миров Крипке
Глава 9. Немонотонные модальные логики
+
Глава 10. Немонотонные логики в логическом программировании
+
Глава 11. Системы аргументации и абдуктивный вывод
+
III. ИНДУКЦИЯ И ОБОБЩЕНИЕ. Глава 12. Базовые принципы построения систем обучения и принятия решений
+
Глава 13. Задача обучения "без учителя"
+
Глава 14. Обучение с учителем
+
Глава 15. Индуктивные методы для случая неполной информации
+
Глава 16. Индуктивное формирование понятий в "зашумленных" базах данных
+
Литература и комментарии
+
Данный блок поддерживает скрол*