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