Н. Нильсон - Искусственный интеллект. Методы поиска решений

Аннотация
ПРЕДИСЛОВИЕ РЕДАКТОРА ПЕРЕВОДА
ПРЕДИСЛОВИЕ
К РУССКОМУ ИЗДАНИЮ
Глава 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. БИБЛИОГРАФИЧЕСКИЕ И ИСТОРИЧЕСКИЕ ЗАМЕЧАНИЯ Обсуждения стратегий перебора
Задачи
СПИСОК ЛИТЕРАТУРЫ
ИМЕННОЙ указатель
ОГЛАВЛЕНИЕ

Разделы

Н. Нильсон - Искусственный интеллект. Методы поиска решений

Похожие книги