книги - Искусственный интеллект

Копия Глава 9. Логический вывод в логике первого п

Копия Глава 9. Логический вывод в логике первого порядка

Название
Алгоритм обратного логического вывода
Библиографические и исторические заметки
Избыточный логический вывод и бесконечные циклы
Конъюнктивная нормальная форма для логики первого порядка
Логический вывод в логике первого порядка
Логическое программирование
Логическое программирование в ограничениях
Обратный логический вывод
Определенные выражения в логике первого порядка
Полнота резолюции
Правила логического вывода для кванторов
Правило вывода в логике первого порядка
Правило логического вывода с помощью резолюции
Приведение к пропозициональному логическому выводу
Примеры доказательств
Простой алгоритм прямого логического вывода
Прямой логический вывод
Резолюция
Резюме
Сравнение методов логического вывода в пропозициональной логике
Средства автоматического доказательства теорем
Стратегии резолюции
Унификация
Унификация и поднятие
Учет отношения равенства
Хранение и выборка
Эффективная реализация логических программ
Эффективный прямой логический вывод

<< В начало < Предыдущая 1 Следующая > В конец >>
Всего 1 - 28 из 28

Копия Глава 11. Основы планирования ( 25 элементы )
Копия Глава 13. Неопределенность ( 21 элементы )
Копия Глава 18. Обучение на основе наблюдений ( 18 элементы )
Копия Глава 22. Общение ( 26 элементы )
Копия Глава 26. Философские основания ( 13 элементы )
Копия Глава 1. Введение ( 28 элементы )
Копия Глава 3. Решение проблем посредством поиска ( 22 элементы )
Копия Глава 7. Логические агенты ( 24 элементы )
Копия Глава 12. Планирование и осуществление действий в реальном мире ( 20 элементы )
Копия Глава 14. Вероятностные рассуждения ( 21 элементы )
Копия Глава 19. Применение знаний в обучении ( 21 элементы )
Копия Глава 23. Вероятностная обработка лингвистической информации ( 17 элементы )
Копия Глава 27. Настоящее и будущее искусственного интеллекта ( 5 элементы )
Копия Глава 2. Интеллектуальные агенты ( 18 элементы )
Копия Глава 4. Информированный поиск и исследование пространства состояний ( 23 элементы )
Копия Глава 8. Логика первого порядка ( 20 элементы )
Копия Глава 15. Вероятностные рассуждения во времени ( 26 элементы )
Копия Глава 20. Статистические методы обучения ( 27 элементы )
Копия Глава 24. Восприятие ( 23 элементы )
Копия Приложение А. Математические основы ( 6 элементы )
Копия Глава 5. Задачи удовлетворения ограничений ( 10 элементы )
Копия Глава 16. Принятие простых решений ( 22 элементы )
Копия Глава 21. Обучение с подкреплением ( 15 элементы )
Копия Глава 25. Робототехника ( 26 элементы )
Копия Приложение Б. Общие сведения о языках и алгоритмах. ( 2 элементы )
Копия Глава 6. Поиск в условиях противодействия ( 18 элементы )
Копия Глава 10. Представление знаний ( 32 элементы )
Копия Глава 17. Принятие сложных решений ( 14 элементы )
Копия Литература ( 1 элементы )