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

Научная библиотека

Научная библиотека

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

Нильсон Н. Искусственный интеллект. Методы поиска решений. М.: Мир, 1973. — 273 с.

Книга Нильсона написана как учебник, посвященный методам поиска решений в пространстве состояний, - главной теме в исследованиях по искусственному интеллекту. В ней излагаются основные теоретические результаты и для их иллюстрации разбираются многочисленные примеры решения задач - игра в 15, игра тик-так-ту, задача о коммивояжере, задача о пирамидке, доказательство теорем и др.

Для чтения книги требуются небольшие познания по теории графов, комбинаторике и исчислению предикатов.

Доступность изложения и тщательно подобранные задачи различной трудности делают книгу полезной студентам и аспирантам, специализирующимся по искусственному интеллекту. Она будет интересна и специалисту как обстоятельный обзор большого числа современных работ, рассеянных по журналам, трудам конференций и отчетам.

Оглавление

ПРЕДИСЛОВИЕ РЕДАКТОРА ПЕРЕВОДА
Глава 1. ВВЕДЕНИЕ
1.1. РЕШЕНИЕ ЗАДАЧ И ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ
1.2. ГОЛОВОЛОМКИ И ИГРЫ КАК ПРИМЕРЫ ЗАДАЧ
1.3. СОСТОЯНИЯ И ОПЕРАТОРЫ
1.4. СВЕДЕНИЕ ЗАДАЧИ К ПОДЗАДАЧАМ
1.5. ИСПОЛЬЗОВАНИЕ ФОРМАЛЬНОЙ ЛОГИКИ ПРИ РЕШЕНИИ ЗАДАЧ
1.6. ДВА СОСТАВНЫХ ЭЛЕМЕНТА ПРОЦЕССА РЕШЕНИЯ ЗАДАЧ: ПРЕДСТАВЛЕНИЕ И ПОИСК (ПЕРЕБОР)
1.7. БИБЛИОГРАФИЧЕСКИЕ И ИСТОРИЧЕСКИЕ ЗАМЕЧАНИЯ
Глава 2. ПРЕДСТАВЛЕНИЕ ЗАДАЧ В ПРОСТРАНСТВЕ СОСТОЯНИЙ
2.2. ОПЕРАТОРЫ
2.3. ЦЕЛЕВЫЕ СОСТОЯНИЯ
2.4. ЗАПИСЬ В ВИДЕ ГРАФА
2.5. ПРЕДСТАВЛЕНИЕ ПРОСТРАНСТВ СОСТОЯНИЙ ПОСРЕДСТВОМ НЕДЕТЕРМИНИРОВАННЫХ ПРОГРАММ
2.6. НЕКОТОРЫЕ ПРИМЕРЫ ПРЕДСТАВЛЕНИЙ ЗАДАЧ
Задачи синтаксического анализа
Задачи распределения
Задачи управления
2.7. ВЫБОР «ХОРОШИХ» ПРЕДСТАВЛЕНИЙ
2.8. БИБЛИОГРАФИЧЕСКИЕ И ИСТОРИЧЕСКИЕ ЗАМЕЧАНИЯ
Глава 3. МЕТОДЫ ПОИСКА В ПРОСТРАНСТВЕ СОСТОЯНИЙ
3.2. МЕТОДЫ ПОЛНОГО ПЕРЕБОРА
3.3. МЕТОД ПЕРЕБОРА В ГЛУБИНУ
3.4. ИЗМЕНЕНИЯ ПРИ ПЕРЕБОРЕ НА ПРОИЗВОЛЬНЫХ ГРАФАХ
3.5. ОБСУЖДЕНИЕ ЭВРИСТИЧЕСКОЙ ИНФОРМАЦИИ
3.6. ИСПОЛЬЗОВАНИЕ ОЦЕНОЧНЫХ ФУНКЦИЙ
3.7. ОПТИМАЛЬНЫЙ АЛГОРИТМ ПЕРЕБОРА
3.8. ДОПУСТИМОСТЬ АЛГОРИТМА А*
3.9. ОПТИМАЛЬНОСТЬ АЛГОРИТМА А*
3.10. ЭВРИСТИЧЕСКАЯ СИЛА ФУНКЦИИ
3.11. ВАЖНАЯ РОЛЬ ФУНКЦИИ
3.12. ИСПОЛЬЗОВАНИЕ ДРУГИХ ЭВРИСТИК
3.13. КРИТЕРИИ КАЧЕСТВА РАБОТЫ МЕТОДОВ ПЕРЕБОРА
3.14. БИБЛИОГРАФИЧЕСКИЕ И ИСТОРИЧЕСКИЕ ЗАМЕЧАНИЯ
Глава 4. ПРЕДСТАВЛЕНИЯ, ДОПУСКАЮЩИЕ СВЕДЕНИЕ ЗАДАЧ К ПОДЗАДАЧАМ
4.2. ОПИСАНИЕ ЗАДАЧ
4.3. ОПЕРАТОРЫ СВЕДЕНИЯ ЗАДАЧИ К ПОДЗАДАЧАМ
4.4. ОПИСАНИЯ ЭЛЕМЕНТАРНЫХ ЗАДАЧ
4.5. «И/ИЛИ» ГРАФЫ
4.6. ПРЕДСТАВЛЕНИЕ «И/ИЛИ» ГРАФОВ С ПОМОЩЬЮ НЕДЕТЕРМИНИРОВАННЫХ ПРОГРАММ
4.7. ПРИМЕРЫ СВЕДЕНИЯ, ЗАДАЧИ К СОВОКУПНОСТИ ПОДЗАДАЧ
4.8. МЕХАНИЗМЫ ПЛАНИРОВАНИЯ ПРИ СВЕДЕНИИ ЗАДАЧ К ПОДЗАДАЧАМ
4.9. КЛЮЧЕВЫЕ ОПЕРАТОРЫ
4.10. РАЗЛИЧИЯ
4.11. ПРОСТРАНСТВА СОСТОЯНИИ ВЫСШЕГО УРОВНЯ
4.12. ИГРЫ
4.13. БИБЛИОГРАФИЧЕСКИЕ И ИСТОРИЧЕСКИЕ ЗАМЕЧАНИЯ
ГЛАВА 5. МЕТОДЫ ПОИСКА ПРИ СВЕДЕНИИ ЗАДАЧ К СОВОКУПНОСТИ ПОДЗАДАЧ
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.3. СЕМАНТИКА
6.4. ПЕРЕМЕННЫЕ И КВАНТОРЫ
6.5. ОБЩЕЗНАЧИМОСТЬ И ВЫПОЛНИМОСТЬ
6.6. ПРЕДЛОЖЕНИЯ
6.7. УНИВЕРСУМ ЭРБРАНА
6.8. ЭРБРАНОВСКАЯ БАЗА
6.9. ПОСТРОЕНИЕ СЕМАНТИЧЕСКОГО ДЕРЕВА
6.10. НЕБЛАГОПРИЯТНЫЕ ВЕРШИНЫ
6.11. ВЕРШИНЫ ВЫВОДА
6.12. УНИФИКАЦИЯ
6.13. РЕЗОЛЬВЕНТЫ
6.14. ПРИНЦИП РЕЗОЛЬВЕНЦИИ
6.15. НЕПРОТИВОРЕЧИВОСТЬ И ПОЛНОТА РЕЗОЛЬВЕНЦИИ
6.16. БИБЛИОГРАФИЧЕСКИЕ И ИСТОРИЧЕСКИЕ ЗАМЕЧАНИЯ
Глава 7. ПРИМЕНЕНИЯ ИСЧИСЛЕНИЯ ПРЕДИКАТОВ К РЕШЕНИЮ ЗАДАЧ
7.1. ИСЧИСЛЕНИЕ ПРЕДИКАТОВ ПРИ РЕШЕНИИ ЗАДАЧ
7.2. ПРИМЕР
7.3. ПРОЦЕСС ИЗВЛЕЧЕНИЯ ОТВЕТА
7.4. ПРЕДПОЛОЖЕНИЯ, СОДЕРЖАЩИЕ ПЕРЕМЕННЫЕ, ОТНОСЯЩИЕСЯ К КВАНТОРУ ВСЕОБЩНОСТИ
7.5. ПРИМЕР АВТОМАТИЧЕСКОГО НАПИСАНИЯ ПРОГРАММЫ
7.6. ИСПОЛЬЗОВАНИЕ ИСЧИСЛЕНИЯ ПРЕДИКАТОВ ПРИ РЕШЕНИИ ЗАДАЧ В ПРОСТРАНСТВЕ СОСТОЯНИЙ
7.7. ОДНА ФОРМАЛИЗАЦИЯ ДЛЯ РЕШЕНИЯ ЗАДАЧ В ПРОСТРАНСТВЕ СОСТОЯНИИ
7.8. БИБЛИОГРАФИЧЕСКИЕ И ИСТОРИЧЕСКИЕ ЗАМЕЧАНИЯ
Глава 8. МЕТОДЫ ПОИСКА ДОКАЗАТЕЛЬСТВА В ИСЧИСЛЕНИИ ПРЕДИКАТОВ
8.3. СТРАТЕГИИ ОЧИЩЕНИЯ
8.4. ФОРМЫ ДОКАЗАТЕЛЬСТВА С ОТФИЛЬТРОВЫВАНИЕМ ПРЕДШЕСТВУЮЩИХ ВЕРШИН
8.5. СТРАТЕГИЯ ПОДДЕРЖИВАЮЩЕГО МНОЖЕСТВА
8.6. БОЛЕЕ ОГРАНИЧИТЕЛЬНЫЕ СТРАТЕГИИ
8.7. МОДЕЛЬНЫЕ СТРАТЕГИИ
8.8. P1-ОПРОВЕРЖЕНИЯ
8.9. КОМБИНИРОВАННЫЕ СТРАТЕГИИ
8.10. СТРАТЕГИИ УПОРЯДОЧЕНИЯ
8.11. БИБЛИОГРАФИЧЕСКИЕ И ИСТОРИЧЕСКИЕ ЗАМЕЧАНИЯ
СПИСОК ЛИТЕРАТУРЫ