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