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