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