Главная
Исследования
Генетические алгоритмы
UniCalc
книги
Главная
Исследования
Генетические алгоритмы
UniCalc
книги
Главная
книги
Копия Глава 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 элементы )
Назад