Справка
x
Поиск
Закладки
Озвучить книгу
Изменить режим чтения
Изменить размер шрифта
Оглавление
Для озвучивания и цитирования книги перейдите в режим постраничного просмотра.
Достоверный и правдоподобный вывод в интеллектуальных системах
Глава 8. Монотонные классические модальные логики
Поставить закладку
8.1. Исчисление предикатов первого порядка как основа построения модальной логики
Для продолжения работы требуется
Registration
Предыдущая страница
Следующая страница
Table of contents
Предисловие ко второму изданию
Предисловие
Введение
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. Индуктивное формирование понятий в "зашумленных" базах данных
+
Литература и комментарии
+
Данный блок поддерживает скрол*