Н. Нильсон - Искусственный интеллект. Методы поиска решений
Просмотров: 1335
- Аннотация
- ПРЕДИСЛОВИЕ РЕДАКТОРА ПЕРЕВОДА
- ПРЕДИСЛОВИЕ
- К РУССКОМУ ИЗДАНИЮ
- Глава 1 ВВЕДЕНИЕ
- 1.1. РЕШЕНИЕ ЗАДАЧ И ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ
- 1.2. ГОЛОВОЛОМКИ И ИГРЫ КАК ПРИМЕРЫ ЗАДАЧ
- 1.3. СОСТОЯНИЯ и ОПЕРАТОРЫ
- 1.4. СВЕДЕНИЕ ЗАДАЧИ К ПОДЗАДАЧАМ
- 1.5. ИСПОЛЬЗОВАНИЕ ФОРМАЛЬНОЙ ЛОГИКИ ПРИ РЕШЕНИИ ЗАДАЧ
- 1.6. ДВА СОСТАВНЫХ ЭЛЕМЕНТА ПРОЦЕССА РЕШЕНИЯ ЗАДАЧ: ПРЕДСТАВЛЕНИЕ И ПОИСК (ПЕРЕБОР)
- 1.7. БИБЛИОГРАФИЧЕСКИЕ И ИСТОРИЧЕСКИЕ ЗАМЕЧАНИЯ
- Задачи
- Глава 2
- 2.1. ОПИСАНИЯ СОСТОЯНИЙ
- 2.2. ОПЕРАТОРЫ
- 2.3. ЦЕЛЕВЫЕ СОСТОЯНИЯ
- 2.4. ЗАПИСЬ В ВИДЕ ГРАФА
- 2.5. ПРЕДСТАВЛЕНИЕ ПРОСТРАНСТВ СОСТОЯНИЙ ПОСРЕДСТВОМ НЕДЕТЕРМИНИРОВАННЫХ ПРОГРАММ1)
- 2.6. НЕКОТОРЫЕ ПРИМЕРЫ ПРЕДСТАВЛЕНИЙ ЗАДАЧ
- 2.7. ВЫБОР «ХОРОШИХ» ПРЕДСТАВЛЕНИЙ
- 2.8. БИБЛИОГРАФИЧЕСКИЕ И ИСТОРИЧЕСКИЕ ЗАМЕЧАНИЯ Составные элементы представления в пространстве состояний
- Глава 3
- 3.1. ПРОЦЕССЫ ПОИСКА НА ГРАФЕ
- 3.2. МЕТОДЫ ПОЛНОГО ПЕРЕБОРА
- 3.3. МЕТОД ПЕРЕБОРА В ГЛУБИНУ
- 3.4. ИЗМЕНЕНИЯ ПРИ ПЕРЕБОРЕ НА ПРОИЗВОЛЬНЫХ ГРАФАХ
- 3.5. ОБСУЖДЕНИЕ ЭВРИСТИЧЕСКОЙ ИНФОРМАЦИИ
- 3.6. ИСПОЛЬЗОВАНИЕ ОЦЕНОЧНЫХ ФУНКЦИЙ
- 3.7. ОПТИМАЛЬНЫЙ АЛГОРИТМ ПЕРЕБОРА
- 3.8. ДОПУСТИМОСТЬ АЛГОРИТМА А*
- 3.9. ОПТИМАЛЬНОСТЬ АЛГОРИТМА А*
- 3.11. ВАЖНАЯ РОЛЬ ФУНКЦИИ g
- 3.12. ИСПОЛЬЗОВАНИЕ ДРУГИХ ЭВРИСТИК Перебор этапами
- 3.13. КРИТЕРИИ КАЧЕСТВА РАБОТЫ МЕТОДОВ ПЕРЕБОРА
- 3.14. БИБЛИОГРАФИЧЕСКИЕ И ИСТОРИЧЕСКИЕ ЗАМЕЧАНИЯ Алгоритмы поиска кратчайшего пути
- Глава 4
- 4.1. ПРИМЕР ПРЕДСТАВЛЕНИЯ, ДАЮЩЕГО СВЕДЕНИЕ ЗАДАЧИ К ПОДЗАДАЧАМ
- 4.2. ОПИСАНИЕ ЗАДАЧ
- 4.3. ОПЕРАТОРЫ СВЕДЕНИЯ ЗАДАЧИ К ПОДЗАДАЧАМ
- 4.4. ОПИСАНИЯ ЭЛЕМЕНТАРНЫХ ЗАДАЧ
- 4.5. «И/ИЛИ» ГРАФЫ
- 4.6; ПРЕДСТАВЛЕНИЕ «И/ИЛИ» ГРАФОВ С ПОМОЩЬЮ НЕДЕТЕРМИНИРОВАННЫХ ПРОГРАММ1)
- 4.7. ПРИМЕРЫ СВЕДЕНИЯ, ЗАДАЧИ К СОВОКУПНОСТИ ПОДЗАДАЧ Задача Символического интегрирования
- 4.8. МЕХАНИЗМЫ ПЛАНИРОВАНИЯ ПРИ СВЕДЕНИИ ЗАДАЧ К ПОДЗАДАЧАМ
- 4.9. КЛЮЧЕВЫЕ ОПЕРАТОРЫ
- 4.10. РАЗЛИЧИЯ
- 4.11. ПРОСТРАНСТВА СОСТОЯНИИ ВЫСШЕГО УРОВНЯ
- 4.12. ИГРЫ
- 4.13. БИБЛИОГРАФИЧЕСКИЕ И ИСТОРИЧЕСКИЕ ЗАМЕЧАНИЯ Методы сведёния задачи к подзадачам и «И/ИЛИ» графы
- Глава 5
- 5.1. ПРОЦЕССЫ ПЕРЕБОРА (ПОИСКА) НА ГРАФАХ ТИПА «И/ИЛИ»
- 5.2. МЕТОД ПОЛНОГО ПЕРЕБОРА
- 5.3. ПОИСК В ГЛУБИНУ
- 5.4. ПЕРЕБОР НА ГРАФАХ ТИПА «И/ИЛИ»
- 5.5. СТОИМОСТИ ДЕРЕВЬЕВ РЕШЕНИЯ
- 5.6. ИСПОЛЬЗОВАНИЕ ОЦЕНОК СТОИМОСТИ для ПРЯМОГО ПЕРЕБОРА
- 5.7. АЛГОРИТМ УПОРЯДОЧЕННОГО ПЕРЕБОРА ДЛЯ ДЕРЕВЬЕВ ТИПА «И/ИЛИ»
- 5.8. ДОПУСТИМОСТЬ АЛГОРИТМА УПОРЯДОЧЕННОГО ПОИСКА (ПЕРЕБОРА)
- 5.9. ВЫБОР ВЕРШИНЫ ВтоДЛЯ ОЧЕРЕДНОГО РАСКРЫТИЯ
- 5.10. МОДИФИКАЦИИ
- 5.11. МИНИМАКСНАЯ ПРОЦЕДУРА ПРИ ПЕРЕБОРЕ НА ИГРОВЫХ ДЕРЕВЬЯХ
- 5.12. АЛЬФА-БЕТА ПРОЦЕДУРА
- 5.13. ЭФФЕКТИВНОСТЬ ПЕРЕБОРА ПРИ АЛЬФА-БЕТА ПРОЦЕДУРЕ
- 5.14. КОМБИНИРОВАННЫЕ АЛЬФА-БЕТА ПРОЦЕДУРЫ И ПРОЦЕДУРЫ УПОРЯДОЧЕНИЯ
- 5.15. ВОЗМОЖНОЕ УЛУЧШЕНИЕ МЕТОДОВ, ОСНОВАННЫХ НА МИНИМАКСЕ
- 5.16. БИБЛИОГРАФИЧЕСКИЕ И ИСТОРИЧЕСКИЕ ЗАМЕЧАНИЯ Развитие методов перебора на «И/ИЛИ» графах
- Задачи
- Глава 6
- 6.1. ИСЧИСЛЕНИЕ ПРЕДИКАТОВ КАК ЯЗЫК ДЛЯ РЕШЕНИЯ ЗАДАЧ
- 6.2. СИНТАКСИС
- 6.4. ПЕРЕМЕННЫЕ И КВАНТОРЫ
- 6.5. ОБЩЕЗНАЧИМОСТЬ И ВЫПОЛНИМОСТЬ
- 6.6. ПРЕДЛОЖЕНИЯ
- 6.7. УНИВЕРСУМ ЭРБРАНА
- 6.8. ЭРБРАНОВСКАЯ БАЗА
- 6.10. НЕБЛАГОПРИЯТНЫЕ ВЕРШИНЫ
- 6.11. ВЕРШИНЫ ВЫВОДА
- 6.12. УНИФИКАЦИЯ
- 6.13. РЕЗОЛЬВЕНТЫ
- 6.14. ПРИНЦИП РЕЗОЛЬВЕНЦИИ1)
- 6.15. НЕПРОТИВОРЕЧИВОСТЬ И ПОЛНОТА РЕЗОЛЬВЕНЦИИ
- 6.16. БИБЛИОГРАФИЧЕСКИЕ И ИСТОРИЧЕСКИЕ ЗАМЕЧАНИЯ Основания логики
- Глава 7
- 7.1. ИСЧИСЛЕНИЕ ПРЕДИКАТОВ ПРИ РЕШЕНИИ ЗАДАЧ
- 7.2. ПРИМЕР
- 7.3. ПРОЦЕСС ИЗВЛЕЧЕНИЯ ОТВЕТА
- 7.4. ПРЕДПОЛОЖЕНИЯ, СОДЕРЖАЩИЕ ПЕРЕМЕННЫЕ, ОТНОСЯЩИЕСЯ К КВАНТОРУ ВСЕОБЩНОСТИ
- 7.5. ПРИМЕР АВТОМАТИЧЕСКОГО НАПИСАНИЯ ПРОГРАММЫ
- 7.6. ИСПОЛЬЗОВАНИЕ ИСЧИСЛЕНИЯ ПРЕДИКАТОВ ПРИ РЕШЕНИИ ЗАДАЧ В ПРОСТРАНСТВЕ СОСТОЯНИЙ
- 7.7. ОДНА ФОРМАЛИЗАЦИЯ ДЛЯ РЕШЕНИЯ ЗАДАЧ В ПРОСТРАНСТВЕ СОСТОЯНИЙ
- 7.8. БИБЛИОГРАФИЧЕСКИЕ И ИСТОРИЧЕСКИЕ ЗАМЕЧАНИЯ Системы, отвечающие на вопросы
- Глава 8
- 81. СТРАТЕГИИ ПЕРЕБОРА
- 8.2. СТРАТЕГИИ УПРОЩЕНИЯ
- 8.3. СТРАТЕГИИ ОЧИЩЕНИЯ
- 8.4. ФОРМЫ ДОКАЗАТЕЛЬСТВА С ОТФИЛЬТРОВЫВАНИЕМ ПРЕДШЕСТВУЮЩИХ ВЕРШИН
- 8.5. СТРАТЕГИЯ ПОДДЕРЖИВАЮЩЕГО МНОЖЕСТВА
- 8.6. БОЛЕЕ ОГРАНИЧИТЕЛЬНЫЕ СТРАТЕГИИ
- 8.7. МОДЕЛЬНЫЕ СТРАТЕГИИ
- 8.8. ОПРОВЕРЖЕНИЯ
- 8.9. КОМБИНИРОВАННЫЕ СТРАТЕГИИ
- 8.10. СТРАТЕГИИ УПОРЯДОЧЕНИЯ
- 8.11. БИБЛИОГРАФИЧЕСКИЕ И ИСТОРИЧЕСКИЕ ЗАМЕЧАНИЯ Обсуждения стратегий перебора
- Задачи
- СПИСОК ЛИТЕРАТУРЫ
- ИМЕННОЙ указатель
- ОГЛАВЛЕНИЕ
Похожие книги
Н. Нильсон - Искусственный интеллект. Методы поиска решений
В. О. Дорда - Проблеми соціального варіювання англійської мови в аспекті перекладу. Конспект лекцій
Х.Гулд, Я.Тобочник - Компьютерное моделирование в физике, часть 2
І.Д. Скляр - Проектне фінансування. Конспект лекцій